NonClassicalLogics — различия между версиями
(Создание) |
|||
| Строка 1: | Строка 1: | ||
== О курсе == | == О курсе == | ||
| − | |||
Курс знакомит с многообразием существующих логических систем. Основное внимание будет уделяться "нестандартным" логикам, тому, как логический способ мышления применяется к решению задач лингвистики, философии и информатики. Курс направлен на студентов ФКН академических программ бакалавриата “Программная инженерия” и “Прикладная математика и информатика”, но может быть интересен и студентам других программ, интересующихся логикой. | Курс знакомит с многообразием существующих логических систем. Основное внимание будет уделяться "нестандартным" логикам, тому, как логический способ мышления применяется к решению задач лингвистики, философии и информатики. Курс направлен на студентов ФКН академических программ бакалавриата “Программная инженерия” и “Прикладная математика и информатика”, но может быть интересен и студентам других программ, интересующихся логикой. | ||
== Примерный список тем == | == Примерный список тем == | ||
| − | |||
1. Понятие логики. Логика vs риторика. Формальный язык. Семантика. Система вывода. Непротиворечивость. Полнота. На примере исчисления высказываний.<br /> | 1. Понятие логики. Логика vs риторика. Формальный язык. Семантика. Система вывода. Непротиворечивость. Полнота. На примере исчисления высказываний.<br /> | ||
2. Исчисление предикатов. Типизированное исчисление предикатов. Формальная семантика естественного языка.<br /> | 2. Исчисление предикатов. Типизированное исчисление предикатов. Формальная семантика естественного языка.<br /> | ||
| Строка 14: | Строка 12: | ||
7. Субструктурные логики. Линейная логика. Категориальные грамматики.<br /> | 7. Субструктурные логики. Линейная логика. Категориальные грамматики.<br /> | ||
8. Логики, ориентированные на доказательство корректности компьютерных программ. Системы типов. Логика Хоара. Логика разделения (separation logic).<br /> | 8. Логики, ориентированные на доказательство корректности компьютерных программ. Системы типов. Логика Хоара. Логика разделения (separation logic).<br /> | ||
| − | |||
== Расписание == | == Расписание == | ||
=== Весна 2020 === | === Весна 2020 === | ||
| − | |||
Время занятий: 18:10 - 19:30 по четвергам<br /> | Время занятий: 18:10 - 19:30 по четвергам<br /> | ||
Предварительный график:<br /> | Предварительный график:<br /> | ||
30 января; 6, 13, 20, 27 февраля; 5, 12, 19 марта. | 30 января; 6, 13, 20, 27 февраля; 5, 12, 19 марта. | ||
| + | |||
| + | == Оценка == | ||
| + | В качестве итоговой оценки за курс выставляется оценка, полученная на экзамене.<br /> | ||
| + | Шкала оценки - десятибалльная. Округление - стандартное арифметическое. | ||
| + | |||
| + | == Автор и лектор курса == | ||
| + | Георгий Бронников, разработчик компании JetBrains. | ||
| + | |||
| + | == Благодарности == | ||
| + | Факультатив проходит при поддержке компании [https://jetbrains.ru/ JetBrains]. | ||
Версия 17:47, 23 января 2020
Содержание
О курсе
Курс знакомит с многообразием существующих логических систем. Основное внимание будет уделяться "нестандартным" логикам, тому, как логический способ мышления применяется к решению задач лингвистики, философии и информатики. Курс направлен на студентов ФКН академических программ бакалавриата “Программная инженерия” и “Прикладная математика и информатика”, но может быть интересен и студентам других программ, интересующихся логикой.
Примерный список тем
1. Понятие логики. Логика vs риторика. Формальный язык. Семантика. Система вывода. Непротиворечивость. Полнота. На примере исчисления высказываний.
2. Исчисление предикатов. Типизированное исчисление предикатов. Формальная семантика естественного языка.
3. Модальные логики. Модальность в естественном языке.
4. Интуиционизм. Темпоральные логики. Динамическая логика.
5. Логики, ориентированные на естественный язык. Логика контрафактивных условных предложений. Пресуппозиция и импликатура. Постулаты Грайса.
6. Эпистемическая логика. Динамическая эпистемическая логика. Синтаксическая динамическая эпистемическая логика. Логика доказательств.
7. Субструктурные логики. Линейная логика. Категориальные грамматики.
8. Логики, ориентированные на доказательство корректности компьютерных программ. Системы типов. Логика Хоара. Логика разделения (separation logic).
Расписание
Весна 2020
Время занятий: 18:10 - 19:30 по четвергам
Предварительный график:
30 января; 6, 13, 20, 27 февраля; 5, 12, 19 марта.
Оценка
В качестве итоговой оценки за курс выставляется оценка, полученная на экзамене.
Шкала оценки - десятибалльная. Округление - стандартное арифметическое.
Автор и лектор курса
Георгий Бронников, разработчик компании JetBrains.
Благодарности
Факультатив проходит при поддержке компании JetBrains.
