Diff for ''

Deletions are marked like this.	Additions are marked like this.
Line 1:	Line 1:
<includeonly><div class="math_theorem" style="margin: 1em 0em; padding: 0.5em 1em 0.4em; border: 1px solid #aaa; text-align: justify;"> <strong class="theorem-name">Věta ({{{name|{{{2}}}}}})</strong><span class="theoreme-tiret">:&nbsp;</span>{{{1}}} </div></includeonly>	# Ukol v Prologu <{ForumPost(poster="nolfka", timestamp=2011-05-10 17:50:44)}> Caute, mám problém s programem v prologu, jehož zadání zní:    Na vstupu je dána binární relace definovaná na jisté konečné množině prvků. Úkolem je napsat program v Prologu, který nám ověří, zda-li je relace antisymetrická a také tranzitivní.    Za každý nápad budu vděčná... jde o "krásnou" matematiku, ale po pár letech programování v Javě a jen páru týdnech psaní "něčeho" v Prologu mi to nějak v tom Prologu ne a ne fungovat... :( <{/ForumPost}> <{ForumPost(poster="PetrK", timestamp=2011-05-10 19:50:33)}> Stejne zadani je tu: [http://forum.matfyz.info/viewtopic.php?f=169&t=6846](http://forum.matfyz.info/viewtopic.php?f=169&t=6846) <{/ForumPost}> <{ForumPost(poster="nolfka", timestamp=2011-05-10 21:38:03)}> Heeej díky moc.... :) jdu na to kouknout ..... :P <{/ForumPost}>