Картотека книг

предварительная версия
Картотека книг » Поиск по коду » Книги с ISBN13 9783845413372

Книга ISBN13 9783845413372 - История логических машин (Артём Голубниченко) в магазинах, библиотеках и электронных библиотеках с он-лайн чтением

Информация о местонахождении книг с указанным кодом ISBN. (Найти нужный код ISBN10 или ISBN13 можно в техническом каталоге кодов.)

На странице указаны адреса интернет-магазинов и библиотек (обычных) в которых есть книга с данным кодом.

Где купить эту книгу?

Интернет-магазины

Название: История логических машин
В книге представлен хронологический обзор персоналий, построивших системы для решения задач автоматизации рассуждений, создавших логические машины, начиная с XIII и до сер. XX в. Развивающееся индустриальное общество требовало от науки автоматических вычислений. Как следствие, на этом фоне интерес к задаче автоматизации рассуждений был потерян. Существует лишь один фундаментальный труд по истории логических машин — это книга известного американского математика, писателя и популяризатора науки М. Гарднера (1914–2010) «Логические машины и диаграммы» («Logic Machines and Diagrams»), которая не переведена на русский язык до сих пор. Книга преследует цель дать не просто статический обзор или историческую справку по созданию логических машин, она, в первую очередь, претендует на то, чтобы провести анализ попыток решения задачи автоматизации рассуждений, выявить типы подходов для разрешения этой проблемы. Одна из целей нашей работы — вскрыть причины, по которым задача автоматизации...
Авторы: Артём Голубниченко
Издательство: LAP Lambert Academic Publishing
Год: 2011
Местонахождение: OZON.ru
ISBN: 9783845413372


Поиск по сайту


Новости

10 января 2015 года: Запуск базы ISBN10 и ISBN13

Запущена база данных ISBN и технический каталог кодов.