Category
page 1Mathematical theorems in theoretical computer science
Nyquist–Shannon sampling theorem
theorem in signal processing describing discrete samples of a continuous signal
Shannon–Hartley theorem
theorem that tells the maximum rate at which information can be transmitted
Shannon's source coding theorem
Data compression theory
Immerman–Szelepcsényi theorem
theorem