Текущий раздел » » » Лекции по математической логике и теории алгоритмов. В 3 частях

Лекции по математической логике и теории алгоритмов. В 3 частях

  • Заявить о правах (Abuse)
Автор: ewgeniy-new от 2016-07-24, 10:03:58
Лекции по математической логике и теории алгоритмов. В 3 частяхНазвание: Лекции по математической логике и теории алгоритмов. В 3 частях
Автор: Н.К. Верещагин, А. Шень
Издательство: МЦНМО (Москва)
Год: 1999, 2000
Страниц: 128, 291, 176
Формат: pdf (в rar)
Размер: 13,2 мб
Качество: хорошее (скан 300 dpi, текстовый слой)
Язык: русский

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






BooksKeeper - электронная библиотека, ежедневно пополняемая нашими авторами.
Все материалы, представленные на нашем сайте, Вы сможете скачать по ссылкам различных бесплатных файлообменников совершенно бесплатно!
Инструкции, поясняющие, как надо качать бесплатно с файлообменников смотреть тут
Регистрация на нашем сайте позволит Вам добавлять свои книги, а также комментировать опубликованные книги, общаться с нашими авторами.
Для этого мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.

Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
 


Бесплатная электронная библиотека. Скачать книги бесплатно!
Текущий раздел » » » Лекции по математической логике и теории алгоритмов. В 3 частях

Наша электронная библиотека Bookskeeper.ru - это интернет-витрина, где любой посетитель может публиковать электронные варианты книг, журналов, газет, комиксов, в общем, любой литературы со ссылками для медленного, но бесплатного скачивания с файлообменников.

В нашем книжном хранилище Вы всегда найдете литературу на любой вкус человека любого возраста - от детских комиксов и расскрасок до серьезной научной литературы.