Автор(ы): Выхованец В. С. (ИПУ РАН, Лаборатория 31) НЕАКТУАЛЬНАЯ ЗАПИСЬАвтор(ов): 1 Параметры публикацииТип публикации: Тезисы докладаНазвание: Что истинно во всех мирахНаименование конференции: 5-я Международная конференция «Математическое моделирование в образовании, науке и производстве» (MATMOD'2007, Тирасполь)Наименование источника: Тезисы докладов 5-й Международной конференции «Математическое моделирование в образовании, науке и производстве» (MATMOD'2007, Тирасполь)Город: ТираспольИздательство: РИО ПГУГод издания: 2007Страницы: 36 АннотацияВведено понятие семантического инварианта при представлении знаний. Показано, что на основе формализации способов образования понятий может быть построена формальная теория понятий, претендующая, как и исчисление предикатов, на семантическую инвариантность во всех «мыслимых мирах». Библиографическая ссылка: Выхованец В.С. Что истинно во всех мирах / Тезисы докладов 5-й Международной конференции «Математическое моделирование в образовании, науке и производстве» (MATMOD'2007, Тирасполь). Тирасполь: РИО ПГУ, 2007. С. 36.