Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Алешина Н.А., Анисов А.М., Быстров П.И. — Логика и компьютер: моделирование рассуждений и проверка правильности программ
Алешина Н.А., Анисов А.М., Быстров П.И. — Логика и компьютер: моделирование рассуждений и проверка правильности программ



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


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

Авторы: Алешина Н.А., Анисов А.М., Быстров П.И.

Аннотация:

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


Язык: ru

Рубрика: Computer science/

Статус предметного указателя: Нет и не будет

ed2k: ed2k stats

Год издания: 1990

Количество страниц: 238

Добавлена в каталог: 13.08.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте