Přednášky
Jak se bádá o středověku v internetové době/Jan Hus: Mediální proměny národního hrdiny
Jak se bádá o středověku v internetové době/Jan Hus: Mediální proměny národního hrdiny
Den otevřených dveří Filosofického ústavu AV ČR
Seminář Centra medievistických studií
Komunikace ve vědě aneb proč už si vědci neposílají dopisy
Komunikace ve vědě aneb proč už si vědci neposílají dopisy
Den otevřených dveří Filosofického ústavu AV ČR
Měl Sókratés přátele? Filosofie a přátelství u kořenů Evropy
Měl Sókratés přátele? Filosofie a přátelství u kořenů Evropy
Den otevřených dveří Filosofického ústavu AV ČR
Praha jako globální město
Praha jako globální město
Den otevřených dveří Filosofického ústavu AV ČR
Marx After Marxism: The Critique of Value in the Age of the iPhone
Marx After Marxism: The Critique of Value in the Age of the iPhone
Pořádá Oddělení pro studium moderní české filosofie
What Was Going On In Ljubljana? On Slavoj Žižek and His Contemporaries
What Was Going On In Ljubljana? On Slavoj Žižek and His Contemporaries
Pořádá Oddělení pro studium moderní české filosofie
Constructive Type Theory III
Constructive Type Theory III
More constants: the natural numbers, nite sets, propositional identity.
Pořádá Oddělení logiky
Constructive Type Theory II
Constructive Type Theory II
The Curry-Howard isomorphism; formation-, introduction-, elimination-, and identity-rules; the logical constants.
Pořádá Oddělení logiky
Constructive Type Theory I
Constructive Type Theory I
General introduction; the notions of judgement and proposition; the notions of type and set; the hierarchy of higher types.
Pořádá Oddělení logiky
Trinus liber Dei: Komenského místo v dějinách metaforiky „knihy přírody“
Trinus liber Dei: Komenského místo v dějinách metaforiky „knihy přírody“
Pořádá Oddělení pro komeniologii a intelektuální dějiny raného novověku
