Библиотека института биофизики СО РАН

Главная

Базы данных

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН - результаты поиска

Вид поиска

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН

Иностранные журналы библиотеки Института биофизики СО РАН

Отечественные журналы библиотеки Института биофизики СО РАН

Каталог диссертаций ИБФ СО РАН

Труды сотрудников ИБФ СО РАН

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>S=Программирование -- Логика -- Экспертные системы -- Искусственный интеллект<.>)

Общее количество найденных документов : 1

   З973
   Л 69
З97 / Л 69-ИБФ-КФ


    Логика и компьютер: Моделирование рассуждений и проверка правильности программ [Текст] : монография / Н. А. Алешина, А. М. Анисов, П. И. Быстров и др ; АН СССР. - М. : Наука, 1990. - 239 с. : рис. - (Кибернетика - неограниченные возможности и возможные ограничения). - Библиогр.: с. 231 - 235 (52 назв.). - ISBN 5-02-007156-0 : 0.65 р.
    Содержание:
Классическая первопорядковая логика
Логика в программировании
О доказательствах правильности программ
Поиск доказательств
Приложение логики к проблемам искусственного интеллекта

ГРНТИ

50.33

ББК З973.205
Рубрики:
Программирование--Логика--Экспертные системы--Искусственный интеллект
Аннотация: Логика является одним из важнейших источников информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной технологией, в особенности для тех, кто изучает и преподает информатику

Доп.точки доступа:
Алешина, Наталья Альбертовна; Анисов, Александр Михайлович; Быстров, Петр Иванович; Герасимова, И. А.; Меськов, В. С.; Непейвода, Н. Н.; Смирнов, В. А.; Стеблецова, В. Н.; Шалак, В. И.; Академия Наук СССР (М.)
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие