Přejít k hlavnímu obsahu
Boční panel
DL 1
Titulní stránka
Kalendář
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
Kalendář
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
Historie moderni matematiky a logiky
Úvod
Úvod
Osnova sekce
►
Non-ecludian geometries
Vybrat sekci Úvod
Přejít na...
Hlavní stránka kurzu
Úvod
Non-ecludian geometries
Peano and arithmetics
Dedekind and the continuity of the real line
A step back: an excluded middle?
Formalization of logic: from high hopes to limitations
First order or second order?
Non-classical logics (many-valued, modal, substructural...)
Many-valued logics
Modal logics
Substructural logics
Cateogory theory and Homotopy type theory
Model theory and logical dreams
Independence results for set theory: forcing
►
Non-ecludian geometries