檢索結果 - "исчисление предикатов"
在您的搜尋 主題建議
在您的搜尋 主題建議
- исчисление предикатов 8
- исчисление высказываний 6
- булевы функции 4
- метод резолюций 3
- модели представления знаний 3
- приобретение знаний 3
- продукционная модель 3
- алгебра высказываний 2
- алгебра логики 2
- знания 2
- кванторы 2
- логика предикатов 2
- логико-математические основы 2
- нормальные формы булевых функций 2
- пополнение знаний 2
- предикатная форма 2
- предикаты 2
- работа с онтологиями 2
- разрешимость 2
- теория алгоритмов 2
- формализация знаний 2
- формулы 2
- np-полнота 1
- автоматические методы построения онтологий 1
- адаптивные системы 1
- аксиоматика пеано 1
- аксиоматические теории 1
- алгебра множеств 1
- алгебра отношений 1
- алгебраическое поле 1
-
1
Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов учебное пособие для вузов...
出版 Санкт-Петербург, Лань, 2022主題: 獲取全文
獲取全文
電子 圖書 -
2
Математическая логика и теория алгоритмов учебно-методическое-пособие
出版 Екатеринбург, 2017主題: 獲取全文
獲取全文
電子 圖書 -
3
-
4
-
5
Логические основы интеллектуальных систем. Часть 1 Учебное пособие
出版 Санкт-Петербург, ПГУПС, 2018主題: 獲取全文
獲取全文
電子 圖書 -
6
Дискретная математика. Формально-логические системы и языки
出版 Москва, ДМК Пресс, 2018主題: 獲取全文
獲取全文
電子 圖書 -
7
Дискретная математика для информатиков и экономистов учебное пособие для вузов
出版 Москва, НИЯУ МИФИ, 2010主題: 獲取全文
獲取全文
電子 圖書 -
8
Математическая логика и теория алгоритмов учебное пособие
出版 Махачкала, ДГПУ, 2024主題: “...формализованное исчисление предикатов...”
獲取全文
獲取全文
電子 圖書 -
9