Kategoria:Teoria obliczeń
Związane kategorie
[edytuj | edytuj kod]
Podkategorie
Poniżej wyświetlono 8 spośród wszystkich 8 podkategorii tej kategorii.
A
- Algorytmy aproksymacyjne (7 stron)
J
K
- Klasy złożoności (15 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 90 spośród wszystkich 90 stron tej kategorii.
A
D
K
M
O
P
- Paramodulacja
- Pracowity bóbr
- Problem decyzyjny (teoria obliczeń)
- Problem liczbowy
- Problem nierozstrzygalny
- Problem obliczeniowy
- Problem odpowiedniości Posta
- Problem optymalizacyjny
- Problem plecakowy
- Problem podziału
- Problem selekcji
- Problem spełnialności
- Problem stopu
- Problem sumy podzbioru
- Problem zbioru niezależnego
- Program GOTO
- Program LOOP
- Program WHILE
- Proof-Carrying Code
- Punkt arbitralny