RUSSIAN

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

By Гладкий А.В.

Book information

Publisher
Российский государственный гуманитарный университет
Year
1998
ISBN
5-7281-0025-2
Language
russian
Format
PDF
Filesize
26 MB (27207834 bytes)
Pages
\478
Time added
2016-06-07 12:42:37

Description

Книга представляет собой учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основновных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и синтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика (включая теорему Гёделя о неполноте арифметики) Центральное место занимает теория доказательства, излагаемая на основе исчисления естественного вывода. Книга содержит много задач и упражнений

Similar books