Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35
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 )
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) :))