Kategori:Matematiska satser inom teoretisk datavetenskap
Sidor i kategorin "Matematiska satser inom teoretisk datavetenskap"
C
Cheung-Marks teorem
I
Immerman–Szelepcsényi teorem
N
Nyquist–Shannon provtagningssats
S
Schwartz–Zippel-lemma
Shannon-Hartleys teorem
Shannons källkodssats