Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://ir.nmu.org.ua/handle/123456789/165774
Назва: | Інформаційна технологія розпізнавання неістинності висловлювань |
Автори: | Мещеряков, Л. І. Одновол, М. М. Потемпа, M. Рибка, В. О. |
Ключові слова: | істинність;розпізнавання істинності міркувань;обчислювальна система;штучний інтелект;числення висловлень;метод Куайна – Мак-Класкі |
Дата публікації: | 2022 |
Видавництво: | НТУ ДП |
Бібліографічний опис: | Інформаційна технологія розпізнавання неістинності висловлювань / Л. І. Мещеряков, М. М. Одновол, M. Потемпа, В. О. Рибка // Проблеми використання інформаційних технологій в освіті, науці та промисловості : зб. наук. пр. 16-ої міжнар. конф., м. Дніпро, 15 грудня 2021 р. – Дніпро : НТУ "ДП", 2022. – № 6. – С. 13-17. |
Короткий огляд (реферат): | Описано процес пошуку та застосування можливих шляхів оптимізації роботи програмної реалізації методу Куайна – Мак-Класкі на мові програмування C#. Проаналізовано доцільність використання знайдених шляхів оптимізації, а також їх ефективність. |
URI (Уніфікований ідентифікатор ресурсу): | http://ir.nmu.org.ua/handle/123456789/165774 |
Розташовується у зібраннях: | Проблеми використання інформаційних технологій в освіті, науці та промисловості: матеріали 16-ої міжнар. конф. (15 грудня 2021 р., м. Дніпро) |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
konfer_21_-13-17.pdf | 696,99 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.