Элементы математической логики djvu


Книга Элементы математической логики djvu


Название: Элементы математической логики (издание второе, исправленное)
Автор: Новиков П. С.
Издательство: «Наука», Москва
Год: 1973
Страниц: 400
Формат: DJVU
Размер: 6,3
ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
Интенсивное развитие математической логики в последнее время сопровождается увеличением ее роли в математике. Одной из основных задач математической логики остается анализ оснований математики.
Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики. Из ее идей возникло точное определение понятия алгоритма, что позволило решить многие вопросы, которые без этого оставались бы в принципе неразрешимыми. Возникший в математической логике аппарат нашел
приложение в вопросах конструкций вычислительных машин и автоматических устройств.
Со времени выхода в свет первого издания настоящей книги прошло 14 лет. За это время задача ознакомления широкого круга математиков с основами математической логики стала еще более актуальной. В настоящей книге была сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие её основное содержание. Последняя, шестая, глава
носит более специальный характер и уже не является столь элементарной. В ней рассматриваются методы теории доказательства, посредством которых решаются
некоторые вопросы математической логики, возникающие в основном тексте книги.
Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.
Книга не претендует на полноту освещения всех развивающихся в настоящее время важных направлений в математической логике. Некоторые из этих направлений не затронуты вовсе. С разделами математической логики, которые не отражены в настоящей книге, читатель сможет ознакомиться по книгам:
С. К. К л и н и, Введение в метаматематику, ИЛ, 1957.
А. И. Мальцев, Алгоритмы и рекурсивные функции, «Наука», 1965.
А. А. Марков, Теория алгорифмов, Труды Матем. ин-та АН СССР им. В. А. Стеклова, Изд-во АН СССР, 1954.
Э. Мендельсон, Введение в математическую логику, «Наука», 1971.
Скачать с depositfiles.com

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12768 раз



Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Журнал Air Forces Monthly №7  1996

    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

    Судостроение №3 2009

    Название: СудостроениеГод / месяц: 2009 / май-июньНомер: 784Формат: pdfРазмер: 97,5 MBНаучно-технический и производственный журнал о судостроенииdepositfilesturbobithotfile . . .

  • Журнал Мировая авиация №41 2009

    Мировая авиация №41 2009

    Издательство: ООО "Де Агостини"Язык: русскийКоличество страниц: 28Формат: pdfРазмер: 20,9 mbЭнциклопедия "Мировая авиация", рассказывает об уникальных фактах в истории мирового авиастроения. Гражданск . . .

  • Журнал Flight International 2009-11-03 (Vol 176 No 5213)

    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

    Морской сборник №09 2008

    Название: Морской сборникГод / месяц: 2008 / сентябрьНомер: 1939Формат: PDFРазмер: 105 MB«Морско́й сбо́рник» — старейший во всем мире ежемесячный журнал по военно-морской теме.depositfilest . . .

  • Журнал Air Forces Monthly №3  1999

    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

    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 1993

    Название: Сам №1 Автор: коллективСтраниц: 36Формат: DjVuРазмер: 2.17MBКачество: хорошееСодержание:Что нам стоит дом построить!-Садовый «теремок»: быстро, дешево, удобно.-Модуль-гарнитур. -Как сделать . . .

  • Журнал Сам №1 1995

    Сам №1 1995

    Название: Сам №1Автор: коллективИздательство: ТОО "Издательский дом "Гефест"Год: 1995Страниц: 48Формат: Djvu -> rar+3%Размер: 3,6МбКачество: хорошееЯзык: РусскийISSN 0869-7604Журнал домашних мастеров. . . .

  • Журнал Maly Modelarz №10 1960

    Maly Modelarz №10 1960

    Название: Малый моделяж Автор: Zygmunt GrochowskiИздательство: ВаршаваГод: 1960Страниц: 14Формат: jpeg -> rar+3%Размер: 2,7МбКачество: хорошееЯзык: польскийЖурнал для любителей мастерить из бумаги. Ну . . .


Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Отзывы читателей


Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Элементы математической логики djvu. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.