Zobraziť príspevky

1

5. ročník / Re: promocie - listky

« on: 14.06.2012, 16:20:53 »

Pre skupinu Informatika A-K o 8:00 sa mi zvysilo cca 30 listkov. Ak by niekto este potreboval, tak sa ozvite.

2

5. ročník / Re: stattnice - semantika

« on: 11.05.2012, 18:53:36 »

Dokopy aj s obhajobou to bude 20-25min. Cize max 5 min na stat.otazku. Aj tolko pochybujem. A dokazy nebude treba vediet.

3

5. ročník / Re: Paralelné po?íta?ové systémy

« on: 28.11.2011, 20:49:52 »

HESLO: system

4

4. ročník / Re: SPJ - Sémantika programovacích jazykov

« on: 19.05.2011, 00:13:54 »

T: syntax a semantika deklaracii v naturalnej semantike
D: S1=while b do S,s S2=if...(while),s dokazte semanticku ekvivalenciu
P: rozsirte syntax a semantiku vyrazov o celociselne delenie, pripadne div, mod

5

4. ročník / Re: SPJ - Sémantika programovacích jazykov

« on: 16.05.2011, 12:43:05 »

Moze niekto napisat ktore vsetky dokazy je treba vediet, z ktorych prednasok? Dakujem.

6

4. ročník / Re: LpI - Logika pre informatikov

« on: 15.05.2011, 16:24:02 »

Quote from: pinderko on 12.05.2011, 16:00:54

Quote from: nezabudka88 on 12.05.2011, 15:52:17
skuska: 1 priklad + 1 teoreticka otazka (typu: Intucionisticka logika)
a potom ustna alebo len opravili priklad a otazku a dovidenia?

to co si napises na papier je len pre teba, tvoja priprava, im ide len o ustnu cast....t.j. priklad musis vysvetlit ako a preco si to takto pocital a ohladom teorie: davaju vela otazok mimo tej hlavnej...taky postupny prechod pomaly ku vsetkemu...a ked nieco nevies, tak skusia inak polozit otazku...

7

4. ročník / Re: LpI - Logika pre informatikov

« on: 12.05.2011, 15:52:17 »

skuska: 1 priklad + 1 teoreticka otazka (typu: Intucionisticka logika)

8

4. ročník / Re: SPJ - Sémantika programovacích jazykov

« on: 04.05.2011, 19:56:29 »

co bolo na zapoctovke:
1.a. denotacna semantika
1.b. abstraktna implementacia
2. napisat pravidlo pre FOR, REPEAT,...
3.a. naturalna semantika
3.b. strukturalna operacna semantika

9

4. ročník / Re: Teoria typov

« on: 04.01.2011, 15:15:54 »

Mato, na strane 8 je chyba, ma byt: ,,V nasom priklade su t2 a t3 rozneho typu (Nat/Bool)..."

Pripajam spracovane prednasky:)

10

4. ročník / Re: Konštrukcia preklada?ov

« on: 21.10.2010, 00:28:28 »

len 1. a 2.prednaska

11

4. ročník / Re: Rozvrh

« on: 19.09.2010, 17:21:47 »

korecko je v pohode

...ja by som si ho nechala

12

3. ro?ník / Re: Ideme dalej... ING

« on: 19.07.2010, 15:57:44 »

Volala som na studijne, ze som este nedostala to rozhodnutie. Zevraj to posielali uz minuly tyzden, ale tipujem, ze v piatok

. Dostaneme to tento tyzden a nakoniec to nemusime do 20teho stihnut, ale mame to dorucit na studijne hned v ten den ako to dostaneme

.

13

3. ro?ník / Re: Ideme dalej... ING

« on: 15.06.2010, 04:26:32 »

termin, kedy na studijnom davaju vsetky potrebne doklady o ukonceni bc studia je 30.6. pre informatikov o 11tej. je to na nasej stranke.

14

2. ro?ník / Re: Technologie JAVA

« on: 28.05.2010, 18:31:39 »

pre mishelku: neviem akym pravom sudis inych ludi, najskor by sa mal kazdy asi pozriet na seba. Myslim si, ze kazdy student tejto skoly studuje podla vlastneho uvazenia. Ak niekomu vyhovuje nic nevediet, jeho vec a jeho rozhodnutie. Ak niekto k niektorym veciam pristupuje zodpovedne a k niektorym nie, tiez jeho vec......nie kezdeho tu bavi vsetko na tejto skole. A ak niekto robi vsetko UPLNE poctivo, co sa urcite neda, tak tiez jeho vec. NESUD INYCH, lebo aj tak len oni vedia ako je to naozaj.

15

3. ro?ník / Re: Bezpe?nos? v Internete

« on: 19.05.2010, 12:54:01 »

mozno dava podobne otazky, ale hodnoti jak mu pride. som si pozerala jednu opravenu skusku a ten dotycny mal napisane uplne to iste(asi to mal z tych istych materialov) a on 10b za otazku a ja 0. ....atd. Takze radsej nekomentujem akym sposobom to opravuje.