Физический факультет
Московский государственный университет имени М. В. Ломоносова
МЕНЮ
Статья

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

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

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

  • Статья
Аннотация

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

PACS:
02.10.Ab Logic and set theory
Авторы
С.Н. Васильев, Н.Ю. Морозов
Московский государственный университет имени М. В.Ломоносова, физический факультет, кафедра физико–математических методов управления Россия, 119991, Москва, Ленинские горы, д. 1, стр. 2
Выпуск 3, 2016

Moscow University Physics Bulletin

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

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