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

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

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

Ключові фрази

сигнатуры

существует

множество

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

предложение

множества

предикат

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

определения

называется

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

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

допустимых

утверждение

предложения

определим

отношение

замечание

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

отображение

рассмотрим

являются

следующее

избранные

формулой

множествах

предикаты

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

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

существуют

множеств

семейство

функцией

полагаем

допустимое