Zobraziť príspevky

This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.


Messages - Dominico

Pages: [1]
1
5. ročník / Re: Aky predmet si vyberate na statnice ?
« on: 24.05.2011, 23:25:20 »
tiez som mal komisiu 4 ....a predseda tam uz bol :D ...a potvrdzujem ze jediny kto sa pytal bol Kollar

2
5. ročník / Re: Zapis do rozvrhu - Leto
« on: 28.01.2011, 14:51:14 »
uz sa da prihlasit na efektivnu komnikaciu

3
5. ročník / Re: Paralelné programovanie
« on: 15.12.2010, 21:36:23 »
treba oblek?

4
5. ročník / Re: Paralelné programovanie
« on: 03.12.2010, 20:30:21 »
ako ma vyzerat dokumentacia pre wassermana? ... na cviku vravel ze vsetci vedia co tam ma byt ...ale ja som akosi zabudol  ;)

5
5. ročník / Re: Paralelné programovanie
« on: 28.11.2010, 19:05:31 »
je v stredu cvicenie s wassermanom?

6
5. ročník / Re: Paralelné programovanie
« on: 20.10.2010, 23:50:59 »
je zajtra prednaska?

7
5. ročník / Re: Kvalita a manazment softveru
« on: 04.10.2010, 23:05:47 »
pozeral na tie plany?

8
5. ročník / Re: Kvalita a manazment softveru
« on: 04.10.2010, 20:44:54 »
co bolo dneska na cviku?

9
4. ro?ník / Re: Sémantika programovacích jazykov
« on: 16.06.2010, 20:26:34 »
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

10
4. ro?ník / Re: Sémantika programovacích jazykov
« on: 15.06.2010, 23:49:19 »
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?

11
4. ro?ník / Re: Logika pre Informatikov - LPI
« on: 09.06.2010, 22:22:44 »
T: Predikatova logika 1. radu
P: Dokazat naturalnou dedukciou β /\ α → α /\ β

12
4. ro?ník / Re: FŠS
« on: 26.05.2010, 23:39:42 »
ak medzi otazkami nie je napr problem deadlocku, pokrytia, reverzibility atd tak sa ich nemam ucit?

13
4. ro?ník / Re: MaGSA
« on: 18.04.2010, 20:25:25 »
mohol by niekto napisat,ze ako by mala vyzerat spravne vygenerovana ebnf?

14
4. ro?ník / Re: MaGSA
« on: 30.03.2010, 23:19:31 »
vie niekto kde ho najdem? ja som nasiel ze by mal byt na Vysokoškolská 4, miestnosť 133B vie to niekto potvrdit?

15
4. ro?ník / Re: MaGSA
« on: 09.03.2010, 00:41:15 »
mne zase nejdu psSetMethod($property.type) a rsGetMethod($property.type)

16
4. ro?ník / Re: MaGSA
« on: 07.03.2010, 23:07:30 »
mohol by niekto napisat ako by mal vyzerat ten vygenerovany subor OddelenieDaoImpl.java ?

17
4. ro?ník / Re: Zápis do rozvrhu
« on: 24.01.2010, 17:10:57 »
chcel by sa niekto vymenit MGSA z utorka 10:50 na utorok 9:10 (mam ja)?

18
4. ro?ník / Re: Teoria typov
« on: 23.01.2010, 00:33:08 »
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

19
4. ro?ník / Re: Zápis do rozvrhu
« on: 15.01.2010, 03:26:04 »
ja mam Slodicaka a tiez by som radsej mal Mihalyiho

20
4. ro?ník / Re: Konštrukcie preklada?ov
« on: 05.01.2010, 00:04:15 »
odhlasil som sa zo 7.1. 13:00 ... mozte sa prihlasit

21
4. ro?ník / Re: NCS
« on: 21.12.2009, 23:39:20 »
mohol by niekto, kto mal ako zadanie synchronny automat typu mealy napisat co vsetko treba vytvorit a co mu treba poslat?

22
4. ro?ník / Re: Stavba po?íta?ov
« on: 09.12.2009, 23:30:41 »
mohol by mi niekto napisat mail na toho chalana, ktoremu mame posielat referaty (Štv. 13:30)

Pages: [1]