Текущая (осень 2014) версия этого курса здесь

Логика:
Техника рассуждений

Кафедра ПКИ и ИТ - перспективных компьютерных исследований и информационных технологий, Институт "ЮрИнфоР-МГУ"

Предварительной подготовки не требуется.
Изложение носит замкнутый характер: Логика (весна 2002), Логика (осень 2002), Логика (весна 2003)  

Профессор: Вячеслав Эрнстович Вольфенгаген

Описание курса 
Программа курса
Что читать/Ссылки
Материал курса
Проекты по курсу
Студенты
Семинары
Помощь в изучении


 
Аннотация

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

Логика оказывается междисциплинарным предметом. Следовательно, это продвинутый курс, включающий темы из Интернет/WWW, управления базами данных, информационных систем, информационного поиска и искусственного интеллекта.

Для получения более широкого представления о курсе используйте ссылки слева, отмеченные как Описание и Что читать. Ссылки Материал курса и Студенты содержат презентации и сведения о выполняемых проектах.