檢索結果
在您的搜尋 主題建議
在您的搜尋 主題建議
- логика высказываний
- логика предикатов 12
- булевы функции 10
- бинарные отношения 6
- нормальные формы 6
- математическая логика 5
- алгебра логики 4
- исчисление высказываний 4
- кванторы 4
- комбинаторика 4
- логика 4
- логические операции 4
- множества 4
- предикаты 4
- теория алгоритмов 4
- теория множеств 4
- аксиоматический метод 3
- алгебра высказываний 3
- высказывания 3
- графы 3
- конечные автоматы 3
- операции 3
- отношения 3
- правила вывода 3
- предикат 3
- проблема разрешимости 3
- теория графов 3
- формальные теории 3
- формулы 3
- алгебраические структуры 2
-
1
-
2
-
3
Дискретная математика. Формально-логические системы и языки
出版 Москва, ДМК Пресс, 2018獲取全文
獲取全文
電子 圖書 -
4
-
5
-
6
-
7
-
8
Сборник задач по множествам, булевым функциям и математической логике учебное пособие
出版 Тверь, ТвГУ, 2020獲取全文
獲取全文
電子 圖書 -
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
Математическая логика и теория алгоритмов учебное пособие
出版 Новосибирск, СГУГиТ, 2022獲取全文
獲取全文
電子 圖書 -
20