Еще
Логотип LiveLibЛента

Это новая версия страницы. Часть функций ещё в работе — мы добавляем их постепенно.

К старой версии страницы
Логика и компьютер. Моделирование рассуждений и проверка правильности программ
18+
User AvatarВаша оценка
0
(0)

Логика и компьютер. Моделирование рассуждений и проверка правильности программ

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

Жанры

Издательство:

Наука

Серия:

Кибернетика: неограниченные возможности и возможные ограничения

ISBN:

5-02-007156-0

Год издания:

1990

Язык:

Русский

Мягкая обложка, 240 стр.

Тираж: 50000 экз.

Формат: 84x108/32 (130х200 мм)

Возрастные ограничения:

18+

Рейтинг LiveLib

0
0 оценок
Эту книгу пока никто не оценил, ваша оценка может стать первой
User AvatarВаша оценка
Хотят прочитать 2

Рецензии

На эту книгу еще нет ни одной рецензии. Ваша может стать первой.

Популярное

Цитаты

Еще не добавлена ни одна цитата из книги. Ваша может стать первой.

Подборки с этой книгой

Все подборки