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
Decidability of real closed fields (RCF)
First order or second order? Tarsky or geometry?
Independence results for set theory: forcing
Dedekind and the continuity of the real line
Peano and arithmetics
A step back: an excluded middle?
Formalization of logic: from high hopes to limitations
Non-classical logics (many-valued, modal, substructural...)
Many-valued logics
Modal logics
Substructural logics
Non-monotonic logic
Cateogory theory and Homotopy type theory
Model theory and logical dreams
►
Non-ecludian geometries