/0518_Основы теории вычислимых функций/0518_Основы теории вычислимых функций.zip

/0518_Основы теории вычислимых функций/tag.ini

Showing first 2 matched files of 1214 total files

/Успенский В.А. - Лекции о вычислимых функциях.djvu

Showing first 1 matched files of 24 total files

/Математическая логика/Успенский В.А., Лекции о вычислимых функциях.djvu

Showing first 1 matched files of 1095 total files

/Математическая логика, алгоритмы, автоматы/Лекции о вычислимых функциях.djvu

Showing first 1 matched files of 1673 total files

/Успенский. Лекции о вычислимых функциях, 1960.djvu

Showing first 1 matched files of 75 total files

/Успенский В.А. - Лекции о вычислимых функциях.djvu

Showing first 1 matched files of 12 total files

/Гончаров С. С., Хусаинов Б. - Сложность теорий вычислимых категоричных моделей (2005)(16s).pdf

/Доуни Р., Хиршевельд Д. - Равномерность в теории вычислимых структур (2003)(28s).pdf

Showing first 2 matched files of 677 total files

/Успенский В.А. - Лекции о вычислимых функциях.djvu

Showing first 1 matched files of 23 total files

/Математика/Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций (сборник) (1970).djvu

Showing first 1 matched files of 1276 total files

/Успенский_В.А._Лекции_о_вычислимых_функциzх._1960.djvu

Showing first 1 matched files of 2555 total files

/Когабаев Н. Т. - Сложность некоторых естественных проблем на классе вычислимых I-алгебр(2006)(9).pdf

/Морозов А.С., Львова М.А. - О вычислимых формальных понятиях в вычислимых формальных контекстах(2007)(10).pdf

/Павловский Е.Н. - Оценка алгоритмической сложности классов вычислимых моделей(2008)(15).pdf

Showing first 3 matched files of 1172 total files

/Комбарро Э.Ф. - Классификация подмножеств натуральных чисел при помощи вычислимых перестановок (2004)(14s).pdf

/Морозов А.С., Бузыкаева А.Н. - Об одной иерархии групп вычислимых автоморфизмов (2002)(6s).pdf

/Морозов А.С., Касымканулы Б. - Булевы алгебры с конечными вычислимыми семействами вычислимых автоморфизмов (2004)(7s).pdf

Showing first 3 matched files of 593 total files

/Алаев П. Е. - Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях (2003)(22s).pdf

Showing first 1 matched files of 525 total files