- 2 402 202 книги
- Поиск
Вычислимое и невычислимое
Автор: Манин Ю.И.Категория: Cs_Computer science, CsNp_Computability
Размер книги: 2.84 Mb
Вычислимое и невычислимое
Автор: Манин Ю.И.Категория: Computer science, Вычислимость
Размер книги: 1.63 Mb
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций (сборник переводов)
Автор: Козмидиади, Автор: Мучник. (ред.)Категория: Computer science, Algorithms
Размер книги: 6.32 Mb
Вычислимое и невычислимое
Автор: Манин Ю.И.Категория: Computer science, Computability
Размер книги: 1.98 Mb
Теория рекурсивных фунцкий и эффективная вычислимость
Автор: Роджерс Х.Категория: Computer science, Computability
Размер книги: 6.68 Mb
Лекции о вычислимых функциях
Автор: Успенский В.А.Категория: Computer science, Computability
Размер книги: 5.44 Mb
Вычислимость и логика
Автор: Булос Дж., Автор: Джеффри Р. (G.S.Boolos, Автор: R.C.Jeffrey)
Размер книги: 9.81 Mb
Вычислимость и логика
Автор: Булос Дж., Автор: Джеффри Р. (G.S.Boolos, Автор: R.C.Jeffrey)
Размер книги: 3.81 Mb
Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции
Автор: Верещагин Н.К., Автор: Шень А.
Размер книги: 464 Kb
Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций
Автор: Мучник А.А. (ред)
Размер книги: 7.49 Mb
Об автоморфизмах шкал потенциалов вычислимости n-элементных алгебр
Автор: Журков С.В., Автор: Пинус А.Г.
Размер книги: 208 Kb
Сложность некоторых естественных проблем на классе вычислимых I-алгебр
Автор: Когабаев Н. Т.
Размер книги: 455 Kb
Вычислимые решения уравнений над эндоморфизмами негативных нумераций
Автор: Комбарро Э.Ф.
Размер книги: 417 Kb
О вычислимых формальных понятиях в вычислимых формальных контекстах
Автор: Морозов А.С., Автор: Львова М.А.
Размер книги: 200 Kb
Оценка алгоритмической сложности классов вычислимых моделей
Автор: Павловский Е.Н.
Размер книги: 554 Kb
Лекции по математической логике и теории алгоритмов. Вычислимые функции
Автор: Верещагин Н.К., Автор: Шень А.
Размер книги: 1.29 Mb
Булевы алгебры с конечными вычислимыми семействами вычислимых автоморфизмов
Автор: Морозов А.С., Автор: Касымканулы Б.
Размер книги: 420 Kb
Классификация подмножеств натуральных чисел при помощи вычислимых перестановок
Автор: Комбарро Э.Ф.
Размер книги: 443 Kb
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
Автор: Алаев П. Е.
Размер книги: 278 Kb
Об одной иерархии групп вычислимых автоморфизмов
Автор: Морозов А.С., Автор: Бузыкаева А.Н.
Размер книги: 360 Kb
Равномерность в теории вычислимых структур
Автор: Доуни Р., Автор: Хиршевельд Д.
Размер книги: 294 Kb
Сложность теорий вычислимых категоричных моделей
Автор: Гончаров С. С., Автор: Хусаинов Б.
Размер книги: 218 Kb
Лекции по математической логике, Вычислимые функции
Автор: Верещагин Н.К., Автор: Шень А.
Размер книги: 973 Kb
Введение в вычислимость: Учебное пособие
Автор: Морозов А.С.Категория: Информатика и информационные технологии
Размер книги: 770 Kb
Представление в ЭВМ неформальных процедур
Автор: Кузнецов В.Е.Категория: Computer science, Вычислимость
Размер книги: 1.73 Mb
Алгоритмы и рекурсивные функции
Автор: Мальцев А.И.Категория: Computer science, Вычислимость
Размер книги: 3.44 Mb