Umiestnenie:
ŠVP leto 2025/26
|
ŠVP
|
Výučba
|
CL Homepage
|
KAI
|
FMFI
UK
v
Bratislave
English version
Záznamy prednášok (slajdy) pre kurz 1-AIN-470 Špecifikácia a verifikácia programov LS 2025/26
Prednášky
1. prednáška
- začíname s CL, explicitné definície, rekurzívne definície.
*
– aktualizované v priebehu posledných 7 dní
Posledná zmena:
2026-02-18
T
21:10
+0100