Perguntas com a marcação «terminology»

Perguntas sobre como as noções específicas devem ser entendidas, bem como convenções de notação.

68
O que é coindução?

Já ouvi falar em indução (estrutural). Ele permite que você construa estruturas finitas a partir de estruturas menores e fornece princípios de prova para raciocinar sobre essas estruturas. A ideia é clara o suficiente. Mas e a coindução? Como funciona? Como alguém pode dizer algo conclusivo...

38
O que exatamente (e precisamente) é "hash"?

Eu ouvi a palavra "hash" sendo usada em diferentes contextos (todos no mundo da computação) com significados diferentes. Por exemplo, no livro Aprenda Python da maneira mais difícil, no capítulo sobre dicionários , diz-se "Python os chama de" dictos ". Outras línguas os chamam de" hashes "." Então,...

28
Por que o tipo de vácuo de C não é análogo ao tipo vazio / inferior?

A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. Uma função com um tipo de retorno de...