Верещагин Н.К., Шень А. - Лекции по математической логике и теории алгоритмов (в 3-х частях) [1999-2000, DjVu, RUS]

Страницы:  1
Ответить
 

B62

VIP (Заслуженный)

Стаж: 16 лет 3 месяца

Сообщений: 4628

B62 · 11-Авг-10 10:33 (14 лет 11 месяцев назад)

Лекции по математической логике и теории алгоритмов (в 3-х частях)
Год: 1999-2000
Автор: Верещагин Н.К., Шень А.
Жанр: Учебное пособие для вузов
Издательство: М.: МЦНМО
ISBN: 5-900916-36-7, 5-900916-39-1, 5-900916-39-1
Язык: Русский
Формат: DjVu
Качество: Отсканированные страницы
Количество страниц: 124+291+177
Описание: Часть 1. Начала теории множеств
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности, упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включает в себя около 150 задач различной трудности.
Часть 2. Языки и исчисления.
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей).
Часть 3. Вычислимые функции
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга включает себя около 90 задач различной трудности.
Тексты, составляющие книги, являются свободно распространяемыми.
Примеры страниц
Часть 1.
Часть 2.
Часть 3.
Оглавление
Часть 1.
Часть 2.
Часть 3.

Опубликовано группой
Download
Rutracker.org не распространяет и не хранит электронные версии произведений, а лишь предоставляет доступ к создаваемому пользователями каталогу ссылок на торрент-файлы, которые содержат только списки хеш-сумм
Как скачивать? (для скачивания .torrent файлов необходима регистрация)
[Профиль]  [ЛС] 

GangsterVano

Стаж: 16 лет 4 месяца

Сообщений: 8


GangsterVano · 25-Янв-13 13:39 (спустя 2 года 5 месяцев)

Помню пытался скачать эту книгу с сайта автора, а там ftp.
В универе ftp не работает. Дома интернета нет. Я приклеил прокси к firefox и скачал
А теперь они и нат орентах есть
Ещё очень хорошая книшка Столбоушкина и Тайцлина.
[Профиль]  [ЛС] 

Basil Peace

Стаж: 16 лет 2 месяца

Сообщений: 32

Basil Peace · 05-Сен-13 15:08 (спустя 7 месяцев)

4-е издание 2012 года (исправленное) есть в открытом доступе на сайте МНЦМО, pdf и оригинал в TeX. Не через ftp.
[Профиль]  [ЛС] 

Таши Тьма

Стаж: 14 лет 8 месяцев

Сообщений: 2

Таши Тьма · 24-Мар-15 20:45 (спустя 1 год 6 месяцев)

Ох, спасибо))) нужны для подготовки в магистратуру, а в библиотеке университета только один экземпляр. Выручили)))
[Профиль]  [ЛС] 
 
Ответить
Loading...
Error