|
 |
|
 |
|
|
 |
|
 |
|
Название: Логика и компьютер. Моделирование рассуждений и проверка правильности программ
Автор: Алешина Н.А., Анисов А.М., Быстров П.И. и др.
Издательство: М.: Наука
Год: 1990
Формат: pdf
Страниц: 240
Размер: 10 mb
Язык: русский
Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий.
Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.
|
Автор: na5ballov 5-10-2017, 06:09 | Напечатать |
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
С этой публикацией часто скачивают:
 |
Логика и компьютер Автор: Н. А. Алешина, А. М. Анисов, П. И. Быстров и др.- Название: Логика и компьютер. Серия "Кибернетика - неограниченные возможности и возможные... |
|
 |
Окно в удивительный мир информатики Название: Окно в удивительный мир информатики Автор: Коляда М.Г. Издательство: Донецк: Сталкер Год: 1997 Формат: pdf Размер: 40 МБ Язык:... |
|
|
 |
Моделирование рассуждений Название: Моделирование рассуждений Автор: Поспелов Д. А. Издательство: Радио и связь Год: 1989 Формат: pdf Страниц: 186 Размер: 20 Mb Язык: русский ... |
|
 |
Логика естественных рассуждений Название: Логика естественных рассуждений Автор: Кулик Б. А. Издательство: Невский Диалект Год: 2001 Формат: PDF Страниц: 130 Размер: 32.2 MB Язык:... |
|
|
|
 |
Имитационное моделирование Название: Имитационное моделирование Автор: Аверилл М. Лоу, В. Дэвид Кельтон Издательство: Питер, Издат.группа BHV Год: 2004 Страниц: 848 ISBN:... |
|
 |
Информатика — что это? Автор: Решетников В. Н., Сотников А. Н. Название: Информатика — что это? «Научно-популярная библиотека школьника» Издательство: М:, Радио и связь... |
|
 |
Логика традиционная и современная Название: Логика традиционная и современная Автор: Конверский А.Е. Издательство: М.: Идея-Пресс Год: 2010 Страниц: 372 ISBN: 978-5-903927-07-4... |
|
|
|
|
 |
|
 |
|
|
|
|
|
|
|
|
|
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
|
|
|
|
|
|
Навигация
Вход на сайт
Реклама
Логика и компьютер. Моделирование рассуждений и проверка правильности программ 
