Search Results
Suggested Topics within your search.
Suggested Topics within your search.
- исчисление предикатов
- исчисление высказываний 6
- булевы функции 3
- метод резолюций 3
- модели представления знаний 3
- приобретение знаний 3
- продукционная модель 3
- алгебра высказываний 2
- алгебра логики 2
- знания 2
- кванторы 2
- логика предикатов 2
- логико-математические основы 2
- пополнение знаний 2
- предикатная форма 2
- работа с онтологиями 2
- разрешимость 2
- теория алгоритмов 2
- формализация знаний 2
- np-полнота 1
- автоматические методы построения онтологий 1
- адаптивные системы 1
- аксиоматика пеано 1
- алгебра отношений 1
- алгебраическое поле 1
- алгебре 1
- алгоритм доказательства логического следования 1
- анализ конечных автоматов 1
- антиномии 1
- апории 1
-
1
Дискретная математика для информатиков и экономистов учебное пособие для вузов
Published Москва, НИЯУ МИФИ, 2010Get full text
Get full text
Electronic Book -
2
Дискретная математика. Формально-логические системы и языки
Published Москва, ДМК Пресс, 2018Get full text
Get full text
Electronic Book -
3
Логические основы интеллектуальных систем. Часть 1 Учебное пособие
Published Санкт-Петербург, ПГУПС, 2018Get full text
Get full text
Electronic Book -
4
Математическая логика и теория алгоритмов учебно-методическое-пособие
Published Екатеринбург, 2017Get full text
Get full text
Electronic Book -
5
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов учебное пособие для вузов...
Published Санкт-Петербург, Лань, 2022Get full text
Get full text
Electronic Book -
6
Интеллектуальные информационные системы учебное пособие
Published Тамбов, ТГТУ, 2022Get full text
Get full text
Electronic Book -
7
Логическое программирование учеб. пособие
Published Киров, ВятГУ, 2022Get full text
Get full text
Electronic Book -
8
Технологии управления знаниями учеб. пособие
Published Киров, ВятГУ, 2023Get full text
Get full text
Electronic Book