Perguntas com a marcação «information-theory»

Perguntas sobre a teoria da informação, entropia e conteúdo de informação de várias fontes

11
Inferindo tipos de refinamento

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: 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 =>...

10
A taxa de correção de erros é enganosa

Na teoria da codificação, 'quão bom é um código' significa quantos erros de canal podem ser corrigidos, ou melhor, o nível máximo de ruído com o qual o código pode lidar. Para obter códigos melhores, os códigos são projetados usando um alfabeto grande (em vez de um código binário). E então, o...