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

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

Full description

Bibliographic Details
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/