• русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • русский 
    • русский
    • українська
    • English
    • Deutsch
    • español
    • italiano
  • Войти
Просмотр элемента 
  •   Главная
  • Genofond
  • Libgen
  • Просмотр элемента
  •   Главная
  • Genofond
  • Libgen
  • Просмотр элемента
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Thumbnail
Открыть
2e4e248960a09316cf7717dea1ea635c.djvu (7.161Mb)
Дата
1990
Автор
Алешина Н.А., Анисов А.М., Быстров П.И.
Metadata
Показать полную информацию
Аннотации
Логика является одним из важнейших источников развития современной информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий.Для читателей, интересующихся перспективами современной компьютерной революции, в особенности для тех, кто изучает и преподает информатику.
URI
http://ir.nmu.org.ua/handle/GenofondUA/37900
Collections
  • Libgen [81666]

DSpace software copyright © 2002-2016  DuraSpace
Контакты | Отправить отзыв
Theme by 
Atmire NV
 

 

Просмотр

Весь DSpaceСообщества и коллекцииДата публикацииАвторыНазванияТематикаЭта коллекцияДата публикацииАвторыНазванияТематика

Моя учетная запись

ВойтиРегистрация

DSpace software copyright © 2002-2016  DuraSpace
Контакты | Отправить отзыв
Theme by 
Atmire NV