Kết quả tìm kiếm
Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
- булевы функции 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
Математическая логика и теория алгоритмов учебно-методическое-пособие
Được phát hành Екатеринбург, 2017lấy văn bản
lấy văn bản
Điện tử Sách -
2
Математическая логика и теория алгоритмов учебное пособие
Được phát hành Махачкала, ДГПУ, 2024lấy văn bản
lấy văn bản
Điện tử Sách