Аннотация
Доклад посвящён логическим средствам представления и обработки знаний на ЭВМ. Рассмотрены задачи автоматического синтеза текстов и доказательство теорем о модельных аналогиях
PACS:
02.10.Ab Logic and set theory
English citation: Computer representation and processing of knowledge on the example of theorems of mathematical models analogies
S.N. Vassilyev, N.Yu. Morozov
© 2016 Издательство Московского университета
Авторы
С.Н. Васильев, Н.Ю. Морозов
Московский государственный университет имени М. В.Ломоносова, физический факультет, кафедра физико–математических методов управления Россия, 119991, Москва, Ленинские горы, д. 1, стр. 2
Московский государственный университет имени М. В.Ломоносова, физический факультет, кафедра физико–математических методов управления Россия, 119991, Москва, Ленинские горы, д. 1, стр. 2