[Текст] : монография / Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. - М. : Наука, 1990. - 239 с. : рис. - (
Кибернетика - неограниченные возможности и возможные ограничения / Акад. наук СССР). - Библиогр.: с. 231 - 235 (52 назв.). - 50000 экз. -
ISBN 5-02-007156-0 : 0.65 р., 0.65 р.
Содержание: Классическая первопорядковая логика Логика в программировании О доказательствах правильности программ Поиск доказательств Приложение логики к проблемам искусственного интеллекта ББК З973.2 + З973.205
Аннотация: Логика является одним из важнейших источников информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной технологией, в особенности для тех, кто изучает и преподает информатику
Держатели документа: Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа: Алешина, Наталья Альбертовна; Анисов, Александр Михайлович; Быстров, Петр Иванович; Герасимова, И. А.; Меськов, В. С.; Непейвода, Н. Н.; Смирнов, В. А.; Стеблецова, В. Н.; Шалак, В. И.; Академия наук СССР
Экземпляры всего: 2
ИФ-КФ (1), ИБФ-ООН (1)
Свободны: ИФ-КФ (1), ИБФ-ООН (1)