Diff for ''

Deletions are marked like this.	Additions are marked like this.
Line 1:	Line 1:
# uloha v prologu	Seznam je řazen podle abecedy.
Line 3:	Line 3:
<{ForumPost(poster="msokol3", timestamp=2010-06-14 21:38:55)}> Ahoj. potreboval by som trochu helfnut s ulohou v prologu. potrebujem overit konecnu binarnu mnozinu, ci je antisymetricka a tranzitivna. ak mi niekto mozete pomoct, budem velmi rad. dakujem. <{/ForumPost}> <{ForumPost(poster="venca", timestamp=2010-06-15 17:40:10)}> co je binární množina? <{/ForumPost}> <{ForumPost(poster="msokol3", timestamp=2010-06-17 09:11:34)}> G(\[1,2],\[1,3]) napr.    pre antisymetriu mam spracovany kod:    antisym(\[]). antisym(\[\[X,Y]|R]):-     najdi(\[Y,X],R, \[Y,X]),!,fail. antisym(\[\[X,Y]|R]):-     antisym(R)    najdi(A,\[A|_],A). najdi(A,\[B|S],Out):- najdi(A,S,Out).    malo by to fungovat. akurat mam problem s tranzitivitou. <{/ForumPost}> <{ForumPost(poster="thc", timestamp=2010-06-20 21:49:48)}>  > msokol3 wrote:G(\[1,2],\[1,3]) napr.  >  > pre antisymetriu mam spracovany kod:  >  > antisym(\[]).  > antisym(\[\[X,Y]|R]):-  > najdi(\[Y,X],R, \[Y,X]),!,fail.  > antisym(\[\[X,Y]|R]):-  > antisym(R)  >  > najdi(A,\[A|_],A).  > najdi(A,\[B|S],Out):-  > najdi(A,S,Out).  >  > malo by to fungovat. akurat mam problem s tranzitivitou. V ramci pripravy na zkousku (samozrejme bez zaruky):     binary_set( [(1,1),(1,2),(3,3),(2,3)] ).          non_member(X,[Y|T]) :- X \== Y, non_member(X,T).     non_member(X,[]).          antisymetrie([]).     antisymetrie([(A,B)|XS]) :- A == B, antisymetrie(XS).     antisymetrie([(A,B)|XS]) :- A \== B, non_member((B,A), XS), antisymetrie(XS).          % binary_set(A),tranzitivita(A).     tranzitivita([]).     tranzitivita(XS) :- tranzitivita(XS, XS).          tranzitivita([], _).     tranzitivita([(A,B)|XS], YS) :- (member((B,C), YS) -> member((A,C), YS)), tranzitivita(XS, YS).      <{/ForumPost}> <{ForumPost(poster="msokol3", timestamp=2010-06-22 20:19:49)}> diky moc za pomoc:) <{/ForumPost}>	* [http://montyb.borec.cz/ Martin Bezdíček] ** něco fotek z matfyzu, něco dalších fotek a vlastní prózy, prostě nuda * [http://martin.alikuvkoutek.cz/ Martin Cetkovský] ** informatika, admin [http://citaty.matfyz.cz Citátů MFF], správce [http://www.kolej.mff.cuni.cz kolejních stránek 17. listopadu], člen (převážně matfyzáckého) [http://sebranka.matfyz.cz pěveckého sboru Sebranka], syn své maminky :) ** [http://basnik.alikuvkoutek.cz/ amatérské básničky] (některé i poměrně kvalitní), [http://vtipy.alikuvkoutek.cz něco pro úsměv], [http://mcsoftware.alikuvkoutek.cz/?FID=70& program proti zapomínání] (Windows) * [http://cendo.skialpfest.sk Peter Čendula] ** skialpy, hory, blog * [http://jojo.matfyz.cz/ Marián Černý] ** zatiaľ nič zaujímavé * [http://www.decky.cz/ Martin Děcký] ** informatika, nějaké [http://projects.decky.cz/ projekty] a [http://lectures.decky.cz/ přednášky] * [http://starec.blog.zive.cz/ Vladimír Dědek] ** C#, ASP.NET, SQL a mnohe dalsi * [http://joshis.iprofil.cz/ Petr Dvořák (Josh)] ** článečky, diskuze, fotogalerie, studijní podklady * [http://www.jail.sk Ján Ilavský (Jail)] ** hudba, zatiaľ nič moc * [http://pavelmotal.zzl.org/ Pavel Motal] ** osobní web: moje práce, odkazy, galerie, chat, atd... * [http://www.koupy.net/ Petr Koupý] ** osobní web, programy * [http://www.aleskrajnik.cz/ Aleš Krajník] ** Wing Chun, PHP, Fotky focené pro radost ... * [http://andree.sk/ Andrej Kruták (andree)] ** informatika, moje projekty, domáce úlohy z C, Pascalu, neprocedurálka... a rôzne iné halušky ;-) * [http://kryl.info Milan Kryl] ** informatika, řešené příklady pro cvika z UNIXu, citáty vyučujících na MFF UK, ... * [http://www.kulman.sk Igor Kulman] ** weblog o webových technológiách a Windows Vista, ModularCMS * [http://mach.matfyz.cz Lukáš Mach] ** zápisky z přednášek (viz červený odkaz - hlavně Teorie her + nějaké náhodné věci) a spálený chleba * [http://www.majda.cz David Majda] ** informatika, [http://www.majda.cz/zapisnik/ zápisník] (především o programování), stránky s [http://ekonomie.majda.cz/ materiály ke Kameníčkově ekonomii], pár dalších věcí * [http://www.jakubmaly.cz Jakub Malý (trupik)] ** Jakub Malý, osobní stránky a blog * [http://www.nekola.cz Ondra Nekola (satai)] ** Jsem Šedý, stojím mezi svící a hvězdou. Jsme Šedí, stojíme mezi světlem a temnotou. Java, Mac OS X, programování v reálném světě a sci-fi. * [http://www.cs.wm.edu/~dnguyen/ David T. Nguyen] ** Osobní stránky absolventa. MFF, Boston, Stanford, W&M, Facebook. * [http://urtax.ms.mff.cuni.cz/~novap2am/ Petr Novák (che)] ** nějaké poznámky, fotky, nově přidaný odkaz na Královskou společnost pro sprchování s rodiči * [http://ivokabel.wz.cz Ivo Pavlík] ** Niečo o mne, nejaké obrázky... * [http://artax.karlin.mff.cuni.cz/~pecaj2am Jakub Pečánka (pecan)] ** studium (matematika a ekonomie), doučování, obecné info, ... * [http://artax.karlin.mff.cuni.cz/~pestm1am Michal Pešta (Mišisko)] ** hory, foto, básne, matematická štatistika, ... * [http://www.tydlin.cz Tomáš Pop (Ty-Dyt nebo Tydlin)] ** Osobní stránky, ale celkem hodně věcí ze studia z MFF, ... * [http://anja.matfyz.cz/ Anička Roubíčková] ** informatika, zápisky z přednášek a cvičení * [http://j4ro.livejournal.com Jan Rouš (ja.ro)] ** blog * [http://atrey.karlin.mff.cuni.cz/~miero/ Miroslav Rudišin (miEro)] ** informatika, správca [http://artax.karlin.mff.cuni.cz/ artax-u], ... * [http://gk2.sk/ Pavol "stick" Rusnák] ** #cypherpunk #hacker #openhw #privacy #bitcoin #newmediaart * [http://www.volny.cz/amiginka/moje/ Jitka Setíkovská (Amiginka)] ** matematika, hlavně úkoly na Výpočetní prostředí pro statistickou analýzu dat, RC5-72 team UK * [http://artax.karlin.mff.cuni.cz/~sotam0am Miroslava Sotáková (mirka)] ** zápisky z ciest, fotky, časom a príležitostne i tá matematika * [http://www.lukysoft.cz Lukáš Stehlík (Luky)] ** informatika, zápočtáky, ročníkáče a moje jiné projekty * [http://www.suchan.cz Martin Suchan] ** blog, fotky, občas zmínka o mé tvorbě na MFF * [http://jsimlo.sk/ Juraj Šimlovič (jsimlo)] ** kopa blbostí, pár zápočťákov [http://jsimlo.sk/home/projects.php tu], editor [http://jsimlo.sk/notepad/ TED Notepad], .. * [http://srakyi.modry.cz/blog/ Michal Šrajer (srakyi)] ** pokus o blog na téma [http://srakyi.modry.cz/blog/ softwarové inženýrství] * [http://andrew.matfyz.cz Ondrej Šterbák (andrew)] ** informatika, nejaké programíky, odkazy.. * [http://www.expost.cz/ František Štrupl] ** Především odkazy na praktika a diferenciální geometrie. * [http://hanasustkova.ic.cz Hana Šustková] ** Stránky o MFF, časopisu Lacadalet a jen tak * [http://kdybynahodou.wz.cz/ Julie Švecová ] **Kdybynáhodou: blbosti, citáty,povídky.. prostě osobní stránky.. * [http://www.josiff.net Jozef Sabo (JosIFF)] ** blog, nejaké fotky a linky, samozrejme guestbook... * [http://www.martinvseticka.eu Martin Všetička] ** Programování I. - řešené úlohy z Pascalu, různé notace (postfix, prefix, infix) v C#; Úvod do UNIXu - zápisky ze cvičení z UNIXu a pár řešených zkouškových úloh