- 2 402 202 книги
#4
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций (сборник переводов)
Козмидиади, Мучник. (ред.)Категория: Computer science, Algorithms
6.32 Mb
#6
Теория рекурсивных фунцкий и эффективная вычислимость
Роджерс Х.Категория: Computer science, Computability
6.68 Mb
#12
Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
Верещагин Н.К., Шень А.
464 Kb
#13
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций
Мучник А.А. (ред)
7.49 Mb
#17
Об автоморфизмах шкал потенциалов вычислимости n-элементных алгебр
Журков С.В., Пинус А.Г.
208 Kb
#21
О вычислимых формальных понятиях в вычислимых формальных контекстах
Морозов А.С., Львова М.А.
200 Kb
#25
Лекции по математической логике и теории алгоритмов. Вычислимые функции
Верещагин Н.К., Шень А.
1.29 Mb
#26
Булевы алгебры с конечными вычислимыми семействами вычислимых автоморфизмов
Морозов А.С., Касымканулы Б.
420 Kb
#28
Классификация подмножеств натуральных чисел при помощи вычислимых перестановок
Комбарро Э.Ф.
443 Kb
#36
Введение в вычислимость: Учебное пособие
Морозов А.С.Категория: Информатика и информационные технологии
770 Kb
#37
Представление в ЭВМ неформальных процедур
Кузнецов В.Е.Категория: Computer science, Вычислимость
1.73 Mb
