Лекции о вычислимых функциях

Main
Лекции о вычислимых функциях

Лекции о вычислимых функциях

Успенский В.А.

0 / 0

Sukakah anda buku ini?

Bagaimana kualiti fail ini?

Muat turun buku untuk menilai kualitinya

Bagaimana kualiti fail yang dimuat turun?

Tahun:

1960

Penerbit:

ФМЛ

Bahasa:

russian

Halaman:

493

Fail:

DJVU, 7.39 MB

IPFS:

,

russian, 1960

Baca dalam Talian

Memuat turun (djvu, 7.39 MB)

Penukaran menjadi sedang dijalankan

Penukaran menjadi gagal

Mungkin anda berminat

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

Ф.К. Алиев, И.А. Юров — Курс лекций по математической логике и теории алгоритмов

В. Г. Дурнев, О. В. Зеткина — Дополнительные вопросы теории алгоритмов : учебно-методическое пособие

В. Г. Дурнев, О. В. Зеткина — Дополнительные вопросы теории алгоритмов : учебно-методическое пособие

Натансон И.П. — Теория функций вещественной переменной

Дурнев В.Г., Зеткина О.В. — Дополнительные вопросы теории алгоритмов.

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

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

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

Брудно А.Л. — Теория функций действительного переменного (избранные главы)

Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов

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

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

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

Петер Р.(Peter R.) — Рекурсивные функции

Клини С.К.(Kleene S.C.) — Введение в метаматематику

Натансон И.П. — Теория функций вещественной переменной

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

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

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

Бухараев Н.Р. — Рекурсивные функции. Часть 2

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

Безусова Татьяна Алексеевна — Теория алгоритмов. Основные подходы к формализации алгоритма

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

Коллектив авторов — Элементы математической логики. Алгоритмы и рекурсивные функции

Клементьев, Захар Иванович — Курс лекций по теории функций действительного переменного

Лупанов О.Б. (ред.) — Кибернетический сборник. Новая серия. Выпуск 11

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

Петер Р. (авт.); Успенский В.А. (перевод) — Рекурсивные функции

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

Гудстейн Р.Л. — Рекурсивный математический анализ

Yuri Ivanovich Manin, Юрий Иванович Манин — Лекции по математической логике

Смальян Р. (Смаллиан Р.) — Теория формальных систем

Брудно А.Л. — Теория функций действительного переменного

Натансон И.П. — Теория функций вещественной переменной

Istilah utama

множество

рекурсивно

множества

примитивно

частично

нумерации

существует

множеств

предикат

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

рекурсивной

рекурсивных

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

рекурсивная

рекурсивна

состояние

рекурсивные

определение

замечание

определена

определения

относительно

называется

предиката

рекурсивное

следствие

вычислимых

обозначим

конструктивно

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

перечислимо

соответствие

отображение

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

нумерация