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

Autor: Оленев, А.А., Киричек, К.А., Потехина, Е.В.

Publikováno v: Vestnik KRAUNC: Fiziko-Matematičeskie Nauki, Vol 2021, Iss 3, Pp 155-164 (2021)

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

Externí odkaz: https://doaj.org/article/2d046a576cb04b5f94af9dfd3a1d0893

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Питання управління агрегатованими технологічними системами на основі структурного синтезу кінцевих автоматів

Autor: Prihodko, Olga, Slipchenko, Serhii Yevgenovych, Yevsiukova, Fatyma, Basova, Yevheniia, Ivanova, Maryna

Publikováno v: Bulletin of the National technical university "Kharkiv Polytechnic Institute" Series: Techniques in a machine industry; No. 6 (2018): Bulletin of the National technical university "Kharkiv Polytechnic Institute" Series: Techniques in a machine industry; 60-66
Вестник Национального технического университета «ХПИ». Серия: Технологии в машиностроении; № 6 (2018): Вестник Национального технического университета «ХПИ». Серия: Технологии в машиностроении; 60-66
Вісник Національного технічного університету «ХПІ». Серія: Технологiї в машинобудуваннi; № 6 (2018): Вісник Національного технічного університету «ХПІ». Серія: Технологiї в машинобудуваннi; 60-66
2079-004Х

Use of structural synthesis of eventual automats, namely automat of Mile, during realization of management by the difficult t echnological systems. Realization of transition from the mathematical model of eventual automat to his functional logical di

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=scientific_p::623c55f516f8f2ff0bfbd7d07db3136a
http://tm.khpi.edu.ua/article/view/211615

���������������������������� ������������: �������������������� �������������������� �������� ���� �������������������� ������������������ �� Maple

�� ������������ ������������������������������ ���������������������� ����������������

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b213ff99050f36c81f88f3e050d7de71

Програмний модуль формування тестів для комбінаційних схем

Autor: Потапова, Катерина Романівна

Метою дипломного проекту є створення програмного модуля який формує тестові набори для комбінаційних схем. Завдання вирішене у форматі

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2635::9dfd0a2e5bcfb3fe85e48a86f27e3a80
https://ela.kpi.ua/handle/123456789/28591