ℹ️
🇨🇿
Hledání
Hledat předměty relevantní k dotazu "Formalizing"
Formalizing
Předmět
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
class
English Formal Writing
+2
CNSEW3 |
3. lékařská fakulta
class
Formalizační seminář
NMAG585 |
Matematicko-fyzikální fakulta
class
Úvod do formální lingvistiky
NPFL006 |
Matematicko-fyzikální fakulta
class
Seminář z formální lingvistiky
NPFL004 |
Matematicko-fyzikální fakulta
class
Batalin-Vilkoviského formalismus
NMAG661 |
Matematicko-fyzikální fakulta
class
Formální základy softwarového inženýrství
NTIN043 |
Matematicko-fyzikální fakulta
class
Lingvistické teorie a gramatické formalismy
NPFL083 |
Matematicko-fyzikální fakulta
class
Lingvistická teorie a gramatické formalismy
NPFX083 |
Matematicko-fyzikální fakulta
class
Formální závislostní syntax 2
NTIN080 |
Matematicko-fyzikální fakulta
class
Formální závislostní syntax 1
NTIN079 |
Matematicko-fyzikální fakulta
class
Formal Mathematics and Proof Assistants
+1
NMMB566 |
Matematicko-fyzikální fakulta
class
Formální logika
AFS100764 |
Filozofická fakulta
class
Prezentace rozšířených tezí disertace v rámci doktorského semináře nebo kolokvia
AXTEE0010 |
Filozofická fakulta
class
Formální a obsahová analýza FJ
OPNF4F031A |
Pedagogická fakulta
class
Metody a formální náležitosti vědecké práce
MG422C48 |
Přírodovědecká fakulta
class
Úvod do teoretické sémantiky
ABO500110 |
Filozofická fakulta