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 »