VIPBOOK.SU
ЭЛЕКТРОННАЯ БИБЛИОТЕКА






Добро пожаловать на сайт электронной библиотеки!
Здесь можно найти произведения русских и зарубежных авторов.
Скачать множество книг и журналов различных жанров и направлений.
Большой выбор художественной, бизнес, учебной и технической литературы.
Все представленные здесь книги и журналы имеют подробное описание и обложку.
Наша библиотека регулярно пополняется только новыми и интересными материалами!

«Подробнее о сайте»            «Правила сайта»            «Написать нам»            «Статьи»

Ершов Ю.Л. - Определимость и вычислимость

Наука и познание >> Математика





Разместил: Почемучка

12-03-2018, 11:30

Просмотров: 110





Ершов Ю.Л. - Определимость и вычислимость

В книге дается новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами; новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Включены также избранные темы, посвященные Σ-определимости, динамической логике, Σ-предикатам конечных типов.
Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.

Название: Определимость и вычислимость
Автор: Ершов Ю.Л.
Издательство: Научная книга
Год: 1996
Формат: PDF
Страниц: 300
Размер: 22.2 MB
Язык: Русский



Скачать Ершов Ю.Л. - Определимость и вычислимость [1996, PDF]









Похожие публикации

Булос Дж., Джеффри Р. - Вычислимость и логика Булос Дж., Джеффри Р. - Вычислимость и логика
Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы

Гудстейн Р.Л. - Математическая логика (1961) Гудстейн Р.Л. - Математическая логика (1961)
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей.

Унучек С.А. - Математическая логика Унучек С.А. - Математическая логика
В основе настоящего пособия положен курс лекций и практических занятий по математической логике, который на протяжении нескольких лет читается студентам различных факультетов МГТУ МИРЭА. В пособии рассмотрены следующие темы: элементы теории множеств

Ершов Ю.Л. - Теория нумераций Ершов Ю.Л. - Теория нумераций
Книга представляет собой введение в проблематику и методы теории нумераций — развивающегося раздела теории алгоритмов. Насколько известно автору, впервые идею о систематическом изучении нумерованных множеств высказал А. Н. Колмогоров в середине

Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов Лавров И.А., Максимова Л.Л. - Задачи по теории множеств, математической логике и теории алгоритмов
В книге в форме задач систематически изложены основы теории множеств, математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств»,

Вводный курс математической логики Вводный курс математической логики
Вводный курс математической логики — В пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ.

Введение в математическую логику Введение в математическую логику
Введение в математическую логику — В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений.

Верещагин Н. К., Шень А. - Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.) Верещагин Н. К., Шень А. - Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.)
Часть 1. Начала теории множеств Часть 2. Языки и исчисления Часть 3. Вычислимые функции

Математическая логика Математическая логика
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина "Введение в математическую логику" и "Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и




Отзывы и Комментарии





Добавление комментария

Ваше Имя:
Ваш E-Mail:(необязательно)
  • bowtiesmilelaughingblushsmileyrelaxedsmirk
    heart_eyeskissing_heartkissing_closed_eyesflushedrelievedsatisfiedgrin
    winkstuck_out_tongue_winking_eyestuck_out_tongue_closed_eyesgrinningkissingstuck_out_tonguesleeping
    worriedfrowninganguishedopen_mouthgrimacingconfusedhushed
    expressionlessunamusedsweat_smilesweatdisappointed_relievedwearypensive
    disappointedconfoundedfearfulcold_sweatperseverecrysob
    joyastonishedscreamtired_faceangryragetriumph
    sleepyyummasksunglassesdizzy_faceimpsmiling_imp
    neutral_faceno_mouthinnocent

Книги