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

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

Name: Математическая логика
Rating: 5.0 (4 reviews)
ISBN: 5-7281-0025-2

Гладкий А.В.

5.0 / 5.0

0 comments

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

Request Code : ZLIBIO1512811

Categories:

Year:

1998

Publisher:

Российский государственный гуманитарный университет

Language:

Russian

ISBN 13:

5-7281-0025-2

ISBN:

5-7281-0025-2