zdar, tak som i ja z tych stastnych, co to maju za sebou
takze moje postrehy a poznatky zo skusky:
teoreticka z PS: popiste zakladne modifikacie PS (GPN, CBPN). tu mi korecko strhol par bodov za to, ze vraj som nemal spravene GPN -> CBPN (vraj prechod z jednej siete do druhej, vraj sa to aj na cviku robilo, ale neviem o tom)
priklad z PS: vypocitajte T-invariant. dostal som taky speci priklad, ze vysiel jediny T invariant a to trivialny (y=(0,0,0,0)). nezlaknite sa, moze byt. znamena to, ze neexistuje taka sekvencia prechodov,pomocou ktorej by som sa dostal z m0 naspat do m0
teoreticka z B: syntax Machine N(p)+ vlastnosti. asi najlahsia, co sa stade dala dostat. zas mi akurat korecko strhol par bodikov za detaily uplne
priklad z B: sietovy protokol p2p. neni to tazke, mozte si vymysliet vlastnu specifikaciu, podobny priklad uz tu na fore bol rieseny. tam mi korecko strhol za logicku chybu, na to pozor. ze ked chcete pouzit nejake dalsie abstraktne stroje a potom pouzivat ich metody/premenne a tak, musite pouzivat INCLUDE/EXTEND . SEES/USES byt nemoze, lebo to je len read only a neumoznuje pristup k metodam toho dalsieho stroja. za to ma korecko dost zoskrtal
ale tak co sa budem stazovat 17(zapocet)+20+15+23+9 = 84 B
vcera opravovali Attila, Korecko a Hudak. atila a korecko pustili vsetkych, aj ked niektorych tesnotka na ecko, ale preli u nich vsetci. hudak mal asi fajny skusaci den, skusal cca 10 ludi, z toho tusim 6 vyhodil. korecko neopravuje zle, len je strasny detailista a skrta body za vyslovene hluposti.
a co sa tykalo priebehu pisomky. korecko sedel vpredu pri stole a riesil si svoje veci. attila chodil pomedzi ludi a pomahal kolko to len slo, takze si ho na pisomke kludne zavolajte, poradi vam (ked uz nepovie rovno odpoved, dobre vas k nej navedie)
a mozem konstatovat, ze aj ked toto je posledna hudakovina, TI-cko minuly rok bolo v porovnani s tymto tu ovela tazsie. tak nestresujte, da sa to celkom v pohode naucit za par dni