Главная / Студентам / Каталог курсов / Прикладная логика: рассуждения, доказательства, опровержения

Прикладная логика: рассуждения, доказательства, опровержения

С одной стороны, этот курс можно рассматривать как посвященный искусству рассуждать, доказывать и опровергать, с другой – как основополагающий для более глубоких математических занятий. Курс включает в себя рассмотрение как классической (аристотелевской) логики, так и различных неклассических систем. Слушатель курса овладеет различными способами доказательств и опровержений утверждений, получит представление о современном взгляде на доказуемость и непротиворечивость, овладеет различными методами формальной записи рассуждений. Курс будет полезен всем, кто рассуждает и – особенно – рассуждает о рассуждениях. Рекомендуется студентам естественнонаучных, лингвистических, философских и когнитивистских направлений.

Кредиты: 6/3

Шифр: CMSC_E_204


Профиль подготовки Компьютерные науки и искусственный интеллект

Читается в текущем семестре: Да

Выполняет требования широты образования: Нет

тип курса: Курс по выбору

Язык: Русский