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.
Uniwersytet Wrocławski Instytut Matematyczny - rekrutacja 2018
Góra
Utwórz nowy temat Odpowiedz w temacie  [ Posty: 1 ] 


 Zobacz podobne tematy
 Tytuł tematu   Autor   Odpowiedzi 
 Zbiór konsekwencji logicznych  paulinaas  0
 Zdanie logiczne zawierające zbiór  VirtualUser  1
 Zbiór elementów spełniających formę zdaniową  aniu_ta  5
 Wyznacz zbiór - zadanie 14  nogiln  3
 Zapisz zbiór  Dario1  18
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl