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 liczb spełniających implikacje formy zdaniowej .  kamilo14  2
 Wykaż, że zbiór spójników jest zupełny  SnowBird  1
 Czy zbiór formuł modeluje formułę ?  matinf  6
 Wydzielono z: zbiór jednoelementowy  yorgin  5
 zbiór podniesiony do potęgi  mpk  1
 
Atom [Regulamin Forum] [Instrukcja LaTeX-a] [Poradnik] [F.A.Q.] [Reklama] [Kontakt]
Copyright (C) Karpatka.pl