寄付 2024年9月15日 – 2024年10月1日 募金について

キーワード検索

  • Main
  • キーワード検索
1
Вычислимо перечислимые множества и степени

Вычислимо перечислимые множества и степени

Соар Р.И.(Soare)
年:
2000
言語:
russian
ファイル:
DJVU, 4.99 MB
0 / 0
russian, 2000
3
Лекции по математической логике и теории алгоритмов

Лекции по математической логике и теории алгоритмов

Верещагин Н.К., Шень А.
年:
2017
言語:
russian
ファイル:
PDF, 1.27 MB
0 / 0
russian, 2017
4
Лекции по математической логике и теории алгоритмов

Лекции по математической логике и теории алгоритмов

Верещагин Н.К., Шень А.
年:
2012
言語:
russian
ファイル:
PDF, 1.26 MB
0 / 0
russian, 2012
9
Сложность теорий вычислимых категоричных моделей

Сложность теорий вычислимых категоричных моделей

Гончаров С. С., Хусаинов Б.
年:
2005
言語:
russian
ファイル:
PDF, 218 KB
0 / 0
russian, 2005
10
О е-главных нумерациях

О е-главных нумерациях

Дегтев А.Н., Платонов М.Л.
年:
2008
言語:
russian
ファイル:
PDF, 385 KB
0 / 0
russian, 2008
11
Вычислимые семейства суператомных булевых алгебр

Вычислимые семейства суператомных булевых алгебр

Алаев П.Е.
年:
2003
言語:
russian
ファイル:
PDF, 411 KB
0 / 0
russian, 2003
12
Равномерность в теории вычислимых структур

Равномерность в теории вычислимых структур

Доуни Р., Хиршевельд Д.
年:
2003
言語:
russian
ファイル:
PDF, 294 KB
0 / 0
russian, 2003
15
Сильно конструктивные булевы алгебры

Сильно конструктивные булевы алгебры

Алаев П.Е.
年:
2005
言語:
russian
ファイル:
PDF, 252 KB
0 / 0
russian, 2005
16
Индексные множества разрешимых моделей

Индексные множества разрешимых моделей

Фокина Е. Б.
年:
2007
言語:
russian
ファイル:
PDF, 235 KB
0 / 0
russian, 2007
17
О сложностях равномерных приближений неравномерных функций

О сложностях равномерных приближений неравномерных функций

Асарин Е.О.
年:
1984
言語:
russian
ファイル:
DJVU, 255 KB
0 / 0
russian, 1984
18
Об определении лахлановской полурешетки

Об определении лахлановской полурешетки

Подзоров С. Ю.
年:
2006
言語:
russian
ファイル:
PDF, 447 KB
0 / 0
russian, 2006
19
О позитивных нумерациях семейств множеств иерархии Ершова

О позитивных нумерациях семейств множеств иерархии Ершова

Таласбаева Ж. Т.
年:
2003
言語:
russian
ファイル:
PDF, 170 KB
0 / 0
russian, 2003