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

Беркли Э. - Символическая логика и разумные машины
Название: Символическая логика и разумные машины
Автор: Беркли Э.
Издательство: Москва: Изд-во иностранной литературы
Год: 1961
Страниц: 260
Формат: DjVu
Размер: 1,99 Мб
Качество: хороший скан
Язык: русский

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

СОДЕРЖАНИЕ


Предисловие редактора перевода
Предисловие

Глава 1. Символическая логика. Введение
Глава 2. Символическая логика. Основные понятия
Глава 3. Булева алгебра. Введение
Глава 4. Булева алгебра. Основные понятия
Глава 5. Булева алгебра. Вычисления
Глава 6. Булева алгебра. Математическое определение
Глава 7. Разумные машины
Глава 8. Малые разумные машины. Некоторые простые задачи
Глава 9. Малые рассуждающие машины. Силлогистическая машина и другие задачи
Глава 10. Большие вычислительные машины. Задача сложения десятичных чисел
Глава 11. Большие вычислительные машины. Проблемы хранения, передачи и организации
Глава 12. Большие вычислительные машины. Сложение, вычитание, умножение и деление двоичных чисел
Глава 13. Алгебра состояний и событий. Основные понятия
Глава 14. Алгебра состояний и событий. Приложение к некоторым задачам
Глава 15. Символическая логика и программирование автоматических вычислительных машин

Избранная библиография
Дополнительная библиография
Примечания редактора перевода

Вы уверены, что ссылка нерабочая?

Рекомендуем прочитать