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