Sökresultat
Rekommenderade teman
Rekommenderade teman
- математические доказательства
- алгоритмы 3
- Математика 2
- геометрия 2
- математические предложения 2
- множества 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
-
2
-
3
-
4
Развитие представлений о надежности математического доказательства
Publicerad Москва, Изд-во МГУ, 1986Bok -
5
Введение в рекурсивное программирование
Publicerad Москва, ДМК Пресс, 2019Hämta fulltext
Hämta fulltext
Elektronisk Bok