Математическая логика
Гладкий А. В.
Кинга представляет собой учебное пособие по математической логике, особенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчетливому выделению основных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета — в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и синтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика (включая теорему Гёделя о неполноте арифметики). Центральное место занимает теория доказательства, излагаемая на основе исчисления естественного вывода. Книга содержит много задач и упражнений.
Для студентов математических и физико-математических факультетов, факультетов и отделений информатики, теоретической и прикладной лингвистики, искусственного интеллекта.
Для студентов математических и физико-математических факультетов, факультетов и отделений информатики, теоретической и прикладной лингвистики, искусственного интеллекта.
Տարի:
1998
Հրատարակչություն:
РГГУ
Լեզու:
russian
Էջեր:
479
ISBN 10:
5728100252
ISBN 13:
9785728100256
Ֆայլ:
DJVU, 13.60 MB
IPFS:
,
russian, 1998