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