Messages

tiez som mal komisiu 4 ....a predseda tam uz bol ...a potvrdzujem ze jediny kto sa pytal bol Kollar

uz sa da prihlasit na efektivnu komnikaciu

treba oblek?

ako ma vyzerat dokumentacia pre wassermana? ... na cviku vravel ze vsetci vedia co tam ma byt ...ale ja som akosi zabudol 

je v stredu cvicenie s wassermanom?

je zajtra prednaska?

pozeral na tie plany?

co bolo dneska na cviku?

T: Nepriama denotacna semantika
D: Korektnosť implementácie komutatívnosti a asociatívnosti scitania výrazov pomocou AM
P: case x of e1:S1;e2:S2 else S3 - pravidla pre NS, SOS, DS

e := ... | fib(n)
E[fib(0)]_s=0   
E[fib(1)]_s=1   
E[fib(n)]_s= E[fib(n-2)]_s + E[fib(n-1)]_s

aspon podla mna by to tak mohlo byt
mna by skor zaujimalo toto
Dokázať korektnosť implementácie komutatívnosti a asociatívnosti násobenia výrazov pomocou AM.
Denotačná sémantika pre blok príkazov (medzi begin a end)
Definícia formálneho jazyka (abstraktná syntax a sémantika jazyka)
to fakt tam staci napisat tu jednu vetu?

T: Predikatova logika 1. radu
P: Dokazat naturalnou dedukciou β /\ α → α /\ β

ak medzi otazkami nie je napr problem deadlocku, pokrytia, reverzibility atd tak sa ich nemam ucit?

mohol by niekto napisat,ze ako by mala vyzerat spravne vygenerovana ebnf?

vie niekto kde ho najdem? ja som nasiel ze by mal byt na Vysokoškolská 4, miestnosť 133B vie to niekto potvrdit?

mne zase nejdu psSetMethod($property.type) a rsGetMethod($property.type)

mohol by niekto napisat ako by mal vyzerat ten vygenerovany subor OddelenieDaoImpl.java ?

chcel by sa niekto vymenit MGSA z utorka 10:50 na utorok 9:10 (mam ja)?

Ja som mal
z I.skupiny- jednoducho typovany λ-kalkul,funkcny typ
z II. skupiny- zoznamy
Priklad- f:Bool→Bool├ λx:Bool.f (if x then false else x): Bool→Bool
a) odvodit typovu spravnost
b) vyhodnotit dosadenim hodnoty true

ja mam Slodicaka a tiez by som radsej mal Mihalyiho

odhlasil som sa zo 7.1. 13:00 ... mozte sa prihlasit

mohol by niekto, kto mal ako zadanie synchronny automat typu mealy napisat co vsetko treba vytvorit a co mu treba poslat?

mohol by mi niekto napisat mail na toho chalana, ktoremu mame posielat referaty (Štv. 13:30)