Математическая логика из жанра Учебники и пособия - Скачать бесплатно полную версию

Математическая логика

Другие учебники и пособия, Математика

Автор: Гудстейн Рубен Луис

Язык: русский

Год: 1961

Издатель: Издательство иностранной литературы

Город: Москва

Статус: Закончена

Добавил: Admin 28 Май 25

Проверил: Admin 28 Май 25

Формат: DJVU (3761 Kb)

Currently 0/5

Рейтинг: 0/5 (Всего голосов: 0)

Аннотация

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