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

Main
Mathematics - Logic
Лекции по математической логике

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

Yuri Ivanovich Manin, Юрий Иванович Манин

0 / 0

آپ کو یہ کتاب کتنی پسند ہے؟

فائل کی کوالٹی کیا ہے؟

کوالٹی کا جائزہ لینے کے لیے کتاب ڈاؤن لوڈ کریں

فائل کی کوالٹی کیا ہے؟

سب زمرہ:

Mathematics - Logic

جلد:

Часть 2

سال:

1974

ناشر کتب:

МИЭМ

زبان:

russian

صفحات:

71

فائل:

DJVU, 894 KB

IPFS:

,

russian, 1974

آن لائن پڑھیں

میں تبدیلی جاری ہے۔

میں تبدیلی ناکام ہو گئی۔

آپ کو دلچسپی ہوسکتی ہے

Коротков М.А., Степанов Е.О. — Основы теории алгоритмов

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

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

Стейн И. — Сингулярные интегралы и дифференциальные свойства функций

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

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

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

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

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

Гелбаум Б., Олмстед Дж.(Gelbaum B.R., Olmsted J.M.H.) — Контрпримеры в анализе

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

Успенский В.А. — Теорема Гёделя о неполноте

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

Вулих Б. З. — Краткий курс теории функций вещественной переменной (введение в теорию интеграла) (1973)(изд. 2-e, п

Стейн И.М. — Сингулярные интегралы и дифференциальные свойства функций

Бернард Р. Гелбаум, Джон М. Олмстед — Контрпримеры в анализе

Стейн И.М. — Сингулярные интегралы и дифференциальные свойства функций

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и теории множеств

Беклемишев Л.Д. и др. — Обязательный спецкурс кафедры математической логики и теории алгоритмов.

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

Михайлов А.И. (ред.) — Исследования по неклассическим логикам и теории множеств

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

Смирнов В.И. — Курс высшей математики.

Бояринцева Т.Е., Золотова Н.В., Исмагилов Р.С. — Математическая логика и теория алгоритмов: метод. указания к выполнению типового расчета

Манин Ю.И. — Доказуемое и недоказуемое

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

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

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

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

Вулих Б.З. — Краткий курс теории функций вещественной переменной

Гелбаум Б., Дж.Олмстед. — Контрпримеры в анализе

Стейн И., Вейс Г. (E.M.Stein,G.Weiss) — Введение в гармонический анализ на евклидовых пространствах

Манин Ю.И., Фоменко А.Т., Владимиров В.С., Маслов В.П., и др. — Современные проблемы математики

Коротков М.А., Степанов Е.О. — Основы теории алгоритмов

Успенский В.А. — Теорема Гёделя о неполноте

اہم جملے

примитивно

частично

множество

рекурсивна

существует

множества

программа

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

называется

рекурсивных

определена

рекурсивной

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

описание

вычисления

множеств

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

проверить

определение

проекция

значения

операций

построим

вычислима

интерпретации

операции

определения

параграфе

получается

рекурсивны

рекурсивные

формулой

арифметики

вычислимость

качестве

напомним