Kategoria:Teoria obliczeń

A

• Algorytmy aproksymacyjne‎ (7 stron)
• Automatyczne dowodzenie twierdzeń‎ (1 kategoria, 15 stron)

J

• Języki formalne‎ (3 kategorie, 48 stron)

K

• Klasy złożoności‎ (11 stron)

P

• Problemy obliczeniowe w teorii grafów‎ (10 stron)

R

• Rachunek lambda‎ (12 stron)
• Rekurencja‎ (1 kategoria, 12 stron)

T

• Teoria automatów‎ (2 kategorie, 24 strony)

• Obliczenia
• Teoria obliczeń

A

• Algorytm deterministyczny
• Algorytm probabilistyczny
• Algorytm pseudowielomianowy
• Algorytm wielomianowy
• Algorytm wykładniczy
• Algorytmiczna teoria liczb
• Analiza przedziałowa
• Asymptotyczne tempo wzrostu

B

• Błąd modelu

C

• Ciągi Walsha

D

• Dopełnienie (teoria złożoności)
• Dowód poprawności algorytmu
• Dowód Turinga
• Drzewo dyskryminacyjne (teoria obliczeń)
• Dziesiąty problem Hilberta

F

• Funkcja Ackermanna
• Funkcja obliczalna
• Funkcja Sudana

G

• Garbage in, garbage out

H

• Heurystyka (informatyka)
• Hiperkomputer
• Hipoteza Churcha-Turinga

K

• Kompletność Turinga
• Koniunkcyjna postać normalna
• Koszt zamortyzowany
• Kryteria Popka-Goldberga
• Kwantowa maszyna Turinga

L

• Lista problemów NP-zupełnych
• Logika Hoare’a

M

• Maszyna licznikowa
• Maszyna Pawlaka
• Maszyna Turinga
• Maszyna Turinga z wyrocznią
• Metaheurystyka
• Metoda tablic semantycznych
• Mrówka Langtona

N

• Niedeterministyczna maszyna Turinga
• Nomografia

O

• Obliczenia symboliczne
• Operacja atomowa
• Operacja elementarna
• Optymalne szeregowanie zadań dla wielu procesorów

P

• Paramodulacja
• Pracowity bóbr
• Problem decyzyjny (teoria obliczeń)
• Problem liczbowy
• Problem nierozstrzygalny
• Problem NP-pośredni
• Problem NP-trudny
• Problem NP-zupełny
• Problem obliczeniowy
• Problem odpowiedniości Posta
• Problem optymalizacyjny
• Problem plecakowy
• Problem podziału
• Problem selekcji
• Problem silnie NP-zupełny
• Problem spełnialności
• Problem stopu
• Problem sumy podzbioru
• Problem zbioru niezależnego
• Program GOTO
• Program LOOP
• Program WHILE
• Proof-Carrying Code
• Punkt arbitralny

R

• Rachunek kombinatorów
• Redukcja (teoria złożoności)
• Rozmiar wejścia
• Rozstrzygalność

S

• Substitution tree
• System Trachtenberga
• Szybko rosnąca hierarchia

T

• Teoria obliczalności
• Teoria złożeń
• Teza Edmondsa
• Transformacja pseudowielomianowa
• Transformacja Turinga
• Transformacja współrzędnych
• Turmit
• Twierdzenie Cooka
• Twierdzenie Rice’a

W

• Wada bizantyjska
• Wielotaśmowa maszyna Turinga
• Wieże Hanoi
• Wydajność oprogramowania

Z

• Zbiór Hintikki
• Złożoność Kołmogorowa
• Złożoność obliczeniowa
• Złożoność oczekiwana
• Złożoność pesymistyczna