Элементы математической логики
Название: Элементы математической логики (издание второе, исправленное)
Автор: Новиков П. С.
Издательство: «Наука», Москва
Год: 1973
Страниц: 400
Формат: DJVU
Размер: 6,3
ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
Интенсивное развитие математической логики в последнее время сопровождается увеличением ее роли в математике. Одной из основных задач математической логики остается анализ оснований математики.
Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики. Из ее идей возникло точное определение понятия алгоритма, что позволило решить многие вопросы, которые без этого оставались бы в принципе неразрешимыми. Возникший в математической логике аппарат нашел
приложение в вопросах конструкций вычислительных машин и автоматических устройств.
Со времени выхода в свет первого издания настоящей книги прошло 14 лет. За это время задача ознакомления широкого круга математиков с основами математической логики стала еще более актуальной. В настоящей книге была сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие её основное содержание. Последняя, шестая, глава
носит более специальный характер и уже не является столь элементарной. В ней рассматриваются методы теории доказательства, посредством которых решаются
некоторые вопросы математической логики, возникающие в основном тексте книги.
Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.
Книга не претендует на полноту освещения всех развивающихся в настоящее время важных направлений в математической логике. Некоторые из этих направлений не затронуты вовсе. С разделами математической логики, которые не отражены в настоящей книге, читатель сможет ознакомиться по книгам:
С. К. К л и н и, Введение в метаматематику, ИЛ, 1957.
А. И. Мальцев, Алгоритмы и рекурсивные функции, «Наука», 1965.
А. А. Марков, Теория алгорифмов, Труды Матем. ин-та АН СССР им. В. А. Стеклова, Изд-во АН СССР, 1954.
Э. Мендельсон, Введение в математическую логику, «Наука», 1971.
Скачать с depositfiles.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12761 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Покаяние пророков
Автор: Сергей Алексеев Год издания: 2010 Язык: русский Читает: Алексеев-Валуа Александр Время звучания: 18 ч. 42 м. Битрейт: 160 Kbps Размер: 1324,00 Мб Формат: MP3Книга Сергея Алексеева, как и . . .
-
Операция «Шаровая молния»
Автор: Йен Флеминг Год издания: 2008 Издательство: Кобзарь Жанр: боевик Язык: русский Читает: Николай Козий Время звучания: 9 ч. 3 м. Битрейт: 128 Kbps Размер: 300,41 Мб Формат: MP3Сотрудник . . .
-
Кольцо обратного времени
Автор: Снегов Сергей Год издания: 2010 Серия: Люди как боги Издательство: Нигде не купишь Жанр: Фантастика Язык: русский Читает: Концевич Станислав Время звучания: 9 ч. 40 м. Битрейт: 32 Kbps . . .
-
Наследник
Автор: Александр Авраменко Год издания: 2010 Издательство: Лениздат Язык: русский Размер: 3,63 Мб Страниц: 198 Формат: СмешанныйКазалось, что наконец в Галактике воцарился мир. Отбушевали войны, . . .
-
Я не сдаюсь
Автор: Александр Авраменко Год издания: 2010 Издательство: Лениздат Язык: русский Размер: 2,83 Мб Страниц: 179 Формат: СмешанныйНаступит день, когда человечество станет перед дилеммой – жить ему . . .
-
Блокпост
Автор: Владимир Колычев Год издания: 2010 Издательство: ЭКСМО Язык: русский Размер: 4,16 Мб Страниц: 156 Формат: СмешанныйКонец света наступил в точно предсказанный срок. Но оказался совсем не т . . .
-
На чужой войне
Автор: Вячеслав Кумин Год издания: 2010 Издательство: Ленинград Язык: русский Размер: 2,64 Мб Страниц: 187 Формат: СмешанныйКорабль Джерри Доннальдана пересек пространственно-временной континуум . . .
-
Принцесса Диана
Автор: Венди Берри Год издания: 1998 Серия: Серия: Женщина-миф Издательство: Русич Язык: русский Размер: 7,20 Мб Страниц: 304 Формат: RTF ISBN: 5-88590-831-1, 1-56980-057-ХКонституции гарантир . . .
-
Телевидение
Автор: Джакония В.Е., Гоголь А.А., Друзин Я.В. и др. Год издания: 2002 Издательство: Горячая линия-Телеком Язык: русский Размер: 12,00 Мб Страниц: 640 Формат: DJVU ISBN: 5-93517-070-1Излагаются . . .
-
Скандальные намерения
Автор: Сари Робинс Год издания: 2004 Издательство: АСТ Жанр: любовные романы Язык: русский Размер: 1,37 Мб Страниц: 180 Формат: DOCЧто должен сделать настоящий джентльмен, застигнутый в спальне . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Элементы математической логики. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.