Элементы математической логики djvu
Название: Элементы математической логики (издание второе, исправленное)
Автор: Новиков П. С.
Издательство: «Наука», Москва
Год: 1973
Страниц: 400
Формат: DJVU
Размер: 6,3
ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
Интенсивное развитие математической логики в последнее время сопровождается увеличением ее роли в математике. Одной из основных задач математической логики остается анализ оснований математики.
Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики. Из ее идей возникло точное определение понятия алгоритма, что позволило решить многие вопросы, которые без этого оставались бы в принципе неразрешимыми. Возникший в математической логике аппарат нашел
приложение в вопросах конструкций вычислительных машин и автоматических устройств.
Со времени выхода в свет первого издания настоящей книги прошло 14 лет. За это время задача ознакомления широкого круга математиков с основами математической логики стала еще более актуальной. В настоящей книге была сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие её основное содержание. Последняя, шестая, глава
носит более специальный характер и уже не является столь элементарной. В ней рассматриваются методы теории доказательства, посредством которых решаются
некоторые вопросы математической логики, возникающие в основном тексте книги.
Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.
Книга не претендует на полноту освещения всех развивающихся в настоящее время важных направлений в математической логике. Некоторые из этих направлений не затронуты вовсе. С разделами математической логики, которые не отражены в настоящей книге, читатель сможет ознакомиться по книгам:
С. К. К л и н и, Введение в метаматематику, ИЛ, 1957.
А. И. Мальцев, Алгоритмы и рекурсивные функции, «Наука», 1965.
А. А. Марков, Теория алгорифмов, Труды Матем. ин-та АН СССР им. В. А. Стеклова, Изд-во АН СССР, 1954.
Э. Мендельсон, Введение в математическую логику, «Наука», 1971.
Скачать с depositfiles.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12768 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Air Forces Monthly №7 1996
Год / месяц: 1996 / 7Издательство: Key PublishingСтраниц: 98Формат: PDF в rar Язык: английскийРазмер: 51.11 МбAirForces Monthly provides the best military aviation news coverage from around the globe . . .
-
Судостроение №3 2009
Название: СудостроениеГод / месяц: 2009 / май-июньНомер: 784Формат: pdfРазмер: 97,5 MBНаучно-технический и производственный журнал о судостроенииdepositfilesturbobithotfile . . .
-
Мировая авиация №41 2009
Издательство: ООО "Де Агостини"Язык: русскийКоличество страниц: 28Формат: pdfРазмер: 20,9 mbЭнциклопедия "Мировая авиация", рассказывает об уникальных фактах в истории мирового авиастроения. Гражданск . . .
-
Flight International 2009-11-03 (Vol 176 No 5213)
Издательство: Reed Business InformationЯзык: EnglishГод издания: 2009 - 11Количество страниц: 56Формат: pdf Размер: 42,5 mbFlight International (or Flight) is a global aerospace weekly publication. Fo . . .
-
Морской сборник №09 2008
Название: Морской сборникГод / месяц: 2008 / сентябрьНомер: 1939Формат: PDFРазмер: 105 MB«Морско́й сбо́рник» — старейший во всем мире ежемесячный журнал по военно-морской теме.depositfilest . . .
-
Air Forces Monthly №3 1999
Год / месяц: 1999 / 3Издательство: Key PublishingСтраниц: 84Формат: PDF в rar Язык: английскийРазмер: 45.12 МбAirForces Monthly provides the best military aviation news coverage from around the globe . . .
-
Air Forces Monthly №9 2004
Год / месяц: 2004 / 9Издательство: Key PublishingСтраниц: 84Формат: PDF в rar Язык: английскийРазмер: 48.58 МбAirForces Monthly provides the best military aviation news coverage from around the globe . . .
-
Сам №1 1993
Название: Сам №1 Автор: коллективСтраниц: 36Формат: DjVuРазмер: 2.17MBКачество: хорошееСодержание:Что нам стоит дом построить!-Садовый «теремок»: быстро, дешево, удобно.-Модуль-гарнитур. -Как сделать . . .
-
Сам №1 1995
Название: Сам №1Автор: коллективИздательство: ТОО "Издательский дом "Гефест"Год: 1995Страниц: 48Формат: Djvu -> rar+3%Размер: 3,6МбКачество: хорошееЯзык: РусскийISSN 0869-7604Журнал домашних мастеров. . . .
-
Maly Modelarz №10 1960
Название: Малый моделяж Автор: Zygmunt GrochowskiИздательство: ВаршаваГод: 1960Страниц: 14Формат: jpeg -> rar+3%Размер: 2,7МбКачество: хорошееЯзык: польскийЖурнал для любителей мастерить из бумаги. Ну . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Элементы математической логики djvu. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.