Ok, bola som na poslednej prednaske ale nie je mi jasne ci tie posledne okruhy si mam dobrat sama alebo tie nebudu na skuske. Lebo povedal ze sme ich nestihli... A tie sylaby su z minuleho roka.
9. Konštrukcia a klasifikácia algoritmov a stratégií spracovania symbolických objektov
10. Procesné algebry
11. Metódy verifikácie systémov
Este zhanam niekoho kto ide 7.1 na skusku TI, potrebujem sa popytat organizacne veci