Messages

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

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

HESLO: system

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

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

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...

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

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

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

Pripajam spracovane prednasky:)

len 1. a 2.prednaska

korecko je v pohode ...ja by som si ho nechala

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 .

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

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.

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.

mucko:  poslem na mail, len napis

myslim si, ze staci to co je tam, pretoze je tam vsetko:D
.....az na vynimku kapitoly 3, co su vacsinou algoritmy a priklady(to tam nie je)

tu mate vsetky vypracovane otazky
http://www.upnito.sk/subor/3cef8c280e8cdcf2e1a4112026d9a75e.html

ved tie prirucky si daj ako prilohy:) napises ich do zoznamu priloh a das na cd.