ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "corpus"
corpus
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
doc. RNDr. Vítězslav Švejdar CSc.
Akademický pracovník na Filozofická fakulta
29 předmětů
29 publikací
Předměty
class
Logika II
+1
ALG100014 |
Filozofická fakulta
class
Jazyková průprava pro logiky
ALG100018 |
Filozofická fakulta
class
Aritmetika a algoritmy
ALG110008 |
Filozofická fakulta
class
Vyčíslitelnost A
ALG110010 |
Filozofická fakulta
class
Klasická logika II A
ALG110014 |
Filozofická fakulta
class
Vlastnosti axiomatických teorií
ALG119006 |
Filozofická fakulta
class
Neúplnost a Gödelovy věty
ALG119007 |
Filozofická fakulta
class
Modální a neklasické logiky
ALG119008 |
Filozofická fakulta
class
Logika v souvislostech a aplikacích
+2
ALG119015 |
Filozofická fakulta
class
Vyčíslitelnost B
ALG210004 |
Filozofická fakulta
Načíst další předměty (19)
Publikace
publication
Do we need recursion?
2020 |
Filozofická fakulta
publication
Modern Czech Logic: Vopěnka and Hájek, History and Background
2018 |
Filozofická fakulta
publication
Kurt Gödel: Úplnost a neúplnost
2015 |
Filozofická fakulta
publication
On strong fragments of Peano arithmetic
2015 |
Filozofická fakulta
publication
Infinite Natural Numbers: an Unwanted Phenomenon, or a Useful Concept?
2011 |
Filozofická fakulta
publication
Rozhodovac� �lohy v�rokov�ch logik roz�i�uj�c�ch intuicionistickou logiku a jej�ch fragment�
2010 |
Filozofická fakulta
publication
Relatives of Robinson Arithmetic
2009 |
Filozofická fakulta
publication
Preface
2009 |
Filozofická fakulta
publication
O interpretovatelnosti v teorii konkatenace
2009 |
Matematicko-fyzikální fakulta
publication
Slabé teorie a podstatná nerozhodnutelnost
2008 |
Filozofická fakulta
Načíst další publikace (19)
Loading network view...