Математическая логика: построение логических схем из логических элементов в Maple

В статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической...

Description complète

Enregistré dans:
Détails bibliographiques
Auteurs principaux: Оленев, А.А., Киричек, К.А., Потехина, Е.В.
Format: article
Langue:EN
RU
Publié: KamGU by Vitus Bering 2021
Sujets:
Q
Accès en ligne:https://doaj.org/article/2d046a576cb04b5f94af9dfd3a1d0893
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
Description
Résumé:В статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической схемы в различных базисах.