| |
|
Автор: Гладкий А.В.
Издательство: РГГУ
Год издания: 1998
isbn: 5-7281-0025-2
Количество страниц: 479
Язык: русский
Формат: PDF (scan)
Размер: 40 Мб
Каталожный номер: 94274
|
Книга представляет собой учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и синтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика (включая теорему Геделя о неполноте арифметики). Центральное место занимает теория доказательства, излагаемая на основе исчисления естественного вывода. В книге дано новое изложение аристотелевской силлогистике, с учетом достижений современной лингвистической семантики. Книга содержит много задач и упражнений.
Для студентов математических и физико-математических факультетов, факультетов и отделений информатики, теоретической и прикладной лингвистики, искусственного интеллекта.
Книга в форматах DJVU и PDF.
Ключевые теги: математика, логика |
|
ПОСТУПЛЕНИЯ
РУБРИКАТОР
Комментарии (0)