FÅ S

[JCube]

tiez pravda

[sri]

zacne skusat az o 11.30 .... dufam ze (spravim OR uvidim futbal aspon), inak si to niekto odskace    

[ppt]

Ked sa na FSS vykasles, tak mas istotu, ze ten futbal uvidis

[sri]

nj ale este stale je sanca, ze spravim && uvidim futbal

[puq]

a co jake ste mali otazky? inac tych 11:30 by som neveril kedze aj u nas na termine mal zacat o 11:00 a zacal az vlastne po obede niekedy o 12:45

[ppt]

Hej, len teraz im dosiel a prebral papiere od uja Korecka. Takze kym to p. profesor opravi a zacne volat ludi, tak si este zrejme pockaju

[kOsTi]

xixi

[JCube]

mwahaha

[Killian]

Tak od cakania ma skoro porazilo, mna vyskusal o 14:10 asi, cize zhruba 5 hodin cakania od skoncenia pisomnej casti  .
No nakoniec to dopadlo pre mna dobre, nemal som moc uratane priklady, ale teoriu som mal, cosi sme pokecali este a povedal, ze to nebude natahovat.
Tusim 3 nespravili? Neviem presne.

Ak toto cita nejaky tretiak co nevie aky predmet si navolit, tak FSS si nedavaj   . Teda jedine, ak ma niekto slabost pre Hudakove predmety.

[sri]

Mna zobral uplne posledneho, pytal sa ma len k 1 teoretickej ulohe, tu som mu aj celu vysvetlil, uz sme boli celi happy (on aj ja) ako mi zapise znamku, ked pozrel na body a zistil ze na E to aj tak nebude .... k druhej otazke ani k prikladom sa ma uz nepytal, aj ked som mu to navrhoval, takze pridem nabuduce  

(A dobehnem domov na poslednych 10 minut futbalu, uz sa tesim ze aspon futbal dnes vyjde a ....  )

[kOsTi]

no este for record:

T1: Jazyk ,,guarded commands".
T2: Sémantika Machine N(p):štruktúra povinného dôkazu korektnosti špecifikácie stroja Machine N(p).(Proof Obligation for Machine N(p)
P1: Urcit najslabsie prepodmienky pre nejake vyrazy (; , ||)
P2: Urcit T-invarianty PN.

[sri]

no este for record:

T1: Jazyk ,,guarded commands".
T2: Sémantika Machine N(p):štruktúra povinného dôkazu korektnosti špecifikácie stroja Machine N(p).(Proof Obligation for Machine N(p)
P1: Urcit najslabsie prepodmienky pre nejake vyrazy (; , ||)
P2: Urcit T-invarianty PN.

Este by tu prosim mohol niekto dat druhu skupinu... ? Dik

[Tanka]

teoria 1- Mechanizmus ";" dokaz jeho korektnosti, platnosti pre vlastnosti 1-4
         2- Kompozicne mechanizmy EXTENDS a INCLUDES
priklady 1- T-invarianty PN (bola siet ako pre readers-writers len torchu upravena)
           2- nepamatam presne ale cosi ako: 
               vytvorit B stroj, kt. ma operacie - ak xx patri do mnoziny ss (ta ma byt z N) vrati TRUE
                                                           - nedeterministicky bud prida xx do ss  vrati TRUE alebo neurobi nic vrati FALSE

[glassworker]

kto mal urobeny, alebo kto vie moze ten B stroj napisat sem, ze ako to malo byt ...dik

[Eghinka]

MACHINE Stroj()
VARIABLES ss
INVARIANT ss patri N
INITIALISATION ss=prazdna mnozina
OPERATIONS
b <- Test(xx) =
PRE xx patri N
THEN
     IF xx patri ss THEN b := TRUE ELSE b:=FALSE END
  END

b<- Nedeterm(xx) =
PRE xx patri N
THEN
     CHOICE ss := ss zjednotenie {xx} || b:= TRUE OR b:=FALSE END
  END

END

..asi tak nejako by to mohlo byt

[glassworker]

dakujem

[petrushka]

lol taka kovbojka tento rok a my sme mali pred rokom lazo plazo. asi nas mal hudak rad