Kategoria:Teoria obliczeń
Związane kategorie[edytuj | edytuj kod]
Podkategorie
Poniżej wyświetlono 7 spośród wszystkich 7 podkategorii tej kategorii.
A
J
K
- Klasy złożoności (11 stron)
P
- Problemy obliczeniowe w teorii grafów (10 stron)
R
- Rachunek lambda (12 stron)
T
Strony w kategorii „Teoria obliczeń”
Poniżej wyświetlono 95 spośród wszystkich 95 stron tej kategorii.
A
D
K
M
O
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 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