![]() |
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Центральное место в логических исследованиях главного конструктора троичных ЭВМ "Сетунь" и "Сетунь 70" Николая Петровича Брусенцова занимает вопрос адекватного выражения отношения следования. Предложенная им логическая система позволяет выразить все модусы силлогистики Аристотеля. Доклад посвящен сравнению метода Брусенцова с выражением силлогистики в логике предикатов.