imported>Gogabr: /* Примерный список тем */

2022-04-02T01:13:34Z

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

Новая страница

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

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

[https://cs.hse.ru/electives/nonclassical Официальная страница факультатива на сайте ФКН]

== Примерный список тем ==
1. Понятие логики. Логика vs риторика. Формальный язык (на примере исчисления высказываний). Семантика. Система вывода. Корректность. Полнота. Дополнительно: пресуппозиция и импликатура. Постулаты Грайса. Перформативы. [http://newstar.rinet.ru/~goga/hse/non-classical-logics-2022/lecture1.pdf Слайды] 
2. Исчисление предикатов. Арифметика Пеано. Теория множеств. [http://starlingdb.org/~goga/hse/non-classical-logics-2022/lecture2.pdf Слайды] 
3. Модальные логики. Логика контрафактивных условных предложений. Модальность в естественном языке. [http://starlingdb.org/~goga/hse/non-classical-logics-2022/lecture3.pdf Слайды] 
4. Интуиционизм. Темпоральная логика. Динамическая логика. [http://starlingdb.org/~goga/hse/non-classical-logics-2022/lecture4.pdf Слайды] 
5. Эпистемическая логика. Динамическая эпистемическая логика. Синтаксическая динамическая эпистемическая логика. Логика обоснования (justification logic). [http://starlingdb.org/~goga/hse/non-classical-logics-2022/lecture5.pdf Слайды] 
6. Логики, ориентированные на естественный язык. Формальная семантика. Обобщённые кванторы. Сдвиг типов. Продолжения. Динамическая логика предикатов. [http://starlingdb.org/~goga/hse/non-classical-logics-2022/lecture6.pdf Слайды] 
7. Субструктурные логики. Линейная логика. Категориальные грамматики. [http://starlingdb.org/~goga/hse/non-classical-logics-2022/lecture7.pdf Слайды] 
8. Логики, ориентированные на доказательство корректности компьютерных программ. Системы типов. Логика Хоара. Сепарационная логика. [http://starlingdb.org/~goga/hse/non-classical-logics-2022/lecture8.pdf Слайды] 

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

# '''Graham Priest. An Introduction to Non-Classical Logic. CUP, 2001. Главы 1-6.'''
# Ernest Nagel, James R. Newman. Gödel's Proof. NYUP, 2001.
# Kenneth Kunen. Set Theory. Elsevier, 1980. Глава 1.
# Paul J. Cohen. Set Theory and the Continuum Hypothesis. NY: W.A. Benjamin, 1966.
# '''Robert Goldblatt. Logics of Time and Computation. CSLI, 1992. Главы 1-10. [http://sul-derivatives.stanford.edu/derivative?CSNID=00003782&mediaType=application/pdf Ссылка]'''
# С.П. Одинцов, С.О. Сперанский, С.А. Дробышевич. Введение в неклассические логики. РИЦ НГУ, 2014. [http://math.nsc.ru/~spodintsov/textbook.pdf Ссылка]
# Angelika Kratzer. The Notional Category of Modality. 1981.
# '''Hans van Ditmarsh, Wiebe van der Hoek, and Barteld Kooi. Dynamic Epistemic Logic. Springer, 2008. Главы 1, 2, 4, 7.1-5.'''
# Kurt Konolige. A Deduction Model of Belief. Pitman, 1986. Главы 1-2.
# Sergei Artemov, Melvin Fitting. Justification Logic. Stanford Encyclopedia of Philosophy. [https://plato.stanford.edu/entries/logic-justification Ссылка]
# Emmon Bach. Informal Lectures on Formal Semantics. SUNY Press, 1989.
# Chris Barker, Chung-chieh Shan. Continuations and Natural Language. OUP, 2014.
# Jeroen Groenendijk, Martin Stokhof. Dynamic Predicate Logic. In Linguistics and Philosophy 14(1):39-100 · 1991.
# Emmanuel Beffara. Introduction to linear logic. Master. Italy. 2013. [https://hal.archives-ouvertes.fr/cel-01144229/document Ссылка]
# Roberto Di Cosmo, Dale Miller. Linear Logic. Stanford Encyclopedia of Philosophy. [https://plato.stanford.edu/entries/logic-linear/ Ссылка]
# Mark Steedman. The Syntactic Process. MIT Press, 2000. Главы 1-3.
# Jason Baldridge. Lexically Specified Derivational Control in Combinatory Categorial Grammar. University of Edinburgh, 2002. Глава 2. [https://era.ed.ac.uk/bitstream/handle/1842/562/IP020026.pdf Ссылка]
# Benjamin C. Pierce. Types and Programming Languages. MIT Press, 2002. Русский перевод: Бенджамин Пирс. Типы в языках программирования. Лямбда пресс, 2012.
# Peter W. O'Hearn, Separation Logic. CACM, 2019. [https://cacm.acm.org/magazines/2019/2/234356-separation-logic/fulltext Ссылка]
# Peter W. O'Hearn, Resources, Concurrency and Local Reasoning. Theoretical Computer Science, 2007. [http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/concurrency.pdf Ссылка]

== Расписание ==
=== Весна 2022 ===
Время занятий: 18:10 - 19:30 по понедельникам. 
Предварительный график: 
7, 14, 21, 28 февраля; 7, 14, 21, 28 марта. 

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

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

=== Возможные темы для рефератов или эссе ===

# Повышающая теорема Лёвенгейма-Сколема (исправить доказательство из лекции).
# Логика GL. Отсутствие компактности, слабая полнота.
# Временные логики ''LinDist'', ''LinRat'', ''LinRe'' (По Goldblatt 1992, глава 8, любая одна на выбор). Доказательство полноты относительно соответствующего класса шкал.
# Динамическая логика высказываний либо эпистемическая логика S5C. Доказательство слабой полноты.
# Линейная логика. Устранение сечения.
# Исчисление Ламбека. Схема доказательства эквивалентности контекстно-свободным грамматикам.

== Автор и лектор курса ==
'''Георгий Бронников''' - программист, лингвист. yura.bronnikov собака gmail.com

== Благодарности ==
Факультатив проходит при поддержке компании [https://jetbrains.ru/ JetBrains].

NonClassicalLogics - История изменений

imported>Gogabr: /* Примерный список тем */