Diff for ''

Revision 22
Author:
black
Time:
2022-11-11 20:34
Revision 1
Time:
2024-06-13 22:31
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
{
 "Matematika": {
  "∩": "∩",
  "∪": "∪",
  "∧": "∧",
  "∨": "∨",
  "∞": "∞",
  "∑": "∑",
  "∏": "∏",
  "∈": "∈",
  "∉": "∉",
  "∅": "∅",
  "∀": "∀",
  "∃": "∃",
  "∄": "∄",
  "⇔": "⇔",
  "⇐": "⇐",
  "⇒": "⇒",
  "¬": "¬",
  "💡": "💡",
  "☀": "☀",
  "🎓": "🎓",
  "−": "−",
  "×": "×",
  "÷": "÷",
  "≈": "≈",
  "≠": "≠",
  "⊂": "⊂",
  "⊆": "⊆",
  "≡": "≡",
  "≅": "≅",
  "<": "<",
  ">": ">",
  "≤": "≤",
  "≥": "≥",
  "±": "±",
  "¹" : "¹",
  "₁" : "₁",
  "²" : "²",
  "₂" : "₂",
  "³" : "³",
  "₃" : "₃",
  "⁴" : "⁴",
  "⁵" : "⁵",
  "⁶" : "⁶",
  "⁷" : "⁷",
  "⁸" : "⁸",
  "⁹" : "⁹",
  "⁰" : "⁰",
  "½" : "½",
  "ᵢ" : "ᵢ",
  "ⱼ" : "ⱼ",
  "ₖ" : "ₖ",
  "ₘ" : "ₘ",
  "ₛ" : "ₛ"
 },
 "Greek": {
  "α" : "α",
  "β" : "β",
  "γ" : "γ",
  "δ" : "δ",
  "ε" : "ε",
  "θ" : "θ",
  "π" : "π",
  "ró" : "ρ",
  "σ" : "σ",
  "Gama" : "Γ",
  "χ" : "χ",
  "ω" : "ω",
  "Κ" : "Κ",
  "Σ" : "Σ"
 },
 "Symboly": {
  "−": "−",
  "—": "—",
  "°": "°",
  "′": "′",
  "″": "″",
  "←": "←",
  "→": "→",
  "↓": "↓",
  "↑": "↑",
  "„“" : "„“",
  "»«" : "»«",
  "#" : "#",
  "@" : "@",
  "|" : "|",
  "~" : "~",
  "&": "&",
  "§": "§",
  "•" : "•",
  "·": "·",
  "…" : "…",
  "€" : "€",
  "$" : "$"
 },
 "Diakritika": {
  "Æ" : "Æ",
  "æ" : "æ",
  "À" : "À",
  "à" : "à",
  "Â" : "Â",
  "â" : "â",
  "Ä" : "Ä",
  "ä" : "ä",
  "Å" : "Å",
  "å" : "å",
  "Ç" : "Ç",
  "ç" : "ç",
  "È" : "È",
  "è" : "è",
  "É" : "É",
  "é" : "é",
  "Ê" : "Ê",
  "ê" : "ê",
  "Ë" : "Ë",
  "ë" : "ë",
  "Î" : "Î",
  "î" : "î",
  "Ï" : "Ï",
  "ï" : "ï",
  "Ô" : "Ô",
  "ô" : "ô",
  "Ö" : "Ö",
  "ö" : "ö",
  "Ø" : "Ø",
  "ø" : "ø",
  "Ù" : "Ù",
  "ù" : "ù",
  "Û" : "Û",
  "û" : "û",
  "Ü" : "Ü",
  "ü" : "ü",
  "Ÿ" : "Ÿ",
  "ÿ" : "ÿ",
  "Œ" : "Œ",
  "œ" : "œ"
 }
}		 # 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}>