Fórum studentů MFF UK

Reseni: 1) Neni Rekurzivni z Riceho vety (stacilo rict, ze to neni trivialni mnozina). S je ale RS (je domenou CRF f(x):=PI(m<x,s>[fi e,s (x) = 0]) 2) Viz dukaz 1-uplnosti K, kde misto e stacilo vzit Goedelovo cislo funkce f(x) z predchoziho prikladu 3) TS, ktery na vstup pusti M A , po jeho skoncen...

Klasicky dva okruhy po trech otazkach: 1) ITSEC x TCSEC a) jaky je rozdil b) zavedeny model c) mam je cist, kdyz chci delat verejny (Web) server? (tzn. server, kde vubec nebudu uchovavat tajne informace) 2) OS a) proc nelze vytvorit bezpecnou aplikaci na NEbezpecnem/nezabezpecenem OS b) popsat nejak...