Основания математики. Математическая логика

Список источников >Нехудожественная литература >Научная и техническая литература >Естественные науки >Физико-математические науки >Математика >Основания математики. Математическая логика >

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

Автор: Гудстейн Р. Л.
Год: 1961
Издание: Издательство иностранной литературы
Страниц: 164
ISBN: [не указан]
Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц прикладных специальностей. Брошюра Гудстейна может служить кратким введением в математическую логику. От других книг по логике, имеющихся на русском языке, она выгодно отличается тем, что при небольшом объеме в ней излагаются все основные вопросы, включая знаменитые теоремы Геделя о полноте исчисления предикатов и неполноте арифметики. Брошюра предназначается для студентов старших курсов математических факультетов и лиц прикладных специальностей, занимающихся машинной математикой. Она может быть полезна также преподавателям математики и логики в вузах и, кроме того, может быть использована для самообразования. Русский перевод снабжен примечаниями, в основном преследующими цель облегчить понимание более трудных мест текста.
Добавлено: 2017-05-26 12:36:01

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2017, Список Литературы