TUKE FÓRUM - Fórum pre študentov Technickej Univerzity v Košiciach
FEI archív 2010/2011 => 4. ročník => Topic started by: Matejus on 05.02.2011, 22:40:34
-
prednášky: http://hornad.fei.tuke.sk/predmety/ (http://hornad.fei.tuke.sk/predmety/)
meno: lpi
heslo: logikA
archív 2009/2010
=============================================================================
Skuska prebiehala tak, ze si sa posadil na urcene miesto podla abecedy, potom si dostal dve otazky, ktore boli napisane perom na papiery. Jedna bola teoria , ja som mal Semantiku modalnej logiky a druhy bol priklad, ja som mal urcit ci su dane vyroky pravdive vo svetoch w0 a w2. Inak otazky sa daju vymenit (tak nenapadne) ked k tomu nic neviete Vela stastia ...
=============================================================================
príklady minuloročných otázok na skúške:
1. Sémantika modálnej logiky
2. Teória princípu deontickej logiky
3. Štruktúra logického systému
4. Predikátova logika 1.radu
5. Kalkuly. Vlastnosti intuicionistickej logiky
...
=============================================================================
ťaháčik
http://www.upnito.sk/subor/abd821068fa949dfc5cf1b7d297e83b1.html (http://www.upnito.sk/subor/abd821068fa949dfc5cf1b7d297e83b1.html)
-
v pondelok cviko so slodicakom nebude
-
Daj viac info, odkial to vies?
-
Osobne od Slodicaka.
-
to rano o 7 30...kto chce moze ist na cviko s lalovou...alebo potom na dalsi tyzden sa na cviku preberu naraz dva temy...treba byt na ne pripraveny
-
ludia co ste dnes rano o pol osmej brali na cviku? vie tu niekto hodit scany?
-
co sa dnes rano bralo na cviku? a treba v 13. tyzdni chodit na cviko a prednasku?
-
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.
-
skuska: 1 priklad + 1 teoreticka otazka (typu: Intucionisticka logika)
-
skuska: 1 priklad + 1 teoreticka otazka (typu: Intucionisticka logika)
a potom ustna alebo len opravili priklad a otazku a dovidenia?
-
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...
-
a ako je to na logike, musis mat nieco z obidvoch aj z teorie aj priklad ci staci jedno, ze ked mam teoriu dobre napr. a priklad nic tak mam sancu urobit skusku ci nie?
lebo na semantike musis mat z kazdej casti nieco, preto sa pytam :)
-
je na skuske aj oficialny tahak kde su vsetky pravidla, ze? nechce sa mi to vsetko ucit a uz ani nestiham a nechystam sa bu
-
ano, tahak je...
-
ludia na tu teoreticku cast, sa treba ucit vsetky prednasky, alebo spominali nieco ze nebude?
a z prikladov taktiez budu vsetky tyyp co sme brali na cvikach?
-
Mam taky pocit, ze tam nieje nic co sa netreba ucit ani z prebratej teorie ani z prebratych prikladov.
-
zda sa mi, ze niekto na prednaskach hovoril, ze ich bude postupne spracovavat. Ak tak niekto urobil, mohol by to tu hodit?
DIKY
-
treba vedeit aj tu horovu logiku?
-
nemate niekto nahodou dobre spracovane cvicenia?
-
...treba vediet na skusku aj temporalnu logiku? lebo sa mi zda, ze Slodicak vravel ze nebude
-
Hoareovu treba na 100% :) ... ja som si to vytiahol a vedel som holý tralala
-
Ake typy prikladov zvyknu davat na skuske? .... Aj take zlozitejsie ci len take jednoduchsie?
-
Mam taky pocit, ze tam nieje nic co sa netreba ucit ani z prebratej teorie ani z prebratych prikladov.
:thumbs-up:
-
Ake typy prikladov zvyknu davat na skuske? .... Aj take zlozitejsie ci len take jednoduchsie?
no ja som mal uplne jednoduchy
-
Ake typy prikladov zvyknu davat na skuske? .... Aj take zlozitejsie ci len take jednoduchsie?
no ja som mal uplne jednoduchy
ja som potiaho ten s alfa konjunkcia beta implikuje beta konjukcia alfa, cize lahoda :emot-drunk:
-
Ustna cast prebieha ako presne? Hovori sa len k tomu co je na papieri (resp. v otazkach) alebo sa pytaju aj k inym veciam?
-
Neviete niekto tak po lopate vysvetlit konstrukciu dokazu v Hilbertovom kalkule? Nejak nvm prist na to, ako mam postupovat :D
-
mozte niekto napisat ake ste mali otazky a ulohy?? co ste si potiahli? Cos a tyka teorie mali ste napr otaku naturalna dedukcia a mali ste k tomu psiat vsetko co viete alebo ste mali presne dane ze co. napr ako sa roby dokaz v naturalne dedukcii. alebo daco take.
-
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 :D
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.