Nr 01 · Słownik · Teoria informatyki

twierdzenie o kodowaniu kanału

twierdzenie Shannona

Wynik mówiący, że transmisja z dowolnie małym prawdopodobieństwem błędu jest możliwa wtedy i tylko wtedy, gdy szybkość nie przekracza przepustowości kanału.

Karta hasła

Zobacz też

Powiązane pojęcia · Matematyka dyskretna i teoria obliczeń

  • 01liczba kardynalnaMiara mocy zbioru wyrażająca jego liczność, uogólniająca pojęcie liczby elementów na zbiory nieskończone.
  • 02zbiór przeliczalnyZbiór równoliczny z pewnym podzbiorem liczb naturalnych, tj. skończony lub równoliczny ze zbiorem liczb naturalnych.
  • 03kwantyfikatorOperator wiążący zmienną w formule, wyrażający zakres jej obowiązywania: ogólny (dla każdego) lub egzystencjalny (istnieje).
  • 04logika pierwszego rzęduFOLSystem logiczny dopuszczający kwantyfikację po elementach dziedziny, z predykatami, funkcjami i relacjami, ale bez kwantyfikacji po zbiorach.
  • 05predykatWyrażenie oznaczające relację lub własność elementów dziedziny, dające zdanie po podstawieniu argumentów.
  • 06twierdzenie o zupełnościWynik stwierdzający, że każda formuła prawdziwa we wszystkich modelach teorii jest w niej dowodliwa.
Źródło: Shannon, A Mathematical Theory of Communication, 1948proces