szukanie zaawansowane
 [ Posty: 1 ] 
Autor Wiadomość
Mężczyzna Offline
PostNapisane: 19 sty 2018, o 10:41 
Użytkownik

Posty: 5
Lokalizacja: Biadki
Wykorzystując algorytm unifikacji sprawdzić, czy zbiór S=\{ g(b,y,f(y)), g(x,p(b),z) \} jest unifikowalny. Jeśli tak, to podać najogólniejszy unifikator.
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 1 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Czy zbiór formuł modeluje formułę ?  matinf  6
 Zbiór konsekwencji logicznych  paulinaas  0
 Zbiór liczb naturalnych ?  lovelas  2
 Dowiesc: Podzbiór jest przeliczalny, gdy zbiór przeliczalny  ghostko  1
 Zapisać symbolicznie zdanie, zbiór częściowo uporządkowany  nne  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl