Литмир - Электронная Библиотека
Математическая логика
Добавить похожую книгу
Математическая логика
Книга закончена
Язык книги: Русский
Издатель: Издательство иностранной литературы
Город печати: Москва
Год печати: 1961
Выберите формат скачивания:
QR кодРазмер: 3,9 МбайтДобавлено 12 мая 2025, 17:57

    Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Брошюра Гудстейна может служить кратким введением в математическую логику. От других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Гёделя о полноте исчисления предикатов и неполноте арифметики. Брошюра предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования. Русский перевод снабжен примечаниями, в основном преследующими цель облегчить понимание более трудных мест текста.

    Поделиться:
    ]]>Facebook :0]]>  ]]>Twitter :0]]>  ]]>В контакте :0]]>  ]]>Livejournal :1]]>  ]]>Мой мир :0]]>  ]]>Gmail :0]]>  Email :0  ]]>Скачать :0]]>  
    Мой статус книги:
    Чтобы оставить свою оценку и отзывы вам нужно зайти на сайт или зарегистрироваться

    {"b":"943827","o":30}