Messages

dobry vecer, rad by som sa vas na nieco opytal... na zapise, ked sme si vyberali predmety, tak som si dal aj anglictinu... bol to volitelny predmet,  ale bavi ma a do zivota jazyky treba vediet... moj odbor bude ho bude mat az v letnom semestri... moja otazka znie: treba ist teraz na studijne oddelnie alebo na katedru jazykov sa prihlasit do skupiny (zaciatocnici, pokrocili a tak pod.), alebo to budu riesit az potom, pred letnym semestrom alebo to netreba riesit vobec a automaticky to nejako pdoelia ? (na vyber bol iba pripravny kurz1)
za odpoved(e) vopred dakujem !
pekny vecer prajem 

Ked ho mas zapisany v MAISe, tak automaticky si v nom zaradeny a teda nic dodatocne vybavovat netreba. V priebehu tyzdna pred zaciatkom letneho semestra budu na katedre jazykov, ktora sidli na Vysokoskolskej 4 prve poschodie vlavo a potom este raz vlavo az na koniec chodby, vyvesene zoznamy s priradenim do skupiny, resp. mozno to bude aj v MAISe v rozvrhu.

ani ja,
existuje niekto kto sa uspesne prihlasil na kams

Okolo 9:03 ich tam bolo este dost.

Z TSWP II. nieje prednaska ani skuska.

5 rocnik: http://www.tu-ke.com/forum/5-rocnik-54/zapis-predmetov-5545/

btw. Nehodil by sa tento topic viac do FEI Board?

V prednaske o akcnej semantike bolo viacero zmien, ostatne su priblizne rovnake.

Ustna cast prebieha ako presne? Hovori sa len k tomu co je na papieri (resp. v otazkach) alebo sa pytaju aj k inym veciam?

Na papieri by si mal mat napisanu podstatu co sa ta pytaju v otazke, s tym ze pri ustnej odpovedi sa to da doplnit, poopravit, vysvetlit atd.
Doplnujuce otazky mozu byt lubovolne ale vacsinou su k oblasti co si si vytiahol.

Neviete niekto tak po lopate vysvetlit konstrukciu dokazu v Hilbertovom kalkule? Nejak nvm prist na to, ako mam postupovat 

Mas tam tych 7 axiom a jedno dedukcne pravidlo(modus ponens). Axioma je vlastne tautologia.
A teraz ked mas nejaky celkovy vyrok(napr. A -> neg. neg. A), ktory chces dokazat tak to musis urobit tak, ze tie jednotlive formuly(A a neg. neg. A) toho celkoveho vyroku, dosadis do tych axiom, tak aby ked pouzijes modus ponens, aby v zavere bol ten vyrok, ktory dokazujes. 
Modus ponens je o tom, ze ak mas nejake dve formuly(predpoklady), ktore su v tvare A a A->B a vies o nich ze platia, tak z toho vies vydedukovat to ze plati B. V pripade dokazovania v Hilbertovom kalkule to B musi byt ten dokazovany celkovy vyrok.

3 kopy otazok a z kazdej tahas jednu. Potom si ides sadnut a mas lubovolny cas na pripravu na papier. Ked zhodnotis, ze to co mas na papieri staci, tak ak je niektori zo skusajucich volny ides k nemu a zacnes rozpravat k jednotlivym otazkam. Popritom dostavas este dalsie otazky, vacsinou k teme tych vytiahnutych otazok.

Vsetko vam na zaciatku povedia. Minule to bolo tak ako pises.

akcna semantika

[Dokaz strukturalnou indukciou uplnej definovanosti semantickej funkcie pre binarne cisla(+ treba vediet co je to strukturalna indukcia).]

Ja by som to zhrnul takto:
--------------------------------------------------------------------------------------------------------------------------------------------------
P2: Dokaz strukturalnou indukciou uplnej definovanosti semantickej funkcie pre binarne cisla(+ treba vediet co je to strukturalna indukcia).
P3: Dokaz semantickej ekvivalencie prikazov while(b) do S; a if (b) then (while(b) do S);.
P4: Dokaz ekvivalencie naturalnej a strukturalnej operacnej semantiky.
P6: Dokaz korektnosti abstraktnej implementaci JPJ na abstraktnom stroji pre:
- artimeticke vyrazy JPJ,
- boolovske vyrazy JPJ,
- prikazy JPJ.
P8: Dokaz ekvivalencie denotacnej a operacnej semantiky.
--------------------------------------------------------------------------------------------------------------------------------------------------
Co nie je oznacene hrubym pismom netreba na skusku.

Ak som nieco vynechal, mozte ma doplnit.

Skuska by mala byt v pisomnej forme, 1 otazka z tych 8.

Mam taky pocit, ze tam nieje nic co sa netreba ucit ani z prebratej teorie ani z prebratych prikladov.

Staci si to napisat v zachytnych bodoch a vysvetlis pri odpovedi.

V 6.prednaske su dokazy Korektnost abstraktnej implementacie,
treba vediet:
- pre artimeticke vyrazy JPJ
- pre boolovske vyrazy JPJ
netreba vediet:
- pre prikazy JPJ

V 8. prednaske je este dokaz Ekvivalencia denotacnej a operacnej semantiky ale tento netreba vediet.

quaterniony a nurbs a podobne veci treba aj vzorce vediet?

co este pan.Sobota povedal ze ci bude alebo nebude?
neake info o priebehu?

Maju byt 2 otazky, nejaky cas na pripravu na papier a potom ustna odpoved. Dnu bude vzdy len 5 ludi. Celkova znamka sa bude skladat zo znamky za ustnu cast, znamky za zadania a dochadzku.  
Vzorce, odvodenia a podobne detaily nebudu vyzadovane. K otazkam staci vediet z prednasky a pre lepsie pochopenie su tam doplnkove texty.

Treba napalit na cdcko aj vsetky blender projekty/textury atd? Alebo staci len video?

Stacia len vystupy cize:
- subor modelu v sketchupe,
- video format animacie(napr. .avi),
- anaglyf v nejakom beznom formate(napr. .jpg, .png).

Na medium treba napisat meno, ak. rok a nazov predmetu.

Pytal som sa a ma mat cca. 1 minutu.

Informacie zo stvrtkovej prednasky:

Okruhy na skusku su tu:
http://people.tuke.sk/jan.kollar/mgsa/

Prednasky(prezentacie) su v moodli.

Ja som to nijak nevyuzil, skor v tych table-och je to dolezitejsie, ked vypisujes zamestnancov.

hej

V databaze v tabulke Zamestnanec mas stlpec ident_Oddelenie, cize pri vytvarani a editovani zamestnanca tam potrebujes zadat id zvoleneho oddelenia.

Nieco podobne ako na poslednom cviceni, t.j. modalna logika a jej vyjadrenie pomocou modelov, len inak zapisane.

V 13. tyzdni cvicenie bude, tema asi temporalna logika. Prednaska uz nie. Este v 13. tyzdni v case prednasky so Semantiky budu predterminy zo Semantiky a Logiky.

este nie ...,
ved kludne napis mail a spytaj sa doc. Sobotu

Daj viac info, odkial to vies?

login: spj
password: Semantika

magsicka