Bilaketaren emaitzak
Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
- рекурсивная перечислимость
- Математическая логика 3
- машины Тьюринга 2
- неразрешимость 2
- рекурсивные функции 2
- частично рекурсивные функции 2
- Алгоритмы, теория 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 СПб., Научный мир, 2008Liburua -
2
-
3
-
4