Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na obsah
Přeskočit na patičku
EN
>
Limity formálních systémů, důkazů a výpočtů
Interaktivní osnova
Limity formálních systémů, důkazů a výpočtů
OBSAH
Limity formálních systémů, důkazů a výpočtů
Prohlédnout vše
prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Limity formálních systémů, důkazů a výpočtů
prof. Dr. rer. nat. RNDr. Mgr. Bc. Jan Křetínský, Ph.D.
Limity formálních systémů, důkazů a výpočtů
Info
Předmět
IV134 Limity formálních systémů, důkazů a výpočtů
Období
podzim 2024
Předchozí
Následující
Limity formálních systémů, důkazů a výpočtů
Operace
Prohlédnout vše