検索結果
関連のトピックス ...
関連のトピックス ...
- равносильные формулы
- булевы функции 2
- правила вывода 2
- формулы 2
- Булевы функции (алгебра) 1
- аксиоматические теории 1
- алгебра логики 1
- алгебра множеств 1
- алгоритмы 1
- булева алгебра 1
- булевы векторы 1
- булевы константы 1
- булевы переменные 1
- взаимно обратные теоремы 1
- высказывание 1
- высказывания 1
- вычислимые и рекурсивные функции 1
- вычислимые функции 1
- двойственные функции 1
- дизъюнктивные нормальные формы 1
- закон двойственности 1
- замкнутые классы 1
- информатика 1
- кванторные операции 1
- классификация предикатов 1
- логика высказываний 1
- логика предикатов 1
- логические задачи 1
- логические операции 1
- логические операции над предикатами 1
-
1
-
2
-
3
Математическая логика и теория алгоритмов учебное пособие
出版事項 Махачкала, ДГПУ, 2024全文の入手
全文の入手
電子媒体 図書