Stránka 1 z 1
NAIL076 - Logické Programování I
Napsal: 10. 1. 2009 18:31
od Void
Zdravim,
chodí tu někdo ke Štěpánkovi na přednáško-cvičení? Já tam byl jen párkrát, tak nevim jestli řikal něco k organizačním věcem typu kdy a jak proběhne zkouška atd. Nemáte k tomu někdo bližší informace? Díky
Re: NAIL076 - Logické Programování I
Napsal: 16. 1. 2009 14:40
od Void
Aha tak sem to tu za prvé našel (
http://forum.matfyz.info/viewtopic.php? ... ani#p20593 ) a za druhé jsem byl na poslední přednášce, kde řikal, že zkoušet se bude z toho co se stačilo probrat, tj. prvních 7 kapitol (důkazy prý netřeba) a zkouška bude vždy s termínem výrokové a predikátové logiky (od kdy je to předmět zimního semestru
).
Re: NAIL076 - Logické Programování I
Napsal: 19. 1. 2009 14:53
od Navstevnik
Void píše:Aha tak sem to tu za prvé našel (
http://forum.matfyz.info/viewtopic.php? ... ani#p20593 ) a za druhé jsem byl na poslední přednášce, kde řikal, že zkoušet se bude z toho co se stačilo probrat, tj. prvních 7 kapitol (důkazy prý netřeba) a zkouška bude vždy s termínem výrokové a predikátové logiky (od kdy je to předmět zimního semestru
).
Diky moc za informace! Takze na zkousku "staci" umet vsechny definice, vety (lemata - pokud jsou potreba k vete) bez dukazu?
Nebo je to podobne jako v Lambde, ze tezke dukazy se nezkousi? Tezky dukaz = vice nez 2 slidy?
Re: NAIL076 - Logické Programování I
Napsal: 24. 1. 2009 15:26
od Void
Nepamatuju si to úplně přesně, ale řikal něco ve smyslu toho, že při čtení materiálů si prostě ty nejlehčí důkazy zapamtujem i kdybychom nechtěli. Že třeba vyplývaj z definice rovnou nebo tak.
--> Řek bych, že důkazy na víc stran do toho rozhodně nespadaj.
Ale znění vět, který maj takhle dlouhej důkaz bych u zk. spíš očekával.