Данный выпуск «Логических исследований» состоит из двух частей. В первой части содержатся статьи по общим вопросам математической (символической) логики, ее истории и отдельным приложениям; во второй части помещены статьи, касающиеся разработки и практических применений математической логики в связи с задачами математики и техники.
Эта книга, написанная видным американским популяризатором кибернетики, представляет собой общедоступное введение в символическую (математическую) логику и вопросы ее применения к синтезу машин, моделирующих некоторые операции человеческого мышления.
От простейших машин, способных решать элементарные логические задачи, автор переходит к современным цифровым автоматическим счетным машинам, описывает их структуры и программирование.
Тот, кто интересуется роботами, обнаружит здесь пример составления логических уравнений, на основе которых можно строить кибернетических “зверьков”, обладающих простым поведением. Книга рассчитана на широкий круг читателей, она может быть полезна математикам различных специальностей, инженерам, работающим в области связи, автоматики и телемеханики, студентам вузов и др. Для ее понимания достаточно знания математики и физики в объеме средней школы.