Messages

nema niekto pofotene rozpisy s komisiami?

Semantika: z coho sa ucite otazku axiomaticka semantika, lebo v prednaskach som nasiel AZ 2 slajdy. Mate k tomu nejake materialy?

áno, naturálna sémantika je totiž operačná!

dakujem za odpoved, som velmi blbo napisal tu otazku, myslel som ci nahodou sa netreba ucit aj ŠOS, alebo bude stacit iba naturalna, ale asi staci iba naturalna.

chcem sa opytat tych co maju semantiku, k 5. otazke: Operačná sémantika blokov, deklarácií a procedúr , sa ucite to co je v prednaskach aj ked tam sa rozobera naturalna semantika, alebo mate niekto zdroj kde je o tom pisane?

UPOZORNENIE!!!

Davam do pozornosti mail, ktory mozem zverejnit, tyka sa ZMENY TERMINU TESTU, citujem:

"Dobry den,

bola mi schvalena ucast na konferencii, ktora sa kona v dnoch 23. - 25. 03., preto pisanie zapoctovej pisomky (testu) z predmetu Timova praca nemoze byt v planovany termin dna 24. marca.

Prosim vyrozumejte vam znamych kolegov o zmene, zapoctova pisomka bude 17. marca. Pridite prva polovica skupiny (podla prezencnej listiny - v prilohe) na 9:10 a druha polovica skupiny na 9:55, dalsi potom na 10:50 a 11:35 a popoludnajsia skupina o 13:00h (prvi desiati podla prezencky a o 13:45 ostatni plus presunutí) . Presuny kolegov na iny termin platia teda pre pisanie testu aj v prvej skupine. Pripominam, ze do 15.03. je potrebne poslat e-text seminarnej prace a 17. marca ju odovzdat (dosledne podla zadania).

Na seminari 17. marca dohodnem nahradny termin pre tych, ktorych sa nepodari vyrozumiet. Kopiu mailu preposielam aj na gmail timovka, neviem ale, ci tam kolegovia nazru.

Dakujem za pomoc pri informovani kolegov a ospravedlnujem sa za pripadne neprijemnosti s touto zmenou spojene.


S pozdravom a zelanim efektivnej pripravy na test
Maria Zvarikova
"

len take male upozornenie pre ostatnych, ktory este neboli odovzdat temy na pracu. Ak ako zdroj mate uvedeneho RNDr. Jiri Plaminek, tak si mente literaturu, pretoze knihy od neho niesu vhodnym materialom na pracu.

prosim Vas, nepamata si niekto kedy su v utorok kozultacne hodiny, lebo nejako som to stratil. Dakujem

pochybujem ze vsetky boli za rovnaky pocet bodov. Logicky mi vychadza ze taky kerberos a tie "tazsie" otazky boli za viacej bodov ako napr identifikacia/autentifikacia. Mozno budu 4 otazky po 15 bodov a 2 otazky po 10.

aha, som vedel, ze cosi sa mi na tom nezdalo

je mozne ze som zle precital, takze to berte s rezervou, alebo nech niekto iny potvrdi aka bola presne otazka

ano tak to povedal(o druhej kvoli tomu ze sme tam boli 2 predmety,cize oprava bude trvat dlhsie), to znamena, ze nemusis prist a pozries si vysledky v maise, ale je mzne ze budes na hranici a moze ti dat doplnujucu otazku, takze ak si myslis ze si napisal dobre tak nemusis chodit, ale ak budes na rozmedzi tak bude lepsie ak dojdes, aspon na predchadzajucich taku moznost ako dpplnujucu otazku daval

Tak dnes bola mala zmena, bolo 6 otazok.
1. Kerberos
2. Ochrana digitalnych prav
3. Identifikacia/autentifikacie
4. Cookies
5. Separacia/izolacia
6. TCB - doveryhodna vypoctova baza

prosim nevie niekto ako to bolo s prezenckami na poslednych prednaskach, pretoze som sa nemohol dostavit, ale hovori sa ze bola, je to pravda?

taktiez by ma zaujimalo ci sa mam rano vstavat na cviko 7.30 alebo nie, tak ak mate nejake info o cviceniach so slecnou Lalovou, tak budeme urcite viacery vdacny

ktomu 4. prikladu som sa pytal ci to tak staci, a povedala ze ano

este pre doplnenie, tak 7. uloha bola nakoniec derivacny strom(to co sa robilo na 1.cviku) a davajte si pozor kde je bodkociarka a kde zatvorka, pretoze sa mozte pomylit a tym padom mate 5.,6.,7. ulohu zle, konkretne v skupine A.

diky, a to bude staci takto napisat, nic viac?

ja som uz z toho debil co co znamena, napr. aky typ prikladu bol na cvikach na body
1.rosirenie semantiky algebraickych vyrazov

Rozsirte jednoduchy programovaci jazyk o exponent e₁^e₂ (riesenie bolo na prednaske)

2.rozsirenie semantiky boolovskych vyrazov

Rozsirte jednoduchy programovaci jazyk o operator implikácie (e₁->e₂) (taktiez bolo na prednaske)

a nemohol by si to prosim ta naskenovat a niekde hodit?

ja som uz z toho debil co co znamena, napr. aky typ prikladu bol na cvikach na body
1.rosirenie semantiky algebraickych vyrazov
2.rozsirenie semantiky boolovskych vyrazov

nemoze niekto hodit na net nejaky priklad k 4. bodu, lebo neviem presne co sa tym myslim, ani sa mi nezda ze by sme nieco take brali na cvikach, pripadne nemame ten priklad dokonceny. K tomu 7 bodu ten abstraktny strom je myslene to co sme robili na prvom cviku(cize derivacny strom s e,n a s)?

Tak dnes prednaska bola, ale bola zastupovana Fecilakom, nabuduci tyzden prednaska nebude. Vraj mozno dostaneme mail ako a co buduci tyzden, ale nieje to iste.

Zdravim, hladam nejake knihy ohladom textovych databaz a fulltextovych vyhladavani, nevie niekto o nejakej dobrej? Najlepsie ak by sa dala stiahnut z netu. Dakujem

Tak dnes boli otazky:
1. Rozhodnutelne a nerozhodnutelne problem, Postov korespondencny problem,
2. Janova algebra + formalizacia procesu tvorby algoritmov
Pr. Ci sekvencne zobrazenie pomocou KA
pr. Zegalkin

Druha skupina:
Nerodove ekvivalencie
zvysok si nepamatam

moze niekto napisat tu postupnost prikazov, ktoru sme zadavali pri simulacii na zaciatku? nieco ako do, do nieco s work, lebo touz nemam nikde napisane

Caute, bol niekto dnes odovzdat zadanie(kto si to stihol precitat,pretoze sa to nahadzovalo niekedy podvecer) a ci boli nejake problemy pri odovzdavani.

ano, dnes by prednaska uz nemala byt, pretoze hovorila ze minuly tyzden sme dokoncili prednasky, a ked sme sa jej pytali tento tyzden tak hovorila ze plati co hovorila minule.