Хилтон А.М. Логика и цепи переключения

Перевод с английского Е.Б. Дубина. – М.-Л., Госэнергоиздат, 1962. — 88 с.: черт. — (Библиотека по автоматике. Выпуск 55).Обзор А.М.Хилтон «Логика и цепи переключения» является одной из многих появившихся за последнее время популярных работ по вопросу применения новейших математических идей и методов в различных технических областях, в частности, в области управления, цифровых вычислительных машин и т.д.
В книге приводится исторический материал, связанный с развитием логики, рассматривается применение математической логики при построении математических машин и логических управляющих схем; приводятся уже известные результаты и оценивается перспектива развития и применения логики и логических структур в технике.
Книга снабжена обширным списком литературы по теоретическим и прикладным вопросам логики.
Настоящая книга предназначена для специалистов в области автоматического управления и цифровой техники; она также доступна для широкого круга читателей, интересующихся вопросами развития новейших отраслей технической науки.Введение.
Принципы символической логики.
Форма и ее преобразование. Структура. Аналогия. Абстракция. Понятия. Интерпретация.
Высказывание (утверждение). Значение истинности. Обобщение.
Множества (классы).
Множества и подмножества. Основные связи между множествами. Принцип дихотомии.
Дополнение (отрицание). Дедуктивная система множеств. Исчисление множеств.
Логическое рассуждение.
Элементарные теоремы. Двойственность суммы и произведения. Постулаты как формальное определение отношений.
Алгебра логики.
Алгебра Буля. Алгебра высказываний. Principia Matematica. Построение таблиц значения истинности. Двоичная система.
Логика и управляющие вычислительные машины.
Исторический обзор.
Логика и проектирование схем.
Вычислительная машина и нервная система. Этапы проектирования. Методы минимизации. Логические операции. Функциональные устройства. Логика и вычислительная техника.
Литература.
Приложения.
Сравнение обозначений.
Математическая, логическая, в терминах техники, геометрических диаграмм и таблиц значений истинности.