Bağış 15 Eylül 2024 – 1 Ekim 2024 Bağış toplama hakkında

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

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

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

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

0 / 0

Bu kitabı ne kadar beğendiniz?

İndirilen dosyanın kalitesi nedir?

Kalitesini değerlendirmek için kitabı indirin

İndirilen dosyaların kalitesi nedir?

Kategoriler:

Mathematics - Logic

Cilt:

Часть 2

Yıl:

1974

Yayımcı:

МИЭМ

Dil:

russian

Sayfalar:

71

Dosya:

DJVU, 894 KB

IPFS:

,

russian, 1974

Online Oku

'e dönüştürme devam ediyor

dosyasına dönüştürme başarısız oldu

İlginizi çekebilir

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Anahtar ifadeler

примитивно

частично

множество

рекурсивна

существует

множества

программа

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

называется

рекурсивных

определена

рекурсивной

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

описание

вычисления

множеств

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

проверить

определение

проекция

значения

операций

построим

вычислима

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

операции

определения

параграфе

получается

рекурсивны

рекурсивные

формулой

арифметики

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

качестве

напомним