• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Контакты

Адрес: 109028, г. Москва, Покровский бульвар, д. 11

Телефон: +7 (495) 531-00-00 *27254

Email: computerscience@hse.ru

 

Руководство
Первый заместитель декана Вознесенская Тамара Васильевна
Заместитель декана по научной работе и международному сотрудничеству Объедков Сергей Александрович
Заместитель декана по учебно-методической работе Самоненко Илья Юрьевич
Заместитель декана по развитию и административно-финансовой работе Плисецкая Ирина Александровна

Неклассические логики


Автор:​ Георгий Бронников, JetBrains

План факультатива

Для кого:​ студенты 3-4 курса бакалавриата, студент 1-2 курса магистратуры, аспиранты

 Время занятий:
18:10 - 19:30 по четвергам
30 января 6, 13, 20, 27 февраля 5, 12, 19 марта 26 марта - резерв/экзамен
ауд. N508

Аннотация:

Курс знакомит с многообразием существующих логических систем. Основное внимание будет уделяться "неклассическим" логикам, тому, как логический способ мышления применяется к решению задач лингвистики, философии и информатики. Курс направлен на студентов ФКН академических программ бакалавриата “Программная инженерия” и “Прикладная математика и информатика”, но может быть интересен и студентам других программ, интересующихся логикой.

Предварительный список тем курса:

  1. Понятие логики. Логика vs риторика. Формальный язык. Семантика. Система вывода. Непротиворечивость. Полнота. На примере исчисления высказываний.

  2. Исчисление предикатов. Типизированное исчисление предикатов. Формальная семантика естественного языка.

  3. Модальные логики. Модальность в естественном языке.

  4. Интуиционизм. Темпоральные логики. Динамическая логика.

  5. Логики, ориентированные на естественный язык. Логика контрафактивных

    условных предложений. Пресуппозиция и импликатура. Постулаты Грайса.

  6. Эпистемическая логика. Динамическая эпистемическая логика. Синтаксическая

    динамическая эпистемическая логика. Логика доказательств.

  7. Субструктурные логики. Линейная логика. Категориальные грамматики.

  8. Логики, ориентированные на доказательство корректности компьютерных

    программ. Системы типов. Логика Хоара. Логика разделения (separation logic).