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

Описание

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

Рейтинг издания

Нет оценки

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

Автор: 
Гудстейн Р.Л.
Издатель: 
URSS
Серия: 
Физико-математическое наследие.
Переплет: 
мягкая обложка
Страниц: 
160
Год издания: 
2010
Категория: 
Математическая логика: учебники и книги

Интернет-магазины

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

Купить

Похожие издания:


Математика и логика

Математика и логика
Критическому разбору идей «логицизма» - направления, ставящего целью обосновать математику сведением ее исходных понятий к понятиям логики, - выдающийся французский математик и философ А.

Введение в метаматематику. Математическая логика и рекурсивные функции

Введение в метаматематику. Математическая логика и рекурсивные функции
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций.

Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6

Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6
Книга посвящена основаниям математики, проблемам вычислимости и доказуемости.

Логика и логическая семантика. Выпуск №15

Логика и логическая семантика. Выпуск №15
Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге (1848-1925), труды которог

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

Математическая логика и теория алгоритмов
Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов.

Логика и философия математики

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