खोज परिणाम
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
- булевы функции 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
Математическая логика и теория алгоритмов учебное пособие
प्रकाशित Махачкала, ДГПУ, 2024पूर्ण पाठ प्राप्त करें
पूर्ण पाठ प्राप्त करें
इलेक्ट्रोनिक पुस्तक