Книга: Логика и компьютер

Скачать

Логика — один из важнейших источников развития современной информатики и компьютерных технологий. Впервые в отечественной литературе для широкого круга читателей подробно анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в изучении искусственного интеллекта и во внедрении современных информационных технологий.

Для читателей, интересующихся перспективами современной компьютерной революции, особенно для тех, кто изучает и преподаёт информатику.

Информация о документе

Формат документа: PDF, DJVU
Кол-во страниц: 242 страницы
Загрузил(а): Ларионова Полина
Лицензия: —
Доступ: Всем

Информация о книге

ISBN: 5020071560
Издательство: ИЗДАТЕЛЬСТВО НАУКА
Год публикации: 1990
Автор(ы): Н. А. Алешина, А. М. Анисов, П. И. Быстров и др.
Библиографическая запись: Логика и компьютер. Моделирование рассуждений и верификация программ / Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. — М.: Наука, 1990. — 240 с., ил. — (Серия «Кибернетика — неограниченные возможности и возможные ограничения»).
ISBN 5‑02‑007156‑0
Ключевые фразы: ЛОГИКА, Информатика и вычислительная техника, ИИ
ББК: 32.81. Техническая кибернетика
УДК: 510.6. Математическая логика
681.3. (Вычислительная техника. Машины и устройства для обработки данных. Автоматическая обработка данных. Электронные вычислительные машины (ЭВМ). Калькуляторы) Исключено E&C 18 [1996]

Все права на тексты и товарные знаки принадлежат их законным владельцам. Подробнее...

Сайт https://scinetwork.ru (далее – Сайт) представляет собой платформу, на которой пользователи самостоятельно добавляют и публикуют метаинформацию о материалах разных видов (названия, обложки, аннотации, данные об авторах и т.п.). Администрация Сайта не занимается самостоятельным сбором или первоначальной публикацией этих сведений.

Модерация контента

На Сайте действует постмодерация. Это означает, что материалы, добавляемые пользователями, становятся общедоступными сразу после публикации и проверяются Администрацией Сайта постфактум в разумные сроки.

Использование информации

Администрация Сайта не использует метаданные и обложки документов в коммерческих или рекламных целях для продвижения товаров или услуг и не заявляет о каких-либо правах на представленные объекты интеллектуальной собственности. Все права на документы и сопутствующие материалы принадлежат их законным правообладателям.

Отказ от гарантий

Администрация Сайта не гарантирует точность, полноту и достоверность метаинформации, размещенной пользователями, поскольку не осуществляет ее предварительную проверку.

Ответственность

Сайт носит исключительно информационно-справочный характер. Администрация Сайта не несет ответственности за содержание и достоверность информации, добавленной пользователями, а также за любые убытки, возникшие в связи с использованием или невозможностью использования Сайта и размещенной на нем информации.