檢索結果
在您的搜尋 主題建議
在您的搜尋 主題建議
- булевы функции 2
- нормальные формы булевых функций
- np-полнота 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
- нормальные алгоритмы маркова 1
-
1
Математическая логика и теория алгоритмов учебно-методическое-пособие
出版 Екатеринбург, 2017獲取全文
獲取全文
電子 圖書 -
2