Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.)
Название: Современные лекционные курсы по математической логике и теории алгоритмов в 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. Начала теории множеств
Часть 2. Языки и исчисления
Часть 3. Вычислимые функции
Аннотация:
Часть 1. Начала теории множеств:
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях «наивной теории множеств» (мощности,упорядоченные множества, трансфинитная индукция, ординалы). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории множеств. Книга включаетоколо 150 задач различной трудности. Предыдущее издание книги вышло в 2008 г.
Часть 2. Языки и исчисления:
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказы вается об основных понятиях математической логики (логика высказы ваний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся математической логикой. Книга содержит около 200 задач различной трудности. Предыдущее издание книги вышло в 2008 г.
Часть 3. Вычислимые функции:
Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказы вается об основных понятиях общей теории вычислимых функций (вычислимость, разрешимость, перечислимость, универсальные функции, нумерации и их свойства, m-полнота, теорема о неподвижной точке, арифметическая иерархия, вычисления с оракулом, степени неразрешимости) и о конкретных вычислительных моделях (машины Тьюринга, рекурсивные функции). Изложение рассчитано на учеников математических школ, студентов-математиков и всех интересующихся основами теории алгоритмов. Книга содержит около 100 задач различной трудности. Предыдущее издание книги вышло в 2008 г.
Turbobit.net
File-space.org
Depositfiles.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12843 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Катюша на шасси Studebacker-US6 (Бумажное моделирование №20)
Издательство: "Орел"Страниц:25Размер файла: 48,2 МбФормат: PDF Тип: реактивная система залпового огня Серия: военная техникаСтрана: СССР, 1943 годМасштаб: 1:25Описание: Модель легендарной "Катюши". Мо . . .
-
Многобашенные танки РККА Т-35, СМК, Т-100. [Фронтовая иллюстрация 5-2000]
Об истории создания, производстве, модификациях и боевом применении танков Т-35, СМК, Т-100.Название: Многобашенные танки РККА Т-35, СМК, Т-100;Серия: Фронтовая иллюстрация;Авторы: Коломиец М.В.;Издат . . .
-
Легкий танк Т-30 (Бумажное моделирование №22/07)
Издательство: "Орел"Формат: PDFСтраниц: 13Размер файла: 32,5 Мб Тип: лёгкий танкСерия: Бронетанковая техникаСтрана: СССР, 1940 г.Масштаб: 1:25Описание: Модель плавающего танка Т-30, который серийно вы . . .
-
The Mediterranean and the Mediterranean World in the Age of Philip II, Vol. 1
The focus of Fernand Braudel's great work is the Mediterranean world in the second half of the sixteenth century, but Braudel ranges back in history to the world of Odysseus and forward to our time, m . . .
-
1185 год. Восток - Запад pdf 51,3Мб
Автор: Игорь МожейкоНазвание: 1185 год. Восток - ЗападИздательство: АСТ, АстрельГод издания: 2010Страниц: 644ISBN: 978-5-17-070522-1, 978-5-271-31604-3Серия или выпуск: Историческая библиотекаФормат: . . .
-
Бенедетти Р., Крэнли Р. - Изучаем работу с jQuery
Хотите добавить интерактивности своему интернет-сайту? Узнайте, как jQuery позволит вам создать целый набор скриптов, используя всего несколько строчек кода! С помощью этого издания вы максимально быс . . .
-
Ивлиев Павел - Троянский лабиринт (Аудиокнига)
Похищение прекрасной Елены троянским царевичем Парисом; царь Приам и его пятьдесят сыновей; поединок благородного Гектора и быстроногого Ахиллеса; и, наконец, гибель Трои в результате хитроумного план . . .
-
Другий Зимовий похід. Листопадовий рейд. Базар (1995) djvu djvu 9,6Мб
Название : Другий Зимовий похід. Листопадовий рейд. БазарАвтор : Тимошенко Б. и др.Издательство: Киев: «Фундація ім. О. Ольжича»Год издания : 1995ISBN: 5-7707-7032-5Страниц: 224Формат : djvuРазмер фай . . .
-
Роман Злотников - Генерал-адмирал (серия аудиокниг) 1454,08Мб
Потерять руководящий пост в компании, особенно если ты профессионал в узкой области, - это проблема. Однако Алексею Андреевичу Коржину повезло: ему не только предлагают работу, но и дают возможность в . . .
-
Я хoчy и бyдy знaть aнглийcкий pdf 62Мб
Название: Я хoчy и бyдy знaть aнглийcкийАвтор: Apбeкoвa, T.И., Власова Н.Н., Макарова Г.А.Издательство: ЧеРоГод издания: 2002Страниц: 560ISBN: 5-88711-030-9Язык: Английский, русскийФормат: PDFКачество . . .
![Журнал Многобашенные танки РККА Т-35, СМК, Т-100. [Фронтовая иллюстрация 5-2000]](http://img-fotki.yandex.ru/get/15509/303349754.e42/0_16b873_a23ae637_orig "Журнал Многобашенные танки РККА Т-35, СМК, Т-100. [Фронтовая иллюстрация 5-2000]")
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Современные лекционные курсы по математической логике и теории алгоритмов в 3-х книгах (4-е изд.). Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.