|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Выражение аристотелевой силлогистики методом Н.П. Брусенцоватезисы доклада
- Автор: Владимирова Ю.С.
- Сборник: XI Международная научно-практическая конференция имени А.И. Китова "Информационные технологии и математические методы в экономике и управлении (ИТиММ-2022)", РЭУ им. Плеханова, Россия, 10-11 февраля 2022
- Тезисы
- Год издания: 2022
- Место издания: ФГБОУ ВО «РЭУ им. Г. В. Плеханова» Москва
- Первая страница: 223
- Последняя страница: 228
- Аннотация: Центральное место в логических исследованиях главногоконструктора троичных ЭВМ "Сетунь" и "Сетунь 70" Николая Петровича Брусенцова занимает вопрос адекватного выражения отношения следования. Предложенная им логическая система позволяет выразить все модусы силлогистики Аристотеля. Настоящий доклад посвящен сравнению метода Брусенцова с выражением силлогистики в логике предикатов.
- Добавил в систему: Владимирова Юлия Сергеевна