Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : Výroková A Predikátová Logika / Zkouška LS 2008
Přihlášení:  Heslo:  
Matfiz: VýrokováAPredikátováLogika/ZkouškaLS2008 ...
Hlavní Stránka | Seznam Stránek | Poslední Změny | Poslední Komentované | Uživatelé | Registrace |
Toto je stará verze stránky VýrokováAPredikátováLogika/ZkouškaLS2008 z 2008-06-08 20:22:56..

Výroková a predikátová logika – zkouška LS 2008

Zadání


27.5.2008 – «předtermín» – podle SISu tam mělo být 10 lidí, ale nakonec nás tam bylo minimálně 20 (údajně se domlouvali s prof. Štěpánkem přes email...)
http://forum.matfyz.info/viewtopic.php?f=239&t=4434


4. 6. 2008 – písemka
http://forum.matfyz.info/viewtopic.php?f=239&t=4488 (Sorry, Martine, takhle je to podle me lepsi, nez to sem cely kopirovat. ČH )

Poznámky


Zkouška je pouze písemná a trvá dvě hodiny. Prý je hodnocená poměrně mírně (ale moc bych na to nespoléhal). — To mi aspoň říkal Jakub Melka, který už na zkoušce byl. — Adam


Jsou u zkousky povoleny nejake pomucky jako zapisky, seznam vet z prednasky nebo neco takoveho? Diky Karl
Tak to netuším. Zkus spíš fórum. Výslovně nic takovýho ale neříkal. ČH


Jinak ještě poznámka k temporální logice – vypadá to, že se nezkouší. Ale jestli tuhle wiki čte i Štěpánek, tak příště už to platit nebude (sakra, to zní skoro jako nějaký tvrzení v temporální logice) ČH
Jo, je to non A & ( B -> o A) :))


 
Na stránce nejsou žádné soubory. [Zobrazit soubory (formulář)]
Na stránce nejsou žádné komentáře. [Zobrazit komentáře (formulář)]