По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.
Название: Математическая логика
Издатель: Москва: Российский государственный гуманитарный университет
Автор: Гладкий А.В.
Серия: Г52
Год: 1998
Страниц: 478
Формат: Pdf
Язык: Русский
ISBN: 5-7281-0025-2
Размер: 25.9 mb
Качество: среднее
Для сайта:
новость восстановлена
Книга представляет собой учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основновных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и синтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика (включая теорему Гёделя о неполноте арифметики) Центральное место занимает теория доказательства, излагаемая на основе исчисления естественного вывода. Книга содержит много задач и упражнений
Купить бумажную книгу или электронную версию книги и скачать