Функционально полные системы связок - учебный курс | ИСТИНА – Интеллектуальная Система Тематического Исследования НАукометрических данных

Автор: Маркин В.И.
Год создания: 2016
Организация: МГУ имени М.В. Ломоносова
Описание: Спецкурс для аспирантов кафедры логики, в котором рассматривается проблема функциональной полноты в логике высказываний. Вводится понятие функционально полной системы функций истинности (и пропозициональных связок), функционально замкнутого и предполного класса. Исследуются 5 предполных классов: класс функций, сохраняющих истину, класс функций, сохраняющих ложь, класс самодвойственных функций, класс линейных функций, класс монотонных функций. Излагается доказательство теоремы Поста о критерии функциональной полноты.
Добавил в систему: Маркин Владимир Ильич

	ИСТИНА	Войти в систему Регистрация
	ИСТИНА ИНХС РАН
	Главная Поиск Статистика О проекте Помощь

ИСТИНА