Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982
Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982.
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
«Справочник по математической логике» является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда тем. мы отобрали те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике.
Математическая логика традиционно подразделяется на четыре раздела; теория моделей, теория множеств, теория рекурсии и теория доказательств. При составлении книги за неимением лучшего мы следовали традиционному делению. Это делает расстановку глав, связанных с разными разделами логики, непростой задачей, так что данную расстановку не следует рассматривать как бесспорную. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в которых рассматриваются более специальные вопросы, а также приложения математической логики. Каждая глава написана для тех, кто не является специалистом в данной области. С другой стороны, каждая глава рассчитана на своих собственных читателей, которые меняются от гла-вы к главе. В частности, имеются главы, предназначенные для того, чтобы познакомить работающих в одних областях математической логики с достижениями в других областях.
Мы надеемся, что многие математики приобретут эту книгу из чистого любопытства и перелистают ее, чтобы получить удовольствие (или неудовольствие) от того, что происходит в другой области математики. Трудно представить себе математика, который, потратив десять минут на это, не захотел бы более подробно просмотреть несколько глав и вводных параграфов к другим главам. Это обстоятельство, не представившееся раньше, послужило поводом для написания настоящего справочника.
СОДЕРЖАНИЕ
§ 1. Предисловие
§ 2. Что и как можно выразить в логике первого порядка
§ 3. Формализация логики первого порядка
§ 4. Теорема о полноте
§ 5. За пределами логики первого порядка
Литература
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12936 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Вырезаем отверстия в плитке болгаркой
Название: Вырезаем отверстия в плитке болгаркой Автор: Коллектив Издательство: Россия Год издания: 2015 Язык: Русский Формат: Mp4 Качество: отличное Размер: 166,11 МбОписание: При вырезании отверсти . . .
-
Лучшие вязаные модели. Спецвыпуск от "Вяжем сами" №4 2015
Название: Лучшие вязаные модели. Спецвыпуск от "Вяжем сами" №4 2015 Автор: Коллектив авторов Страниц: 66 Язык: Русский Формат: pdf Размер: 24 Мб Описание: Вяжем сами - журнал по вязанию спицами и крю . . .
-
Писатель и деньги
Название: Писатель и деньги Автор: Александр Молчанов Издательство: Издательские решения Год издания: 2015 Страниц: 130 Язык: Русский Формат: rtf, epub Размер: 1.1 МбОписание: Эта книга складывалась . . .
-
Глопарт пираты - Денежная машина онлайн
Название: Глопарт пираты - Денежная машина онлайн Автор: Михаил Гнедко Издательство: Россия Год издания: 2015 Язык: Русский Формат: MP4 Качество: отличное Размер: 4700 МбОписание: Зачем пытаться зар . . .
-
Самое главное в PR
Название: Самое главное в PR Автор: Уоррен Аги Издательство: Питер Год издания: 2004 Страниц: 560 Язык: Русский Формат: fb2 Размер: 1.1 МбОписание: Читателю предлагается прекрасное руководство, посв . . .
-
Геометрические места в пространстве и задачи на построение
Название: Геометрические места в пространстве и задачи на построение Автор: Наумович Н.В. Издательство: М.: Учпедгиз ISBN: - Год издания: 1962 Страниц: 153 Язык: Русский Формат: djvu Качество: хорош . . .
-
Автомагнитола не читает флешку
Название: Автомагнитола не читает флешку Автор: Коллектив Издательство: Россия Год издания: 2015 Язык: Русский Формат: Mp4 Качество: отличное Размер: 526,07 МбОписание: Проблема, когда магнитола не . . .
-
Дональд Трамп (8 книг)
Название: Дональд Трамп (8 книг) Автор: Сборник Издательство: Разные Год издания: 2010-2015 Язык: Русский Формат: fb2, djvu Качество: отличное Размер: 26,3 МбОписание: Буржуй Дональд Трамп учит бедн . . .
-
Изготовление лобзикового станка. Работа на лобзиковом станке
Название: Изготовление лобзикового станка. Работа на лобзиковом станке Автор: Александр Климов Издательство: Россия Год издания: 2015 Язык: Русский Формат: MP4 Качество: отличное Размер: 14100 МбОпи . . .
-
Stitched Gifts: 25 Sweet and Simple Embroidery Projects for Every Occasion
Название: Stitched Gifts: 25 Sweet and Simple Embroidery Projects for Every Occasion Автор: Jessica Marquez Издательство: Chronicle Books ISBN: н/о Год издания: 2012 Страниц: 141 Язык: Английский Фо . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.