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