Browsing Проблеми використання інформаційних технологій в освіті, науці та промисловості: матеріали 16-ої міжнар. конф. (15 грудня 2021 р., м. Дніпро) by Subject "числення висловлень"
Now showing items 1-1 of 1
-
Інформаційна технологія розпізнавання неістинності висловлювань
(НТУ ДП, 2022)Описано процес пошуку та застосування можливих шляхів оптимізації роботи програмної реалізації методу Куайна – Мак-Класкі на мові програмування C#. Проаналізовано доцільність використання знайдених шляхів ...