Теория нумераций

Main
Теория нумераций

Теория нумераций

Ершов Ю.Л

0 / 0

Bu kitabı nə dərəcədə bəyəndiniz?

Yüklənmiş faylın keyfiyyəti necədir?

Kitabın keyfiyyətini qiymətləndirə bilmək üçün onu yükləyin

Yüklənmiş faylların keyfiyyəti necədir?

İl:

1977

Nəşriyyat:

Наука

Dil:

russian

Seriyalar:

Математическая логика и основания математики

Fayl:

DJVU, 4.29 MB

IPFS:

,

russian, 1977

Yüklə (djvu, 4.29 MB)

formatına konvertasiya yerinə yetirilir

formatına konvertasiya baş tutmadı

Bəlkə Sizə maraqlıdır

Габриель П., Цисман М. — Категории частных и теория гомотопий

Скорняков Л. А. — Элементы теории структур

Yuri Ivanovich Manin, Юрий Иванович Манин — Вычислимое и невычислимое

Заманский М. — Введение в современную алгебру и анализ

Шамин Роман Вячеславович — Функциональный анализ от нуля до единицы

Мальцев А. И. — Алгоритмы и рекурсивные функции

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

Невё Ж.(Neveu J.) — Математические основы теории вероятностей

Кон П. (Cohn P.M.) — Универсальная алгебра

Мартиросян Р. М. — Дополнительные главы математического анализа

Партасарати К. — Введение в теорию вероятностей и теорию меры

Бертсекас Д., Шрив С. — Стохастическое оптимальное управление: случай дискретного времени

— Представления и квадратичные формы

Заманский М. — Введение в современную алгебру и анализ

Заманский М. — Введение в современную алгебру и анализ

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

Марат М. Арсланов — Иерархия Ершова. Спецкурс для студентов мехмата

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

Иванов А.О., Тужилин А.А. — Метрическая геометрия и геометрическая теория графов.

Роджерс Х. (авт.); Душский В.А., Канович М.И., Ногина Е.Ю. (перевод с англ.); Успенский В.А. (ред.) — Теория рекурсивных функций и эффективная вычислимость

Невё Ж.(Neveu J.) — Математические основы теории вероятностей

П. Мартин-Лёф — Очерки по конструктивной математике

Бертсекас Д., Шрив С. — Стохастическое оптимальное управление: случай дискретного времени

Бертсекас Д., Шрив С. — Стохастическое оптимальное управление: случай дискретного времени. Stochastic Optimal Control. The Discrete Time Case.

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

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

Федорчук В.В. — Лекции по введению в топологию

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

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

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

Мальцев А.И. — Избранные труды, в 2-х томах

Салий В.Н. (отв. ред.) — Упорядоченные множества и решетки. Выпуск 8. Некоторые алгебраические приложения теории решеток

Скорняков Л. — Элементы теории структур

Скорняков Л.А. — Элементы общей алгебры

Джонстон П.Т. (Johnstone) — Теория топосов

Açar ifadələr

множество

множества

существует

рекурсивно

множеств

нумерация

следовательно

отображение

предложение

нумерации

нумерованное

последовательность

подобъект

вычислимая

семейства

перечислимых

семейство

нумерованного

следствие

нумераций

нумерованных

рассмотрим

определения

элементов

частично

полагаем

некоторого

предложения

вытекает

эквивалентности

подмножество

определим

нумерованные

утверждение

вычислимые

эквивалентность

конечных

перечислимо

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

отношение

нумерацию