Skip to main content
Side panel
DL 1
Home
Support
User support
GDPR
More
English (en)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
You are currently using guest access
Log in
DL 1
Home
Support
Collapse
Expand
User support
GDPR
Expand all
Collapse all
Open course index
Faculty of Arts
Department of Logic
Logic
Logika v souvislostech a aplikacich
Stella Moon: Logic and Foundations of Mathematics: Set Theory and Type Theory
Stella Moon: Logic and Foundations of Mathematics: Set Theory and Type Theory
Section outline
◄
Igor Sedlar: Logic in computer science
Select activity Slides
Slides
File
Completion
Students must
Mark as done
◄
Igor Sedlar: Logic in computer science
Jump to...
Main course page
Zuzana Haniková: Theory of finite sets and Peano arithmetic (Feb 22, 2024 - March 7, 2024)
Chris Lambie-Hanson: Well-orderings in logic and mathematics
Vladimir Svoboda: Deontic Logic from a Bird’s Eye Perspective
Vit Puncochar: Logic of questions
Igor Sedlar: Logic in computer science