Diff for ''

Revision 15
Author:
black
Time:
2022-10-16 02:34
Revision 1
Time:
2024-06-13 22:31
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
<div style="clear: right; float: right; line-height: 1.4; margin: 0 0 1em 1em; width: 16em; border: 1px solid #aaa;">
{| class="wikitable" style="font-size: 85%; margin-top: 0; width: 100%;"
|-
| style="font-size: 120%; font-weight: bold; text-align: center; background: #def;" |Prednášky z [[Vyčíslitelnost II_|Vyčísliteľnosti II]]
|-
!Obsah
|-
||
*[[TIN065 Prehľad|Prehľad]]
*[[TIN065 Prednáška 01|Prvá prednáška]]
*[[TIN065 Prednáška 02|Druhá prednáška]]
*[[TIN065 Prednáška 03|Tretia prednáška]]
*[[TIN065 Prednáška 04|Štvrtá prednáška]]
*[[TIN065 Prednáška 05|Piata prednáška]]
*[[TIN065 Prednáška 06|Šiesta prednáška]]
*[[TIN065 Prednáška 07|Siedma prednáška]]
*[[TIN065 Prednáška 08|Ôsma prednáška]]
*[[TIN065 Prednáška 09|Deviata prednáška]]
*[[TIN065 Prednáška 10|Desiata prednáška]]
*[[TIN065 Prednáška 11|Jedenásta prednáška]]
*Dvanásta prednáška
*[[TIN065 Zhrnutie|Zhrnutie na skúšku]]
|}
</div>		 # uloha v prologu

<{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}>