Любченко, К. М. (2023) Визначення логічної правильності міркувань за допомогою програми MASTER OF LOGIC. Інформаційні моделюючі технології, системи та комплекси. IMTSA-2023. с. 136-138.
![[img]](http://eprints.cdu.edu.ua/style/images/fileicons/text.png) |
Text
Book_IMTCK_2023-136-138.pdf Download (366kB) |
Резюме
The material considers the solution to the problem of determining the logical correctness of reasoning using an instrumental and controlling program Master of Logic.
| Тип елементу : | Стаття |
|---|---|
| Неконтрольовані ключові слова: | Математична логіка ; Master of Logic ; формули-посилки ; формула-висновок |
| Теми: | Фізико-математичні науки |
| Підрозділи: | Факультет обчислювальної техніки, інтелектуальних та управляючих систем |
| Користувач, що депонує: | Наукова Бібліотека |
| Дата внесення: | 21 Лют 2024 13:33 |
| Останні зміни: | 21 Лют 2024 13:33 |
| URI: | https://eprints.cdu.edu.ua/id/eprint/6005 |
Actions (login required)
 |
Перегляд елементу |
