Mathematical Logic

«Математическая логика» — классический учебник от Стивена Коула Клини для студентов математики и информатики

Полный текст описания

Математическая логика (Mathematical Logic)

Автор Стивен Коул Клини — один из крупнейших логиков XX века, создатель теории рекурсивных функций, ученик Алонзо Черча. Его учебник «Математическая логика» стал эталонным пособием для студентов бакалавриата без предварительной подготовки к формальной логике. Книга вышла в 1967 году и до сих пор используется в университетах всего мира как базовый курс.

Текст разделён на две крупные части:

Часть I посвящена элементарной первой порядковой логике. Автор последовательно разбирает семантику (таблицы истинности), доказательную теорию Гильберта и вывод по правилам, объясняет основы модели теории простым, строгим языком без перегрузки терминами.

Часть II углубляется в продвинутые достижения логики XX века: формальная теория чисел, теоремы Гёделя о неполноте, результаты Черча и Тьюринга о неразрешимости, теорема полноты Гёделя, парадокс Сколема, нестандартные модели арифметики и теоремы Гентцена.

Ключевые темы издания:

- Исчисление высказываний и предикатов

- Модельная теория и формальные доказательства

- Теория рекурсивных функций

- Теоремы неполноты Гёделя

- Проблемы разрешимости, интуиционистская логика

- Применение логики в информатике и теоретической математике

Отличительная черта книги Клини — баланс строгости и доступности. Автор не предполагает глубоких знаний высшей математики на старте, постепенно усложняя материал. Издание подходит студентам математических факультетов, программистам, специалистам по ИИ, всем, кто изучает основы формальной логики и теории вычислений. Это обязательная литература для освоения фундамента современной теоретической информатики.