Скачать
Mathematical Logic 10, Properties of Sequents
Автор: Axiom Tutor
Загружено: 2022-08-21
Просмотров: 78
Описание:
A general discussion of properties of sequents, and in particular those which are preserved by rules.
These videos are a companion to the textbook by Rautenberg, A Concise Introduction to Mathematical Logic: https://link.springer.com/book/10.100...
A link to the playlist: • Mathematical Logic (companion to Rautenberg)
0:00 Intro
0:08 Properties of Sequents
1:24 Preservation
2:41 Rule Induction
4:50 Soundness
7:12 Finite Proofs
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
