Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.

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

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


Автор:​ Георгий Бронников, 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).


 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

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

По всем вопросам обращайтесь по телефону

+7 (495) 531-00-00 *27254

или пишите на почту

computerscience@hse.ru