|
-
Ключові слова:
інтелектуальні системи обробки інформації, иинтеллектуальные системы обработки информации ; конструювання програм, конструирование програм ; мови програмування, языки программирования, computer program language ; формально-логічні системи, формально-логические системы
-
Анотація:
Стаття присвячена аналізу принципів обробки логіко-математичних знань, які ведуть до побудови комп"ютерних систем з можливостями виконання логічних міркувань в середовищі формальної природної мови.
The paper is devoted to the analysis of principles of logical-mathematical knowledge processing leading to the construction of computer systems having capabilities for logical reasoning in formal natural language.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
| 