191 стр.
Практика инженерной логики.
Комбинационные логические цепи.
Минимизация булевых функций методом обобщенных кодов.
Триггеры.
Регистры и счетчики.
Синтез счетчиков.
Конечные автоматы.
Микроконтроллеры.
Базовые проблемы классической логики.
Законы логики суждений.
Базисы силлогистики.
Силлогистика Аристотеля-Жергонна.
Русская силлогистика.
Общеразговорная силлогистика.
Атомарная силлогистика.
Атомарная силлогистика.
Естественный вывод и кванторы.
Практика инженерной логики.
Комбинационные логические цепи.
Минимизация булевых функций методом обобщенных кодов.
Триггеры.
Регистры и счетчики.
Синтез счетчиков.
Конечные автоматы.
Микроконтроллеры.
Базовые проблемы классической логики.
Законы логики суждений.
Базисы силлогистики.
Силлогистика Аристотеля-Жергонна.
Русская силлогистика.
Общеразговорная силлогистика.
Атомарная силлогистика.
Атомарная силлогистика.
Естественный вывод и кванторы.