Questions marquées «information-theory»

Questions sur la théorie de l'information, l'entropie et le contenu informationnel de diverses sources

11
Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...

10
Le taux de correction des erreurs est trompeur

Dans la théorie du codage, «la qualité d'un code» signifie combien d'erreurs de canal peuvent être corrigées, ou mieux, le niveau de bruit maximal auquel le code peut faire face. Afin d'obtenir de meilleurs codes, les codes sont conçus à l'aide d'un grand alphabet (plutôt que binaire). Et puis, le...