Определимость и вычислимость

Main
Mathematics
Определимость и вычислимость

Определимость и вычислимость

Ершов Ю.Л.

0 / 0

كم أعجبك هذا الكتاب؟

ما هي جودة الملف الذي تم تنزيله؟

قم بتنزيل الكتاب لتقييم الجودة

ما هي جودة الملفات التي تم تنزيلها؟

الفئات:

عام:

1996

الناشر:

Springer

اللغة:

russian

الصفحات:

301

ISBN 10:

5881190076

ISBN 13:

9785881190071

ملف:

DJVU, 2.62 MB

IPFS:

,

russian, 1996

إقرأ علي الإنترنت

جاري التحويل إلى

التحويل إلى باء بالفشل

قد تكون في قائمة إهتماماتك

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

Кейслер Г., Чэн Ч.Ч. — Теория моделей

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

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

Гладкий А.В. — Математическая логика

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

Гордон Е.И. — Лекции по математической логике и теории алгоритмов. Часть 1

Постников Μ. Μ. — Лекции по геометрии. Семестр III. Гладкие многообразия: Учеб, пособие для вузов

Мендельсон Эллиот — Введение в математическую логику

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

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

Мендельсон Эллиот — Введение в математическую логику

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

Мендельсон Э. (Mendelson E.) — Введение в математическую логику

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

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

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

Глухов М.М., Шишков А.Б. — Математическая логика. Дискретные функции. Теория алгоритмов

Просолупов Е.В. — Конспект курса: Основы дискретной математики

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

Соловьева Ф.И. — Дискретная математика. Часть 1

Дудаков С.М. — Основы теории моделей

Замятин А.П. — Математическая логика и теория алгоритмов

Дудаков С.М — Основы теории моделей

Плиско В.Е. — Математическая логика. Курс лекций

Постников М. — Лекции по геометрии. Семестр 3. Гладкие многообразия

Мощенский В.А. — Лекции по математической логике

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

Пузаренко В.Г. — О вычислимости над моделями разрешимых теорий

Гончаров С.С. — Лекции по Математической логике, часть 2

Ю.Л. Ершов, Е.А. Палютин — Математическая логика

Стенюшкина В.А. — Математическая логика и теория алгоритмов: Учебное пособие

Фелпс Р. (Phelps) — Лекции о теоремах Шоке

Лупанов О.Б. (ред.) — Математические вопросы кибернетики. Выпуск 08

С. В. Судоплатов, Е. В. Овчинникова — Элементы дискретной математики. Учебник

أكثر المصطلحات والعبارات المستخدمة

сигнатуры

существует

множество

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

предложение

множества

предикат

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

определения

называется

определимость

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

допустимых

утверждение

предложения

определим

отношение

замечание

ограниченности

отображение

рассмотрим

являются

следующее

избранные

формулой

множествах

предикаты

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

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

существуют

множеств

семейство

функцией

полагаем

допустимое