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

Главная

Базы данных

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

Вид поиска

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

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

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

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

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

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

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

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

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

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