Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
ahoj. potrebuji otestovat konecnu binarni mnozinu, zda je tranzitivni a antisymetricka.
antisymetricnost jsem vyresil asi takhle:
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).
jeste bych potreboval pomoct s tranzitivitou. dekuji
Offline