Матлогика, 5 курс, 2 семестр, 2016/17 — различия между версиями
Материал из SEWiki
(→Ссылки) |
(→Практика) |
||
| Строка 16: | Строка 16: | ||
== Практика == | == Практика == | ||
| + | |||
| + | [https://docs.google.com/spreadsheets/d/1uBRsvgzAgI5556BoW36ZPk6ZuPXKjUEsrFxjtTGN2RQ Табличка с результатами] | ||
[[Медиа:Mlc02pr.pdf|Практика 1, 2. Нормальные формы]] | [[Медиа:Mlc02pr.pdf|Практика 1, 2. Нормальные формы]] | ||
Версия 17:20, 13 марта 2017
Преподаватель -- Москвин Денис Николаевич
Лекции
Лекция 2. Полные системы связок
Лекция 3. Исчисление высказываний гильбертовского типа
Лекция 4. Исчисление высказываний генценовского типа
Лекция 5. Интуиционистское исчисление высказываний
Лекция 6. Логика предикатов первого порядка
Практика
Практика 1, 2. Нормальные формы
Практика 3, 4. Исчисление высказываний
Практика 5, 6. Интуиционистское исчисление высказываний; Логика предикатов
