Символическая логика и разумные машины

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