Скачать
Mathematical Logic 9, Natural Deduction (Tree Proofs)
Автор: Axiom Tutor
Загружено: 2022-08-20
Просмотров: 1558
Описание:
A demo of a natural deduction system, showing examples with tree-styled proofs.
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 Natural Deduction
1:00 Turnstile
3:36 Sequents
4:22 The Rules
6:19 Tree Proofs, Demo
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
