Математическая логика: построение логических схем из логических элементов в Maple
В статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
KamGU by Vitus Bering
2021-11-01
|
Series: | Vestnik KRAUNC: Fiziko-Matematičeskie Nauki |
Subjects: | |
Online Access: | http://krasec.ru/olenev363021/ |