Статья

Компьютерное представление и обработка знаний на примере теорем об аналогиях математических моделей

С.Н. Васильев, Н.Ю. Морозов

Учен. зап. физ. фак-та Моск. ун-та. 2016. № 3. 163104

Статья

Аннотация

Доклад посвящён логическим средствам представления и обработки знаний на ЭВМ. Рассмотрены задачи автоматического синтеза текстов и доказательство теорем о модельных аналогиях

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

Авторы

С.Н. Васильев, Н.Ю. Морозов
Московский государственный университет имени М. В.Ломоносова, физический факультет, кафедра физико–математических методов управления Россия, 119991, Москва, Ленинские горы, д. 1, стр. 2

Выпуск 3, 2016

Moscow University Physics Bulletin

Бюллетень «Новости науки» физфака МГУ

Это новое информационное издание, целью которого является донести до сотрудников, студентов и аспирантов, коллег и партнеров факультета основные достижения ученых и информацию о научных событиях в жизни университетских физиков.