| Индекс УДК | 519.85 |
|
Логика и компьютер. Моделирование рассуждений и проверка правильности программ Текст Академия наук СССР ; [редкол.: акад. И. М. Макаров (пред.) и др. ; предисл. акад. И. М. Макаров ; науч. ред. д-р филос. наук Е. Д. Смирнова] |
|
| Место издания | Москва |
| Издательство | Наука |
| Дата издания оригинала | 1990 |
| Объем | 238, [1] с. |
| Аннотация | В книге детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. |
| Другие авторы | Анисов, Александр Михайлович |
