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