Přejít k hlavnímu obsahu
Boční panel
DL 1
Titulní stránka
Podpora uživatelů
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Další
Čeština (cs)
Čeština (cs)
Deutsch (de)
English (en)
Français (fr)
Русский (ru)
Momentálně na stránky přistupujete s právy hosta.
Přihlášení
DL 1
Titulní stránka
Podpora uživatelů
Sbalit
Rozbalit
Moodleoffice
Moodle tutoriál
Podpora uživatelů
Návody
GDPR
Rozbalit vše
Sbalit vše
Otevřít indexu kurzu
Filozofická fakulta
Katedra logiky
Logika
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
Osnova sekce
◄
Igor Sedlar: Logic in computer science
Vybrat aktivitu Slides
Slides
Soubor
Absolvování
Studenti musí
Označit jako hotovo
◄
Igor Sedlar: Logic in computer science
Přejít na...
Hlavní stránka kurzu
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