Torthaí cuardaigh
Topaicí molta laistigh de do chuardach.
Topaicí molta laistigh de do chuardach.
- булевы функции 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
Математическая логика и теория алгоритмов учебно-методическое-пособие
Foilsithe / Cruthaithe Екатеринбург, 2017Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach LEABHAR -
2
Математическая логика и теория алгоритмов учебное пособие
Foilsithe / Cruthaithe Махачкала, ДГПУ, 2024Faigh an téacs iomlán
Faigh an téacs iomlán
Leictreonach LEABHAR