檢索結果
在您的搜尋 主題建議
在您的搜尋 主題建議
- предикат
- булевы функции 5
- высказывания 5
- множества 5
- логические операции 4
- кортежи 3
- логика высказываний 3
- логика предикатов 3
- логические функции 3
- логическое следствие 3
- метод резолюций 3
- нормальные формы 3
- операции 3
- отношения 3
- правила вывода 3
- таблицы истинности 3
- алгебра 2
- алгебра высказываний 2
- алгоритм дейкстры 2
- булевы формулы 2
- высказывание 2
- графы 2
- декартово произведение 2
- кванторные операции 2
- кванторы 2
- монадическая логика 2
- мощность 2
- нечеткие высказывания 2
- нечеткие множества 2
- операции над предикатами 2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
Синтаксис вепсского языка учебно-методическое пособие для вузов
出版 Санкт-Петербург, РГПУ им. А. И. Герцена, 2021獲取全文
獲取全文
電子 圖書 -
8
-
9
-
10
-
11
Формальные аксиоматические теории. Исчисление предикатов. Часть 2
出版 Воронеж, ВГУ, 2020獲取全文
獲取全文
電子 圖書