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

Autor: Оленев, А.А., Киричек, К.А., Потехина, Е.В.
Jazyk: English<br />Russian
Rok vydání: 2021
Předmět:
Zdroj: Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, Vol 2021, Iss 3, Pp 155-164 (2021)
Druh dokumentu: article
ISSN: 2079-6641
2079-665X
DOI: 10.26117/2079-6641-2021-36-3-155-164
Popis: В статье рассматриваются возможности применения библиотеки Logic системы компьютерной алгебры Maple в аспекте компьютерного моделирования логических схем в различных базисах. Смоделированы основные логические элементы в Maple. На конкретном примере детально представлен алгоритм построения логической схемы в различных базисах.
Databáze: Directory of Open Access Journals