rod o: Wikipedia. Strony: 53. Rozdzia y: Z o ono obliczeniowa, Maszyna Turinga, Problem NP-zupe ny, Zbior Hintikki, Klasa Co-NPC, Koniunkcyjna posta normalna, Rachunek kombinatorow, Rozstrzygalno, Skalowalno, Z o ono Ko mogorowa, Paramodulacja, Funkcja Ackermanna, Problem spe nialno ci, Drzewo dyskryminacyjne, Substitution tree, Pracowity bobr, Funkcja obliczalna, Heurystyka, Problem plecakowy, Teoria obliczalno ci, Asymptotyczne tempo wzrostu, System Trachtenberga, Hipoteza Churcha-Turinga, Kompletno Turinga, Koszt zamortyzowany, Algorytm aproksymacyjny, Klasa z o ono ci, Program LOOP, Problem decyzyjny, Algorytm probabilistyczny, Metaheurystyka, Problem zbioru niezale nego, Algorytm deterministyczny, Transformacja pseudowielomianowa, Problem NP-trudny, Proof-Carrying Code, Program WHILE, Program GOTO, Mrowka Langtona, Problem stopu, Kryteria Popka-Goldberga, Dowod poprawno ci algorytmu, Problem nierozstrzygalny, Problem silnie NP-zupe ny, Dope nienie, Obliczenia symboliczne, Problem odpowiednio ci Posta, Problem sumy podzbioru, W pe ni wielomianowy schemat aproksymacji, Logika Hoare'a, Problem obliczeniowy, Problem NP-po redni, L-redukcja, Analiza przedzia owa, Algorytm wyk adniczy, Problem pokrycia wierzcho kowego, Garbage In, Garbage Out, Operacja atomowa, Algorytm pseudowielomianowy, Problem izomorfizmu podgrafu, Twierdzenie Cooka, Turmit, Lista problemow NP-zupe nych, Hiperkomputer, Problem optymalizacyjny, Optymalne szeregowanie zada dla wielu procesorow, Problem liczbowy, Transformacja Turinga, Funkcja Sudana, Algorytm wielomianowy, Ci gi Walsha, Wydajno oprogramowania, Operacja elementarna, Algorytmiczna teoria liczb, Rozmiar wej cia, Nomografia, Problem zbioru wierzcho kow rozrywaj cych cykle, Problem podzia u, Z o ono pesymistyczna, Wada bizantyjska, Obliczalno zbioru twierdze, Z o ono oczekiwana. Fragment: Pracowity bobr (ang. busy beaver) to maszyna Turinga o z gory zadanej liczbie stanow N, ktora zaczynaj c od pustej ta my (sa...