Элементы математической логики
Название: Элементы математической логики (издание второе, исправленное)
Автор: Новиков П. С.
Издательство: «Наука», Москва
Год: 1973
Страниц: 400
Формат: DJVU
Размер: 6,3
ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
Интенсивное развитие математической логики в последнее время сопровождается увеличением ее роли в математике. Одной из основных задач математической логики остается анализ оснований математики.
Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики. Из ее идей возникло точное определение понятия алгоритма, что позволило решить многие вопросы, которые без этого оставались бы в принципе неразрешимыми. Возникший в математической логике аппарат нашел
приложение в вопросах конструкций вычислительных машин и автоматических устройств.
Со времени выхода в свет первого издания настоящей книги прошло 14 лет. За это время задача ознакомления широкого круга математиков с основами математической логики стала еще более актуальной. В настоящей книге была сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие её основное содержание. Последняя, шестая, глава
носит более специальный характер и уже не является столь элементарной. В ней рассматриваются методы теории доказательства, посредством которых решаются
некоторые вопросы математической логики, возникающие в основном тексте книги.
Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.
Книга не претендует на полноту освещения всех развивающихся в настоящее время важных направлений в математической логике. Некоторые из этих направлений не затронуты вовсе. С разделами математической логики, которые не отражены в настоящей книге, читатель сможет ознакомиться по книгам:
С. К. К л и н и, Введение в метаматематику, ИЛ, 1957.
А. И. Мальцев, Алгоритмы и рекурсивные функции, «Наука», 1965.
А. А. Марков, Теория алгорифмов, Труды Матем. ин-та АН СССР им. В. А. Стеклова, Изд-во АН СССР, 1954.
Э. Мендельсон, Введение в математическую логику, «Наука», 1971.
Скачать с depositfiles.com
Зеркало letitbit.net
Зеркало www.onlinedisk.ru
Зеркало www.ziddu.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12774 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Искусство пения. 24 вокализа для сопрано, меццо-сопрано или тенора
Автор: Г. ПанофкаНазвание: Искусство пения. 24 вокализа для сопрано, меццо-сопрано или тенора Издательство: МузгизГод: 1958Формат: PDFРазмер: 17,8 МВВ сборник "Искусство пения" вошли 24 вокализа Генри . . .
-
Ахвярую сваім «я»... (Максім і Гаўрыла Гарэцкія)
Название: Ахвярую сваім «я»... (Максім і Гаўрыла Гарэцкія) / Пожертвую своим «я» ... (Максим и Гаврила Горецкие)Автор: Гарэцкі РадзімИздательство: Беларуская навукаГод: 1998Формат: pdfЯзык: беларускі . . .
-
Эдельвейс. Вокализы-романсы для голоса в сопровождении фортепиано
Автор: С. Крупа-ШушаринаНазвание: Эдельвейс. Вокализы-романсы для голоса в сопровождении фортепианоИздательство: НГК(А) им. М.И. ГлинкиГод: 2012Формат: PDFРазмер: 2,5 МВСборник "Вокализы-романсы" сост . . .
-
Песни о России. Песни для голоса в сопровождении фортепиано (баяна, гитары)
Автор: С. Туликов Название: Песни о России. Песни для голоса в сопровождении фортепиано (баяна, гитары)Издательство: МузыкаГод: 2002Формат: PDFРазмер: 3,6 МВВ сборник вошли наиболее популярные песни о . . .
-
Новые приемы игры на флейте
Автор: О. ТанцовНазвание: Новые приемы игры на флейтеИздательство: НИЦ "Московская консерватория"Год: 2011Формат: PDFРазмер: 19,5 МВВ настоящем издании впервые на русском языке в систематизированном в . . .
-
Фортепианные произведения для одной левой руки
Автор: Т. ГвинерияНазвание: Фортепианные произведения для одной левой рукиИздательство: МузыкаГод: 1989Формат: PDFРазмер: 4,7 МВВошедшие в сборник произведения, за исключением этюдов К. Сен-Санса, печ . . .
-
Касцюшкі-Сяхновіцкія. Гісторыя старадаўняга роду
Название: Касцюшкі-Сяхновіцкія. Гісторыя старадаўняга роду / Костюшко-Сехновицкие. История старинного родаАвтор: Бензярук АнатольИздательство: АкадемияГод: 2006Формат: pdfЯзык: беларускі / белорусский . . .
-
Монарх и Узник
Название: Монарх и УзникАвтор: Ольга МехтиИздательство: Продюсерский центр Александра ГриценкоГод: 2014Страниц: 96Язык: русскийФормат: pdfРазмер: 5.2 МбАвтор рассказывает о драматических событиях прис . . .
-
Сборник задач по математике
Автор: А. М. Пышкало, Л. П. Стойлова, Н. Н. Лаврова, Н. П. ИрошниковНазвание: Сборник задач по математике: Пособие для педучилищ Издательство: ПросвещениеГод: 1979Страниц: 208Формат: DJVUРазмер: 5,4 . . .
-
Песни Паладина. Вокальный цикл на стихи А. Блока. Для тенора и фортепиано
Автор: Г. ДмитриевНазвание: Песни Паладина. Вокальный цикл на стихи А. Блока. Для тенора и фортепианоИздательство: Русское музыкальное товариществоГод: 2001Формат: PDFРазмер: 4,1 МВВашему вниманию пре . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Элементы математической логики. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.