Perguntas com a marcação «terminology»

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


2
O que é equivalência beta?
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . No script que estou lendo atualmente no cálculo lambda, a equivalência beta é definida como esta: O ββ\beta -equivalence ≡β≡β\equiv_\beta é o menor equivalência que contém …

7
Qual é o significado da notação polonês reversa?
Ensino computação a jovens de 18 anos. Depois de ter explicado a notação polonesa reversa, perguntamos por que é significativo o suficiente para participar de um exame público. Expliquei o significado histórico das calculadoras dos anos 70, mas isso não conseguiu realmente resolver o problema. Portanto, existem aplicações práticas ou …

5
O que exatamente é computação?
Eu sei o que a computação é em algum sentido vago (é o que os computadores fazem), mas eu gostaria de uma definição mais rigorosa. Dictionary.comAs definições de computação, computação, cálculo e computação são circulares, portanto, não ajuda. Wikipediadefine computação como "qualquer tipo de cálculo que siga um modelo bem …




5
Ponto fixo, o que isso significa no mundo da ciência da computação
Eu continuo encontrando referências ao ponto fixo em perguntas e respostas no stackexchange e procuro o significado na Web, obviamente, encontrando referências em sites como o Wikipedia. No entanto, nenhuma das referências realmente responde à minha pergunta sobre o que é um ponto fixo e o que isso significa no …

3
Existe uma teoria das hierarquias de exceção?
Eu estou familiarizado com uma dúzia de linguagens de programação que têm exceções de alguma forma, mas vim testemunhar duas tendências "patológicas". Não parece haver um padrão ou hierarquia comum de exceções. Todo idioma basicamente lança sua própria versão e, se as exceções o tornarem padrão, os tipos de exceções …







Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.