Szybszy dostęp niż przeglądarce!
8 kontakty: Automatyczne dowodzenie twierdzeń, Drzewo dyskryminacyjne (teoria obliczeń), Informatyka, Matematyka, Substitution tree, System informacyjno-wyszukiwawczy, Term, Zbiór.
Automatyczne dowodzenie twierdzeń
Automatyczne dowodzenie twierdzeń (ang. automated theorem proving) – proces, w którym komputer rozstrzyga czy dane twierdzenie jest dowodliwe w jakiejś teorii, często przy okazji generując jego dowód.
Nowy!!: Indeksowanie termów i Automatyczne dowodzenie twierdzeń · Zobacz więcej »
Drzewo dyskryminacyjne (teoria obliczeń)
Drzewo dyskryminacyjne – metoda indeksowania termów polegająca na trzymaniu w każdym węźle prefiksu oraz wskaźników na wszystkie węzły dla których jest bezpośrednim prefiksem.
Nowy!!: Indeksowanie termów i Drzewo dyskryminacyjne (teoria obliczeń) · Zobacz więcej »
Informatyka
Informatyka zajmuje się teoretycznymi podstawami informacji, algorytmami i architekturami układów jąprzetwarzających oraz praktycznymi technikami ich stosowania.
Nowy!!: Indeksowanie termów i Informatyka · Zobacz więcej »
Matematyka
Rafaela Santiego (XVI wiek); cyrkiel trzyma Euklides, grecki matematyk z III wieku p.n.e. Uniwersytetu Oksfordzkiego; na ziemi znajduje się parkietaż Penrose’a opisany po raz pierwszy przez jednego z pracowników tej placówki. Matematyka (z łac. mathematicus, od gr. μαθηματικός mathēmatikós, od μαθηματ-, μαθημα mathēmat-, mathēma, „nauka, lekcja, poznanie”, od μανθάνειν manthánein, „uczyć się, dowiedzieć”; prawd. spokr. z goc. mundon, „baczyć, uważać”) – nauka zaliczana do grupy formalnych, inaczej dedukcyjnych lub apriorycznych, a także do nauk ścisłych i definiująca tę grupę – matematyka stanowi ich fundament.
Nowy!!: Indeksowanie termów i Matematyka · Zobacz więcej »
Substitution tree
Substitution tree – metoda indeksowania termów polegająca na trzymaniu w każdym termie podstawienia, które należy wykonać na węźle rodzicu żeby uzyskać dany term.
Nowy!!: Indeksowanie termów i Substitution tree · Zobacz więcej »
System informacyjno-wyszukiwawczy
System informacyjno-wyszukiwawczy (SIW) – system informacyjny, przetwarzający informację wejściową(np. z dokumentów w zbiorze informacyjnym) w ustrukturalizowany zbiór wyszukiwawczy.
Nowy!!: Indeksowanie termów i System informacyjno-wyszukiwawczy · Zobacz więcej »
Term
Term (formuła nazwowa) – wyrażenie składające się ze zmiennych oraz symboli funkcyjnych o dowolnej argumentowości (w tym o argumentowości 0, czyli stałych) z pewnego ustalonego zbioru.
Nowy!!: Indeksowanie termów i Term · Zobacz więcej »
Zbiór
Zbiór (dawniej także mnogość) – pojęcie pierwotne aksjomatycznej teorii mnogości (zwanej też teoriązbiorów) leżące u podstaw całej matematyki; idealizacja intuicyjnie rozumianego zbioru (zestawu, kolekcji) utworzonego z elementów (komponentów, składowych), która jest efektem abstrahowania od wewnętrznej struktury modelowanego obiektu i wzajemnych zależności między jego elementami (np. hierarchii, czy kolejności).
Nowy!!: Indeksowanie termów i Zbiór · Zobacz więcej »
