 |
Маслов С.П. Троичная схемотехника |
| Бурцев А.А., М.А. Бурцев М.А. ДССП для троичной виртуальной машины |
| Рамиль Альварес Х. Алгоритмы троичной арифметики |
|
|
Брусенцов Н.П. Полная система категорических силлогизмов Аристотеля (1982 г.) |
|
Маслов С.П. Об одной возможности реализации троичных цифровых устройств |
|
|
Брусенцов Н.П. Усовершенствование логики умозаключений. Книга |
|
|
Владимирова Ю.С. Метод индексов Льюиса Кэрролла как основа компьютеризации рассуждения |
|
Рамиль Альварес Х. Деление целых чисел в троичной симметричной системе |
|
Сидоров С.А., Владимирова Ю.С. Троичная виртуальная машина |
|
Бурцев А. А., Рамиль Альварес Х. Кросс-система разработки программ на языке ДССП для троичной виртуальной машины |
|
Брусенцов Н.П., Рамиль Альварес Х. Троичная ЭВМ “Сетунь 70” |
| Бурцев А.А., Сидоров С.А. История развития ДССП: от "Сетуни 70" до троичной виртуальной машины |
| Брусенцов Н.П. Алгебраизация безупречной логики Аристотеля путем усовершенствования кэрролова метода индексов |
| Брусенцов Н.П. Трехзначное обобщение алгебры логики. Преодоление несовершенности ДНФ трехзначным обобщением логики |
| Владимирова Ю.С. Трехзначная логика Льюиса Кэрролла как основа компьютеризации содержательного рассуждения |
| Владимирова Ю.С. Отношение следования в универсуме силлогистических суждений |
| Брусенцов Н.П. Воссоздание аристотелевой безукоризненной силлогистики |
| Брусенцов Н.П. Трехзначность отношения следования |
| Рамиль Альварес Х. Алгоритмы деления и извлечения квадратного корня в троичной симметричной системе |
| Владимирова Ю.С. Компьютеризация содержательного рассуждения на основе силлогистического вывода |
| Брусенцов Н.П.Устранение парадоксов и химер |
| Брусенцов Н.П.
Аристотелева силлогистика и гераклитово сосуществование противоположностей |
| Брусенцов Н.П. Обобщение булевой алгебры |
| Брусенцов Н.П., Владимирова Ю.С. Булевы уравнения и логический вывод |
| Брусенцов Н.П. Ущербность классической логики |
| Брусенцов Н.П. Реанимация аристотелевой силлогистики |
| Брусенцов Н.П., Владимирова Ю.С. Троичная компьютеризация логики |
| Брусенцов Н.П., Владимирова Ю.С., Рамиль Альварес Х. Троичный логико-алгебраический и арифметический процессор |
| Брусенцов Н.П. Содержательное следование, сосуществование противоположностей и формальные импликации |
| Брусенцов Н.П. Двухзначность логики и гераклитово сосуществование противоположностей |
| Брусенцов Н.П. О содержательном истолковании логико-алгебраических выражений |
| Брусенцов Н.П., Владимирова Ю.С. Троичная диалектическая информатика |
| Брусенцов Н.П., Владимирова Ю.С. Конструктная компьютеризация аристотелевой силлогистики |
| Брусенцов Н.П., Владимирова Ю.С. Двухзначная логика и адекватность информатики |
| Владимирова Ю.С. Аристотелева силлогистика – первооснова адекватного интеллекта |
| Брусенцов Н.П. Блуждание в трех соснах |
| Брусенцов Н.П. Естественность троичной арифметики и трехзначной непарадоксальной информатики |
| Брусенцов Н.П. Исчерпывающее решение "неодолимой" проблемы парадоксов |
| Брусенцов Н.П. Неадекватность двоичной информатики |
| Брусенцов Н.П. Ущербность двоичности |
| Брусенцов Н.П. Отчего математическая логика несодержательна |
| Брусенцов Н.П. Парадоксы логики, здравый смысл и диалектический постулат Гераклита-Аристотеля |
| Брусенцов Н.П. Воссоздание благоразумной логики Аристотеля |
| Брусенцов Н.П. Адекватность интеллекта и гераклитово сосуществование противоположностей |
| Брусенцов Н.П. Алгебраическая реконструкция силлогистики |
| Брусенцов Н.П., Владимирова Ю.С. Конструктная компьютеризация |
| Брусенцов Н.П. Интеллектуализация математической логики |
| Брусенцов Н.П. Упорядочение булевой алгебры |
| Брусенцов Н.П., Владимирова Ю.С. Компьютеризация булевой алгебры |
| Брусенцов Н.П.Формальная логика и творческий интеллект |
| Брусенцов Н.П. Из истории создания троичных цифровых машин в МГУ |
| Брусенцов Н.П., Рамиль Альварес Х. Троичные ЭВМ “Сетунь” и “Сетунь 70” |
| Рамиль Альварес Х. Алгоритмы деления и извлечения квадратного корня в троичной симметричной системе |
| Материалы об ЭВМ "Сетунь" с сайта Виртуального Компьютерного Музея |
| Лосев А.Ф. Критические заметки о буржуазной математической логике |
| Брусенцов Н.П., Владимирова Ю.С., Рамиль Альварес Х. Компьютеры и обучение |
| Седелев Б.В. Метод целевого синтеза как инструмент постановки и решения задач о существовании из теории чисел. Книга |
| Седелев Б.В. Метод целевого синтеза как инструмент постановки и решения задач о существовании из теории чисел |