ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "first order logic"
first order logic
Osoba
Předměty
Osoby
Publikace
Studium
Mgr. Šárka Stejskalová Ph.D.
Akademický pracovník na Filozofická fakulta
3 studijní programy
10 předmětů
25 publikací
Studijní programy
programme
Logika
🇨🇿 Bc. |
Filozofická fakulta
programme
Logika se sdruženým studiem Sinologie
🇨🇿 Bc. |
Filozofická fakulta
programme
Logika se sdruženým studiem Obecná lingvistika
🇨🇿 Bc. |
Filozofická fakulta
Předměty
class
Algebry a struktury v logice
ALG119005 |
Filozofická fakulta
class
Cvičení z logiky I
ALG119009 |
Filozofická fakulta
class
Cvičení z logiky II
ALG119010 |
Filozofická fakulta
class
Základy výrokové a predikátové logiky I
ALG119011 |
Filozofická fakulta
class
Základy výrokové a predikátové logiky II
ALG119012 |
Filozofická fakulta
class
Seminář z matematiky
ALGV00035 |
Filozofická fakulta
class
Základy konečné a nekonečné kombinatoriky
ALGV19003 |
Filozofická fakulta
class
Teorie množin I+
ALGV19011 |
Filozofická fakulta
class
Úvod do teorie grup a okruhů
ALGV19012 |
Filozofická fakulta
class
Nekonečné stromy
ALGV19014 |
Filozofická fakulta
Publikace
publication
Small u(kappa) at singular kappa with compactness at kappa(++)
2022 |
Filozofická fakulta
publication
TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS
2022 |
Filozofická fakulta
publication
Easton's theorem for the tree property below aleph_omega
2021 |
Filozofická fakulta
publication
Small u(kappa) at singular kappa with compactness at kappa++
2021