Datum a cas:   27-MAY-1997 12:32
Vec:           ZTP ... PRIVARA

Datum a cas:   24-MAY-1996 15:51
Vec:           Privara

Cafte, ja som mal Privaru hned prvy termin, sory, ze pisem az teraz. Otazky:

1. zastavenie, ekvivalencia, izomorfizmus
2. najslabsia vstupna a najsilnejsia vystupna podmienka
3. semantika nedeterminist. schem

Skuska sa niesla v priatelskom duchu ;-) nebolo to nic strasne.

Vinko

Datum a cas:   27-MAY-1997 12:32
Vec:           ZTP ... PRIVARA

Adresat(i):    2i-l@pascal
Datum a cas:   29-MAY-1996 10:53
Vec:           Privara 27.05.96

Zdravim fsetkyx ynformatykov

  Mam to uz za sebou a prislo to tak najednou ...

Takze Privara mi privaril nasledovnymi otazkami:

1. Volne sxemy
2. Najslabsia vstupna (wp) a najsilnejsia vystupna (sp) podmienka
3. Porovnanie operacne a denotacnej semantiky (tu som poriadne
pohorel)

Eta vsjo.
Cafte.
Ugi
Datum a cas:   27-MAY-1997 12:31
Vec:           ZTP ... PRIVARA

Adresat(i):    2i-l@pascal
Datum a cas:   28-MAY-1996 14:13
Vec:           ZTP 27.5.`96

Zdravim !!!

 Tak a tu su moje ? zo ZTP :

 1. Porovnanie  S a W  schem.
 2. Hoareho metoda (aj upnost systemu ... ).
 3. Algebraicke struktury a semanticke obory 
    ( zamerat sa na tie, ke su vyuzivane vo funkcionalnych jazykoch ...)


  Nie je coho sa bat. ( Otazku aj viac krat preformuluje ... )

     Este raz Zdravim ....
				Stano.
Datum a cas:   27-MAY-1997 12:31
Vec:           ZTP ... PRIVARA

Datum a cas:   27-MAY-1996 15:35
Vec:           ZTP 27.5.


Otazky :

	1.divergencia standartnych schem
	2. intermitenty
	3 kriteria spravnosti vyp.pravidiel

Moj predpokladany zaciatok 10.30 sa posunul o dve hodiny...
O 15.10 som skoncil za 2 ( keby som chcel prist inokedy na
1....tak..ale  odmietol som)
znamky predo mnou  jedna 1,jedna 2 ,dve 3 a po mne este 5 ludi....



---
/-------------------------------------------------------------------------\
|  Vladimir Chovanec                                                      |
|  Student of Informatics,Comenius University Bratislava,Slovakia         |
|-------------------------------------------------------------------------|
\-------------------------------------------------------------------------/
Datum a cas:   27-MAY-1997 12:31
Vec:           ZTP ... PRIVARA

Datum a cas:   18-MAY-1996 16:34
Vec:           Privara 13.5.

Ahojte
Ja som mal:

1) Standardne schemy (definicie) a KOREKTNE definovat ich OPERACNU semantiku.
K tomuto sa ma aj cosi pytal a dost podrobne mi kontroloval tu moju semantiku,
ci by naozaj nenastal niekde problem; napr. odovzdavanie celeho programu ci
variant stavu pre paralelne priradenie.

2) Vyuzitie dokazovacich metod programov - naco je to dobre. 
Rozpraval som o Hoarem (pravidla sa tu pouzivaju ODSPODU!) a o konstrukcii
spravnych programov. Nebojte, az tak vela som toho nepovedal.

3) Definicie, domeny pre funckie a pred-kecy a nakoniec KLEENEHO VETA
samozrejme s duokazom.

Myslim, ze cim mal clovek
	-lepsie pisomku;
	-lepsie ulohy,
tym lepsie dopadne, lebo nema az take krute otazky...

Juro+
Datum a cas:   27-MAY-1997 12:31
Vec:           ZTP ... PRIVARA

Datum a cas:   16-MAY-1996 20:39
Vec:           Privara 13.5. (fwd)

Nejak to asi nikomu nedoslo, takze skusam este raz:

Povodna sprava:

> Odosielatel:   4brejova
> Datum a cas:   13-MAY-1996 14:15
> Vec:           Privara 13.5.
> 
> Ahojte,
> 
> Takze dnes bol prvy termin z Privaru, celkom uspesny, co ja viem, prvi styria 
za
> jedna. Privara dosiel asi o pol desiatej, dal kazdemu tri otazky, cas na
> priprav dost dlhy (vyse hodiny) a potom si to cital a este sa k tomu nieco
> pytal ( a pozeral aj do pisomiek).
> 
> Ja som mala porovnat triedu rekurzivnych a standardnych schem, Flyodovu metodu
> a bezpecne pravidla.
> 
> Spytal sa ma este nieco k peblovaniu, preco sa vo Floydovi robi spatna
> substitucia a nie dopredna a aby som mu povedala nejake pravidlo, ktore je
> korektne, ale nie je bezpecne.
> 
> Takze vela stastia.
Datum a cas:   27-MAY-1997 12:31
Vec:           ZTP ... PRIVARA 

Datum a cas:   20-MAY-1996 12:44
Vec:           Privara 20.5

Ahojte.

Moje priklady:
1) Vsetko, co viem o Zastaveni,Ekvivalencii a Izomorfizme.
Tzn. definicie,vsetko pre standartne,volne,Janovove schemy + dokazy(mohol som
sa odvolavat na riesenie Divergencie)
2) Floyd. := vypoctova indukcia, ciastocna spravnost, uplna spravnost,
konstrukcia verifikacnych formul (chcel vysvetlit preco sa R a r buduju spatne)
3) Algebraicke struktury pre semanticke domeny
Vseobecne, cpo - vsetko az po striktne funkcie (aj dokazy)

Nebolo to velmi tazke.

Vela stastia Vam zela                   Lubor.