Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Darmowy
Szybszy dostęp niż przeglądarce!
 

Unifikacja (informatyka)

Indeks Unifikacja (informatyka)

Unifikacja – operacja na dwóch lub więcej drzewach, która znajduje takie przyporządkowanie zmiennych, że drzewa te sąrówne.

9 kontakty: Algorytm, Drzewo (informatyka), Implementacja (informatyka), Lisp, Multizbiór, Normalizacja, Przemienność, Rezolucja (matematyka), Zmienna (informatyka).

Algorytm

Algorytm – skończony ciąg jasno zdefiniowanych czynności koniecznych do wykonania pewnego rodzaju zadań, sposób postępowania prowadzący do rozwiązania problemu.

Nowy!!: Unifikacja (informatyka) i Algorytm · Zobacz więcej »

Drzewo (informatyka)

Przykładowe drzewo binarne Drzewo – struktura danych reprezentująca drzewo matematyczne.

Nowy!!: Unifikacja (informatyka) i Drzewo (informatyka) · Zobacz więcej »

Implementacja (informatyka)

Implementacja (wdrożenie, przystosowanie, realizacja, łac.ang. implementation) – w informatyce – proces przekształcania abstrakcyjnego opisu systemu lub programu na obiekt fizyczny: komputer lub działający program zapisany w konkretnym języku programowania; także obiekt fizyczny będący efektem takiego przekształcenia, np.

Nowy!!: Unifikacja (informatyka) i Implementacja (informatyka) · Zobacz więcej »

Lisp

Lisp – rodzina języków programowania z długąhistoriąi charakterystycznąskładnią.

Nowy!!: Unifikacja (informatyka) i Lisp · Zobacz więcej »

Multizbiór

Multizbiór (także wielozbiór) – uogólnienie pojęcia zbioru, w którym w odróżnieniu od klasycznych zbiorów jeden element może występować wiele razy.

Nowy!!: Unifikacja (informatyka) i Multizbiór · Zobacz więcej »

Normalizacja

* normalizacja (statystyka).

Nowy!!: Unifikacja (informatyka) i Normalizacja · Zobacz więcej »

Przemienność

2+3.

Nowy!!: Unifikacja (informatyka) i Przemienność · Zobacz więcej »

Rezolucja (matematyka)

Rezolucja – metoda automatycznego dowodzenia twierdzeń oparta na generowaniu nowych klauzul, aż dojdzie się do sprzeczności.

Nowy!!: Unifikacja (informatyka) i Rezolucja (matematyka) · Zobacz więcej »

Zmienna (informatyka)

Zmienna – konstrukcja programistyczna posiadająca trzy podstawowe atrybuty: symbolicznąnazwę, miejsce przechowywania i wartość.

Nowy!!: Unifikacja (informatyka) i Zmienna (informatyka) · Zobacz więcej »

Przekierowuje tutaj:

Algorytm unifikacji.

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »