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

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

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

Дегтев А.Н., Платонов М.Л.

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Tahun:

2008

Bahasa:

russian

Halaman:

9

Fail:

PDF, 385 KB

IPFS:

,

russian, 2008

Baca dalam Talian

Memuat turun (pdf, 385 KB)

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

Соболев С.Л. (ред.) — Математическая логика и теория алгоритмов

Барвайс Дж. (ред.) — Справочная книга по математической логике. В 4-х частях. Часть 3. Теория рекурсии

Ершов Ю. Л. — Теория нумераций

Марат М. Арсланов — Иерархия множеств и степеней, расположенных ниже

Келли Дж.Л.(Kelley J.L.) — Общая топология

Подзоров С.Ю. — Дополнительные главы теории вычислимости. Учебное пособие по спецкурсу

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

Келли Дж.Л.(Kelley J.L.) — Общая топология

Ершов Ю.Л — Теория нумераций

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

Катленд Н. (Cutland) — Вычислимость. Введение в теорию рекурсивных функций

Келли Дж.Л. — Общая топология

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

Бадаев С.А., Гончаров С.С., Сорби А. — Об элементарных теориях полурешёток Роджерса

Морозов А.С. — Еще раз о вопросе Хигмана

Павловский Е.Н. — Оценка алгоритмической сложности классов вычислимых моделей

Подзоров С. Ю. — Об определении лахлановской полурешетки

Подзоров С.Ю. — О локальном строении полурешеток Роджерса

Тусупов Д. А. — Автоустойчивая двустепенно нильпотентная группа без семейства Скотта, состоящего из конечных формул

Под редакцией А.Н.Маслова и Э.Д.Стоцкого — Языки и автоматы. Сборник переводов

Морозов А. С. — Sigma-множество натуральных чисел, не перечислимое с помощью натуральных чисел

Морозов А.С., Касымканулы Б. — Булевы алгебры с конечными вычислимыми семействами вычислимых автоморфизмов

Селиванов В. Л. — Булевы иерархии разбиений над редуцируемой базой

Алаев П. Е. — Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях

Морозов А. С., Пузаренко В. Г. — О Аддитивных подмножествах натуральных чисел

Таласбаева Ж. Т. — О позитивных нумерациях семейств множеств иерархии Ершова

Дегтев А. Н., Сакунова Е. С. — О сводимостях частично-рекурсивных функций

Успенский В.А., Семенов А.Л. — Теория алгоритмов. Основные открытия и приложения

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов

Гончаров С.С., Ершов Ю.Л. — Конструктивные модели

Роберт И. Соар — Вычислимо перечислимые множества и степени

Верещагин Н.К., Шень А. — Лекции по математической логике и теории алгоритмов. Часть 3. Вычислимые функции

Istilah utama

нумерации

семейства

семейство

множества

существует

нумерация

множеств

нумераций

конечных

нумерацию

посредством

некоторого

доказательство

вычислимых

вычислимую

вычислимая

множество

полурешетка

степеней

элементы

вычислимое

нумерациях

оператора

определим

платонов

подходящих

рекурсивно

вычислимой

дискретное

полагаем

следующим

вследствие

вычислимые

перечислимое

подсемейства

противном