Главная Упрощенный режим

Базы данных


Основная библиотечная БД - результаты поиска

Вид поиска
Основная библиотечная БД
Труды учёных ПГНИУ
Диссертации
Журналы
Рациональное природопользование
Иностранная периодика
Дореволюционная периодика
Библиотека юридичеcкого факультета (статьи)
Туризм
История Пермского университета
Продолжающиеся издания
Музейный книжный фонд
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=теория поиска<.>)
Общее количество найденных документов : 1
1.
23940

    Брюшинкин, В. Н.
    Теория поиска вывода. Происхождение и философские приложения [Текст] : монография / Брюшинкин В. Н. - Калининград : Балтийский федеральный университет им. Иммануила Канта, 2012. - 167 с. - ISBN 978-5-9971-0222-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
УДК
510.66
ББК 22.12

Кл.слова (ненормированные):
искусственный интеллект -- логика -- поиск вывода -- теория поиска -- философия
Аннотация: Проведена историко-логическая реконструкция происхождения теории поиска вывода из гильбертовской теории доказательств на основе поризматической модели происхождения научных теорий, предложенной Б.С. Грязновым. Рассмотрены философские приложения теории поиска вывода. Книга адресована специалистам по логике, методологии науки, искусственному интеллекту.

Перейти: Перейти к просмотру издания

Доп.точки доступа:
Ходикова, Н. А.
Свободных экз. нет
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
Статистика
за 01.07.2024
Число запросов 55339
Число посетителей 430
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)