Diff for ''

Deletions are marked like this.	Additions are marked like this.
Line 1:	Line 1:
<div style="background-color: #CEF; border: 1px solid #8AF; padding: 5px 5px 5px 5px; margin: 5px 5%;"> <small> '''[[Státnice_-_Informatika_-_I2:_Softwarové_systémy|Státnice -- Softwarové systémy]]'''<br/> ''Složitost a vyčíslitelnost'' -- [[Státnice - Metody tvorby algoritmů_I2|Tvorba algoritmů (10🎓)]], [[Státnice - NP-úplnost_I2|NP-úplnost (15🎓)]], [[Státnice - Aproximační algoritmy a schémata_I2|Aproximační algoritmy (6🎓)]], [[Státnice - Algoritmicky vyčíslitelné funkce_I2|Vyčíslitelné funkce a rekurzivní množiny (8🎓)]], [[Státnice - Algoritmicky nerozhodnutelné problémy_I2|Nerozhodnutelné problémy (9🎓)]], [[Státnice - Věty o rekurzi_I2|Věty o rekurzi (6🎓)]]<br/> ''Datové struktury'' -- [[Státnice - Stromové vyhledávací struktury_I2|Stromy (32🎓)]], [[Státnice - Hašování_I2|Hašování (13🎓)]], [[Státnice - Třídění_I2|Třídění (10🎓)]]<br/> ''Databázové systémy'' -- '''[[Formální základy databázové technologie|Formální základy]]''': [[Formální základy databázové technologie/Relace|Relace (12🎓)]], [[Formální základy databázové technologie/Datalog|Datalog (9🎓)]], [[Formální základy databázové technologie/Ostatni|Ostatní (0🎓)]] &nbsp; '''[[Databázové modely a jazyky|Modely a jazyky]]''': [[Databázové modely a jazyky/SQL|SQL (7🎓)]], [[Databázové modely a jazyky/DIS|DIS (7🎓)]], [[Databázové modely a jazyky/Odborne|Odborné (3)]] &nbsp; '''[[Implementace databázových systémů|Implementace]]''': [[Implementace databázových systémů/Transakce|Transakce (5🎓)]], [[Implementace databázových systémů/Indexace|Indexace (10🎓)]], [[Implementace databázových systémů/Komprese|Komprese (3)]]<br/> ''Softwarové inženýrství'' -- [[Programovací jazyky a překladače|Programovací jazyky a překladače]], [[Objektově orientované a komponentové systémy|Objektově orientované a komponentové systémy]], [[Analýza a návrh softwarových systémů|Analýza a návrh softwarových systémů]]<br/> ''Systémové architektury'' -- [[Operační systémy (státnice)|Operační systémy]], [[Distribuované systémy|Distribuované systémy]], [[Architektura počítačů a sítí|Architektura počítačů a sítí]]<br/> ''Počítačová grafika'' -- [[Geometrické modelování a výpočetní geometrie|Geometrické modelování a výpočetní geometrie]], [[Analýza a zpracování obrazu, počítačové vidění a robotika|Analýza a zpracování obrazu, počítačové vidění a robotika]], [[2D počítačová grafika, komprese obrazu a videa|2D počítačová grafika, komprese obrazu a videa]], [[Realistická syntéza obrazu, virtuální realita|Realistická syntéza obrazu, virtuální realita]]<br/> <br> 🎓 - znamená kolikrát byla otázka u státnic </small> </div>	# uloha v prologu
Line 15:	Line 3:
[[Category:Státnice - Softwarové systémy]]	<{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}>