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)
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?
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...
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?
Quote from: drtic on 23.05.2011, 16:03:34
Mam taky pocit, ze tam nieje nic co sa netreba ucit ani z prebratej teorie ani z prebratych prikladov.
:thumbs-up:
Quote from: slax on 07.06.2011, 07:30:01
Ake typy prikladov zvyknu davat na skuske? .... Aj take zlozitejsie ci len take jednoduchsie?
no ja som mal uplne jednoduchy
Quote from: jardo on 07.06.2011, 15:45:27
Quote from: slax on 07.06.2011, 07:30:01
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.
Quote from: sad47 on 07.06.2011, 18:21:56
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.
Quote from: MackoZlesa on 07.06.2011, 22:31:25
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.