NonClassicalLogics — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Примерный список тем: Слайды к Лекции 6.)
(Автор и лектор курса)
Строка 52: Строка 52:
  
 
== Автор и лектор курса ==
 
== Автор и лектор курса ==
'''Георгий Бронников''' - программист, лингвист, разработчик компании JetBrains.
+
'''Георгий Бронников''' - программист, лингвист, разработчик компании JetBrains. georgy.bronnikov собака гмэйл ком
  
 
== Благодарности ==
 
== Благодарности ==
 
Факультатив проходит при поддержке компании [https://jetbrains.ru/ JetBrains].
 
Факультатив проходит при поддержке компании [https://jetbrains.ru/ JetBrains].

Версия 22:48, 12 марта 2020

Приветствуем Вас на странице факультатива "Неклассические логики", который пройдёт на факультете компьютерных наук в феврале-марте 2020 года. Записывайтесь, пока ещё есть места!

О курсе

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

Официальная страница факультатива на сайте ФКН

Примерный список тем

1. Понятие логики. Логика vs риторика. Формальный язык. Семантика. Система вывода. Непротиворечивость. Полнота. На примере исчисления высказываний. Дополнительно: Пресуппозиция и импликатура. Постулаты Грайса. Слайды
2. Исчисление предикатов. Арифметика Пеано. Теория множеств. Слайды
3. Модальные логики. Логика контрафактивных условных предложений. Модальность в естественном языке. Слайды
4. Интуиционизм. Темпоральная логика. Динамическая логика. Слайды
5. Эпистемическая логика. Динамическая эпистемическая логика. Синтаксическая динамическая эпистемическая логика. Логика обоснования (justification logic). Слайды
6. Логики, ориентированные на естественный язык. Формальная семантика. Обобщённые кванторы. Сдвиг типов. Продолжения. Динамическая логика предикатов. Слайды
7. Субструктурные логики. Линейная логика. Категориальные грамматики.
8. Логики, ориентированные на доказательство корректности компьютерных программ. Системы типов. Логика Хоара. Логика разделения (separation logic).

Список литературы

(будет пополняться и изменяться)

  1. Graham Priest. An Introduction to Non-Classical Logic. CUP, 2001. Главы 1-6.
  2. Ernest Nagel, James R. Newman. Gödel's Proof. NYUP, 2001.
  3. Kenneth Kunen. Set Theory. Elsevier, 1980. Глава 1.
  4. Robert Goldblatt. Logics of Time and Computation. CSLI, 1992. Главы 1-10. Ссылка
  5. Angelika Kratzer. The Notional Category of Modality. 1981.
  6. Hans van Ditmarsh, Wiebe van der Hoek, and Barteld Kooi. Dynamic Epistemic Logic. Springer, 2008. Главы 1, 2, 4, 7.1-5.
  7. Kurt Konolige. A Deduction Model of Belief. Pitman, 1986. Главы 1-2.
  8. Sergei Artemov, Melvin Fitting. Justification Logic. Stanford Encyclopedia of Philosophy. Ссылка
  9. Emmon Bach. Informal Lectures on Formal Semantics. SUNY Press, 1989.
  10. Chris Barker, Chung-chieh Shan. Continuations and Natural Language. OUP, 2014.
  11. Jeroen Groenendijk, Martin Stokhof. Dynamic Predicate Logic. In Linguistics and Philosophy 14(1):39-100 · 1991.
  12. Emmanuel Beffara. Introduction to linear logic. Master. Italy. 2013. Ссылка
  13. Roberto Di Cosmo, Dale Miller. Linear Logic. Stanford Encyclopedia of Philosophy. Ссылка
  14. Peter W. O'Hearn, Separation Logic. CACM, 2019. Ссылка

Расписание

Весна 2020

Время занятий: 18:10 - 19:30 по четвергам
Предварительный график:
30 января; 6, 13, 20, 27 февраля; 5, 12, 19 марта.

Аудитория N508

Оценка

Итоговая_оценка_за_курс = 0.5*оценка_за_работу_на курсе + 0.5*оценка_за_экзамен.
Это актуальная формула!

В ходе курса студентам будет предложено одно или несколько заданий по теме курса. Нужно будет разобраться в новом для себя материале, а также подготовить эссе, основанное на материалах исследовательских работ.
Шкала оценки - десятибалльная. Округление - стандартное арифметическое.

Автор и лектор курса

Георгий Бронников - программист, лингвист, разработчик компании JetBrains. georgy.bronnikov собака гмэйл ком

Благодарности

Факультатив проходит при поддержке компании JetBrains.