Гладкий А.В. Математическая логика. М.: Российск. гос. гуманит. ун-т, 1998. 479 с. Логика. Скачать бесплатно.
Книга представляет собой учебное пособие по математической логике, осебенностями которого являются соединение строгости и доступности изложения, достигаемое благодаря отчётливому выделению основных идей и тщательной проработке деталей, и повышенное внимание к гуманитарным аспектам предмета - в частности, к его связям с естественным языком и лингвистикой. Излагаются семантика и сиснтаксис логики предложений и логики предикатов, элементы теории алгоритмов, формальная арифметика(включая теорему Гёделя о неполноте арифметики). Центральное место занимает теория доказательства, излагаемая на основе исчисления есттественного вывода. Книга содержит много задач и упражнений.
Для студентов математических и физико-математических факультетов, факультетов и отделений информатики, теоретической и прикладной лингвистики, искусственного интеллекта.
Название: Гладкий А.В. - Математическая логика.pdf
Размер: 25.18 Мб
Описание: Гладкий А.В. Математическая логика. М.: Российск. гос. гуманит. ун-т, 1998. 479 с.
Ссылка для скачивания файла:
Ключевые слова: математическая логика, логика, учебник скачать бесплатно, логика предикатов, теория алгоритмов, формальная арифметика, теорема Гёделя о неполноте арифметики, теория доказательства, лингвистика |