Лекция 1. С.Л.Кузнецов. Генценовское исчисление для интуиционистской логики высказываний

preview_player
Показать описание
Курс С.Л.Кузнецова. МФТИ - МИАН. Структурная теория доказательств и алгебраическая логика
Лекция 1. С.Л.Кузнецов. Генценовское исчисление для интуиционистской логики высказываний
8 февраля 2021 г. 16:45, г. Москва, online на платформе Zoom
  1. МЦМУ МИАН
  2. МИАН
  3. Math-Net.Ru
  4. НОЦ
  5. РАН
  6. математика
Рекомендации по теме
Лекция 1. С.Л.Кузнецов. 1:29:50

Лекция 1. С.Л.Кузнецов. Генценовское исчисление для интуиционистской логики высказываний...

С.Л. Кузнецов. Спецкурс 0:56:50

С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»...

Лекция 7. С.Л.Кузнецов. 1:21:41

Лекция 7. С.Л.Кузнецов. От амальгамируемости к интерполяции (часть 1)...

Семинар 1: С.О. 1:15:48

Семинар 1: С.О. Сперанский. Вводный доклад

Кузнецов С.Л. Исчисление 1:53:33

Кузнецов С.Л. Исчисление индуктивных конструкций (Calculus of inductive constructions) (11.05.2020)...

Степан Кузнецов 'Глубинное 0:56:53

Степан Кузнецов 'Глубинное устранение сечения'

Павел Разумный//О секвенциальном 1:44:01

Павел Разумный//О секвенциальном исчислении с нефундированными выводами для логики KM...

МатЛог #1 | 1:30:10

МатЛог #1 | Исчисление высказываний

Просеминар по математической 1:13:20

Просеминар по математической логике и информатике. 12.05.2020. Секвенциальные исчисления...

Матлогика 17. Начальные 1:17:48

Матлогика 17. Начальные отрезки. Сравнение и свойства операций В.У.М....

Яворская Т.Л. - 1:11:04

Яворская Т.Л. - Математическая логика - 3. Генценовское исчисление высказываний...

Просеминар по математической 1:23:42

Просеминар по математической логике и информатике. 19.05.2020. Секвенциальные исчисления (ч. 2)...

Лекция 8. С.Л.Кузнецов. 1:29:24

Лекция 8. С.Л.Кузнецов. Инфинитарные исчисления для алгебр Клини...

23.10.2021 Логика, часть 2:06:40

23.10.2021 Логика, часть 2: исчисление высказываний

Секвенциальное исчисление высказываний 1:08:26

Секвенциальное исчисление высказываний

Логика. Лекция. 1:24:20

Логика. Лекция.

Исчисление высказываний. 4.3.5 0:42:03

Исчисление высказываний. 4.3.5 — 4.3.9 и 4.4.1.

8 Модель интуиционистского 0:07:07

8 Модель интуиционистского исчисления высказываний

Исчисление высказываний (ИВ) 0:35:26

Исчисление высказываний (ИВ)

Лекция 7. Д.С. 1:16:03

Лекция 7. Д.С. Шамканов. Интерполяционное свойство Линдона и циклические доказательства...

Математическая логика и 1:26:33

Математическая логика и теория алгоритмов 6. Исчисление высказываний...

10 Интуиционистское исчисление 0:12:19

10 Интуиционистское исчисление высказываний (напоминание и пример вывода)...

Субэкспоненциальные модальности в 1:05:42

Субэкспоненциальные модальности в некоммутативной линейной логике. 06.05.2020...

Лекция 3. Т.Л. 1:30:13

Лекция 3. Т.Л. Яворская. Неклассические логики

Комментарии
Автор

ух, я в последнее время его фанатом стал. лучше всех рассказывает, видно что старается, вообще молодец. думал старые лекции просмотрю, буду по второму разу внимательнее. а тут новые!

semeonivanov
Автор

Добрый день! Вроде аксиомы должны быть очевидны. Рассмотрим первую аксиому  (A->(B->A)) на конкретном примере -  (если я заболел то ( если я замёрз то заболел)). А это как будто вообще не очевидно. Скажите пожалуйста, как понять что это аксиомы?

СтепанГригорьев-оц