Электронная библиотека

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






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

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

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

Математика >> Учебные пособия





Разместил: xessin1

13-10-2013, 23:20

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





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


Часть 1. Начала теории множеств
Часть 2. Языки и исчисления
Часть 3. Вычислимые функции


Аннотация:

Часть 1. Начала теории множеств:
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности,упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включаетоколо 150 задач различной трудности. Предыдущее издание книги вышло в 2008 г.

Часть 2. Языки и исчисления:
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказы вается об основных понятиях математической логики (логика высказы ваний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2008 г.

Часть 3. Вычислимые функции:
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказы вается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности. Предыдущее издание книги вышло в 2008 г.


Название: Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.)
Автор: Верещагин Н. К., Шень А.
Год издания: 2012
Издательство: МЦНМО
ISBN: 978-5-4439-0012-4, 978-5-4439-0013-1, 978-5-4439-0014-8
Страниц: 512
Формат: PDF
Размер: 3,1 Мб (+3%)










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

Теория алгоритмов Теория алгоритмов
Теория алгоритмов - В учебном пособии изложены основы качественной и количественной теории алгоритмов; рассмотрены основные модели вычислений (машины Тьюринга, машины с неограниченными регистрами, рекурсивные функции) и связанные с ними подходы к

Машины Тьюринга и рекурсивные функции Машины Тьюринга и рекурсивные функции
Этот коллективный труд немецких математиков содержит элементарное изложение теории машин Тьюринга и рекурсивных функций - важного раздела современной математической логики, нашедшего широкое применение в кибернетике. Помимо основ этой теории, книга

Алексеев Г. В. - Классические методы математической физики. Часть 1 Алексеев Г. В. - Классические методы математической физики. Часть 1
Настоящая книга представляет собой первую часть учебного пособия по класическим методам математической физики, подготовленное автором для студентов физико-математических специальностей высших учебных заведений. В нем выводятся дифференциальные

Алексеев Г. В. - Классические методы математической физики. Часть 2 Алексеев Г. В. - Классические методы математической физики. Часть 2
Настоящая книга представляет собой вторую часть учебного пособия по класическим методам математической физики, подготовленное автором для студентов физико-математических специальностей высших учебных заведений. В нем выводятся дифференциальные

Письменный Д. Т. - Конспект лекций по теории вероятностей, математической статистике и случайным процессам. 3-е издание Письменный Д. Т. - Конспект лекций по теории вероятностей, математической статистике и случайным процессам. 3-е издание
Настоящая книга представляет собой курс лекций по теории вероятностей, случайным процессам и математической статистике. Первая часть книги содержит основные понятия и теоремы теории вероятностей, такие как случайные события, вероятность, случайные

Интеграл Лебега Интеграл Лебега
Настоящая книга рассчитана на довольно широкий круг читателей математиков — студентов университета и преподавателей, студентов технических вузов и инженеров. Развитие классической теории интегрирования и прикладных математических и физических теорий

Математическая логика Математическая логика
В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория

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

Пензов Ю.П. - Элементы математической логики и теории множеств (учебник) Пензов Ю.П. - Элементы математической логики и теории множеств (учебник)
Описание: Настоящая книга является обработкой лекций, которые автор читал в Саратовском университете в 1962-66 гг. В параграфе 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

Книги




Союз образовательных сайтов