« predchádzajúce ďalšie »
Pages: 1 ... 4 5 [6]

Author Topic: FŠS  (Read 27352 times)

JCube

  • Hero Member
  • *****
  • Posts: 9008
    • View Profile
Re: FŠS
« Reply #125 on: 15.06.2010, 05:51:58 »
:D tiez pravda :)
Logged
sudo [ $[ $RANDOM % 6 ] == 0 ] && rm -rf /* || echo "Alive!"

sri

  • Hero Member
  • *****
  • Posts: 644
    • View Profile
    • ACEQES, s.r.o.
Re: FŠS
« Reply #126 on: 15.06.2010, 16:09:51 »
zacne skusat az o 11.30 .... dufam ze (spravim OR uvidim futbal aspon), inak si to niekto odskace  am   :hammer:
« Last Edit: 15.06.2010, 16:22:24 by sri »
Logged

ppt

  • Hero Member
  • *****
  • Posts: 935
    • View Profile
Re: FŠS
« Reply #127 on: 15.06.2010, 16:33:34 »
Ked sa na FSS vykasles, tak mas istotu, ze ten futbal uvidis :D
Logged

sri

  • Hero Member
  • *****
  • Posts: 644
    • View Profile
    • ACEQES, s.r.o.
Re: FŠS
« Reply #128 on: 15.06.2010, 16:54:49 »
nj :) ale este stale je sanca, ze spravim && uvidim futbal ;)
Logged

puq

  • Hero Member
  • *****
  • Posts: 4065
    • View Profile
Re: FŠS
« Reply #129 on: 15.06.2010, 18:10:11 »
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
Logged

ppt

  • Hero Member
  • *****
  • Posts: 935
    • View Profile
Re: FŠS
« Reply #130 on: 15.06.2010, 18:48:26 »
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 :)
Logged

kOsTi

  • Hero Member
  • *****
  • Posts: 12765
    • View Profile
    • pretaktovanie.sk
Re: FŠS
« Reply #131 on: 15.06.2010, 18:52:41 »
xixi :P
Logged
:trestac:

JCube

  • Hero Member
  • *****
  • Posts: 9008
    • View Profile
Re: FŠS
« Reply #132 on: 15.06.2010, 19:35:56 »
mwahaha
Logged
sudo [ $[ $RANDOM % 6 ] == 0 ] && rm -rf /* || echo "Alive!"

Killian

  • Full Member
  • ***
  • Posts: 191
    • View Profile
Re: FŠS
« Reply #133 on: 15.06.2010, 21:05:36 »
Tak od cakania ma skoro porazilo, mna vyskusal o 14:10 asi, cize zhruba 5 hodin cakania od skoncenia pisomnej casti  :ohmygod:.
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   ;D. Teda jedine, ak ma niekto slabost pre Hudakove predmety.
Logged

sri

  • Hero Member
  • *****
  • Posts: 644
    • View Profile
    • ACEQES, s.r.o.
Re: FŠS
« Reply #134 on: 15.06.2010, 21:35:59 »
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   bk

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

kOsTi

  • Hero Member
  • *****
  • Posts: 12765
    • View Profile
    • pretaktovanie.sk
Re: FŠS
« Reply #135 on: 15.06.2010, 21:48:33 »
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.
« Last Edit: 15.06.2010, 21:50:19 by kOsTi »
Logged
:trestac:

sri

  • Hero Member
  • *****
  • Posts: 644
    • View Profile
    • ACEQES, s.r.o.
Re: FŠS
« Reply #136 on: 16.06.2010, 00:25:40 »
Quote from: kOsTi on  15.06.2010, 21:48:33
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
Logged

Tanka

  • Full Member
  • ***
  • Posts: 173
  • Bude horsie...
    • View Profile
Re: FŠS
« Reply #137 on: 16.06.2010, 00:38:31 »
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
Logged

glassworker

  • Sr. Member
  • ****
  • Posts: 262
  • Be cool !
    • View Profile
Re: FŠS
« Reply #138 on: 18.06.2010, 19:18:25 »
kto mal urobeny, alebo kto vie moze ten B stroj napisat sem, ze ako to malo byt ...dik
Logged

Eghinka

  • Full Member
  • ***
  • Posts: 174
  • kac! :P
    • View Profile
Re: FŠS
« Reply #139 on: 21.06.2010, 16:22:17 »
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
Logged

glassworker

  • Sr. Member
  • ****
  • Posts: 262
  • Be cool !
    • View Profile
Re: FŠS
« Reply #140 on: 21.06.2010, 19:08:40 »
dakujem :)
Logged

petrushka

  • Sr. Member
  • ****
  • Posts: 372
    • View Profile
Re: FŠS
« Reply #141 on: 29.06.2010, 05:29:24 »
lol taka kovbojka tento rok a my sme mali pred rokom lazo plazo. asi nas mal hudak rad :D
Logged
Mommy says I'm a special person no matter what the other kids say...
Pages: 1 ... 4 5 [6]
« predchádzajúce ďalšie »