Bilaketaren emaitzak
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- булевы функции 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
Математическая логика и теория алгоритмов учебно-методическое-пособие
Argitaratua Екатеринбург, 2017Testu osoa
Testu osoa
Baliabide elektronikoa Liburua -
2
Математическая логика и теория алгоритмов учебное пособие
Argitaratua Махачкала, ДГПУ, 2024Testu osoa
Testu osoa
Baliabide elektronikoa Liburua