ℹ️
🇨🇿
Hledání
Hledat předměty relevantní k dotazu "Proving"
Proving
Předmět
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
class
Interactive theorem proving seminar
ALGV00123 |
Filozofická fakulta
class
Introduction to Logic
+1
YBF295 |
Fakulta humanitních studií
class
Důkazová složitost a P vs. NP problém
NMAG536 |
Matematicko-fyzikální fakulta
class
Výběrová přednáška z MSTR 2
NMAG499 |
Matematicko-fyzikální fakulta
class
Obyčejné diferenciální rovnice: konstruktivní přístup
NMNV495 |
Matematicko-fyzikální fakulta
class
Matematický software
NMMB533 |
Matematicko-fyzikální fakulta
class
Důkazy s podporou počítače v diskrétní dynamice
NMNV497 |
Matematicko-fyzikální fakulta
class
Řízení a supervize v sociálních a zdravotnických organizacích
YDE011 |
Fakulta humanitních studií
class
Diplomová práce - zpracování
YMR10POBQ |
Fakulta humanitních studií
class
Nové výsledky v teorii Eulerových rovnic
NMMA623 |
Matematicko-fyzikální fakulta
class
Úvod do historie I.
+1
YBHA001 |
Fakulta humanitních studií
class
Úvod do historie II.
YBHA002 |
Fakulta humanitních studií
class
Úvod do historie
YBZB50000 |
Fakulta humanitních studií
class
Theological Ethics Seminar 2
RETA5021 |
Evangelická teologická fakulta
class
TEPV2-Theological Ethics Seminar
RL037 |
Evangelická teologická fakulta
class
Hra na nástroj V
+1
O01308291 |
Pedagogická fakulta
class
Stereometrie
NMTM205 |
Matematicko-fyzikální fakulta
class
Matematika
+2
GAF105 |
Farmaceutická fakulta v Hradci Králové
class
Pedagogická praxe II
O02312032 |
Pedagogická fakulta
class
ERASMUS - Etika a humanitní základy medicíny V.
CERA5P0074 |
3. lékařská fakulta
class
Etika a humanitní základy medicíny IV.
CVSE4P0029 |
3. lékařská fakulta
class
Projekt (Sportovní žurnalistika)
JJM423 |
Fakulta sociálních věd
class
Vyjednávání a řešení problémů - volitelná práce
YMR07HOLI |
Fakulta humanitních studií
class
Duality v triangulovaných kategoriích
NMAG468 |
Matematicko-fyzikální fakulta
class
Výpočetní logika
NMAG535 |
Matematicko-fyzikální fakulta