Научная библиотека ВСГУТУ

Книги

Найдено в других БД:

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=логика предикатов<.>)

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

Бочаров В.А. Основы логики/В.А. Бочаров, В.И. Маркин. - 1999

Девятков В.В. Системы искусственного интеллекта/В.В. Девятков. - 2001

Игошин В.И. Математическая логика и теория алгоритмов/В.И. Игошин. - 2008

Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов/В.И. Игошин. - 2008

Лихтарников Л.М. Математическая логика/Л.М. Лихтарников, Т.Г. Сукачева. - 2008

Жоль К.К. Логика/К. К. Жоль. - 2004

Ездаков А. Л. Экспертные системы САПР/А. Л. Ездаков. - 2013

Попов Ю. П. Логика/Ю. П. Попов. - 2015

Конспекты лекций и упражнения по курсу "Математическая логика (Логика предикатов)"/сост.: Л. П. Петрова, Б. Н. Садовский