నిధుల సేకరణ 15 సెప్టెంబర్ 2024 – 1 అక్టోబర్ 2024 నిధులసేకరణ గురించి

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

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

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

Ершов Ю.Л

0 / 0

ఈ పుస్తకం ఎంతగా నచ్చింది?

దింపుకొన్న ఫైల్ నాణ్యత ఏమిటి?

పుస్తక నాణ్యత అంచనా వేయడాలనుకుంటే దీన్ని దింపుకోండి

దింపుకొన్న ఫైళ్ళ నాణ్యత ఏమిటి?

సంవత్సరం:

1977

ప్రచురణకర్త:

Наука

భాష:

russian

పుస్తక శ్రేణి:

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

ఫైల్:

DJVU, 4.29 MB

IPFS:

,

russian, 1977

ఆన్‌లైన్‌లో చదవండి

కి మార్పిడి జరుగుతూ ఉంది.

కి మార్పిడి విఫలమైంది!

మీకు ఆసక్తిగా కనిపించ వచ్చు

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

కీలక పదబంధాలు

множество

множества

существует

рекурсивно

множеств

нумерация

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

отображение

предложение

нумерации

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

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

подобъект

вычислимая

семейства

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

семейство

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

следствие

нумераций

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

рассмотрим

определения

элементов

частично

полагаем

некоторого

предложения

вытекает

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

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

определим

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

утверждение

вычислимые

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

конечных

перечислимо

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

отношение

нумерацию