Can I read Элементы математической логики on EtoBox?

Элементы математической логики by Новиков П. С. is a nonfiction available to read on EtoBox.

What is Элементы математической логики about?

ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ Интенсивное развитие математической логики в последнее время сопровождается увеличением ее роли в математике. Одной из основных задач математической логики остается анализ оснований математики.Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики. Из ее идей возникло точное определение понятия алгоритма, что позволило решить многие вопросы, которые без этого оставались бы в принципе неразрешимыми. Возникший в математической логике аппарат нашелприложение в вопросах конструкций вычислительных машин и автоматических устройств. Со времени выхода в свет первого издания настоящей книги прошло 14 лет. За это время задача ознакомления широкого круга математиков с основами математической логики стала еще более актуальной. В настоящей книге была сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие её основное содержание. Последняя, шестая, глава носит более специальный характер и уже не является столь элементарной. В ней рассматриваются методы теории доказательства, посредством которых решаютсянекоторые вопрос

Who reads Элементы математической логики?

Author

Новиков П. С.

Publisher

Наука

Published

1973

Language

RU

Category

nonfiction

Subjects

Mathematics, Stem