везде Расширенный поиск
Алешина Н.А., Анисов А.М., Быстров П.И.

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

Код товара: 16923

Бумажная книга

2 USD

Добавить в корзину

Внимание! Книгу продает: Евгений Николаевич

Условия продажи:

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

Подсказка

Продавец договаривается с покупателем лично без участия books.ru

 Написать продавцу

Доставка:

Доставка наложенным платежом по России (кроме регионов с АВИА-доставкой почты). Оплата заказа - при получении на почте. БЕСПЛАТНАЯ доставка заказов стоимостью 1000 рублей и более.

Аннотация к книге "Логика и компьютер"

Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. СОДЕРЖАНИЕ: Классическая первопорядковая логика. О доказательстве правильности программ. Логика и программирование. Поиск доказательства. Приложение логики к проблемам искусственного интеллекта. Для студентов, преподавателей, широкого круга читателей.

Оставить замечание о найденной опечатке Версия для печати

Оставить комментарий

Оцените книгу: