Поиск :
Личный кабинет :
Электронный каталог: Девяткин, Л. Ю. - В границах трехзначности
Девяткин, Л. Ю. - В границах трехзначности
Нет экз.
Электронный ресурс
Автор: Девяткин, Л. Ю.
В границах трехзначности
Издательство: ИФ РАН, 2015 г.
ISBN 978-5-9540-0296-6
Автор: Девяткин, Л. Ю.
В границах трехзначности
Издательство: ИФ РАН, 2015 г.
ISBN 978-5-9540-0296-6
Электронный ресурс
Девяткин, Л. Ю.
В границах трехзначности / Российская академия наук ; Институт философии. – Москва : ИФ РАН, 2015. – 137 с. : схем., ил. – Режим доступа : http://biblioclub.ru/index.php?page=book&id=483099. – http://biblioclub.ru/. – На рус. яз. – ISBN 978-5-9540-0296-6.
Книга «В границах трехзначности» состоит из трех глав, каждая из которых содержит новые, порой совершенно неожиданные результаты в области трехзначных логик. Наиболее важными являются: теорема о необходимых и достаточных условиях, которыми должна обладать произвольная трехзначная матрица, чтобы быть изоморфом для классической логики высказываний; теорема о том, что могут существовать трехзначные замкнутые классы функций, в которых число предполных классов бесконечно; построение новой классификации расширений слабой логики Клини.
164.03
510.644
основной = ЭБС Университетская библиотека
Девяткин, Л. Ю.
В границах трехзначности / Российская академия наук ; Институт философии. – Москва : ИФ РАН, 2015. – 137 с. : схем., ил. – Режим доступа : http://biblioclub.ru/index.php?page=book&id=483099. – http://biblioclub.ru/. – На рус. яз. – ISBN 978-5-9540-0296-6.
Книга «В границах трехзначности» состоит из трех глав, каждая из которых содержит новые, порой совершенно неожиданные результаты в области трехзначных логик. Наиболее важными являются: теорема о необходимых и достаточных условиях, которыми должна обладать произвольная трехзначная матрица, чтобы быть изоморфом для классической логики высказываний; теорема о том, что могут существовать трехзначные замкнутые классы функций, в которых число предполных классов бесконечно; построение новой классификации расширений слабой логики Клини.
164.03
510.644
основной = ЭБС Университетская библиотека