Perguntas com a marcação «terminology»

Estou em um curso sobre computação e complexidade e não consigo entender o que esses termos significam. Tudo o que sei é que NP é um subconjunto de NP-complete, que é um subconjunto de NP-hard, mas não tenho idéia do que eles realmente significam. A Wikipedia também não ajuda muito, …

249 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

Na maioria das aulas introdutórias de algoritmo, são apresentadas notações como (Big O) e , e um aluno geralmente aprende a usar uma delas para encontrar a complexidade do tempo.OOOΘΘ\Theta No entanto, existem outras notações, como , e . Existem cenários específicos em que uma notação seria preferível a outra?Ω …

90 algorithms  terminology  asymptotics  landau-notation  reference-question 

Se você calcular a área de um retângulo, basta multiplicar a altura e a largura e recuperar a unidade ao quadrado. Exemplo: 5cm * 10cm = 50cm² Por outro lado, se você calcula o tamanho de uma imagem, também multiplica a altura e a largura, mas recupera a unidade - …

81 terminology 

Eu tenho lido recentemente sobre o cálculo do Lambda, mas estranhamente não consigo encontrar uma explicação do motivo pelo qual é chamado "Lambda" ou de onde vem a expressão. Alguém pode explicar as origens do termo?

75 terminology  computation-models  lambda-calculus  history 

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 sobre uma estrutura infinita? …

68 terminology  logic  proof-techniques  formal-methods  coinduction 

Costumo ouvir pessoas falando sobre computação paralela e computação distribuída , mas tenho a impressão de que não há limites claros entre os 2, e as pessoas tendem a confundir isso com bastante facilidade, enquanto acredito que seja muito diferente: A computação paralela é mais fortemente acoplada ao multi-threading, ou …

61 terminology  distributed-systems  parallel-computing 

Alguém poderia explicar a diferença entre tipos dependentes e tipos de refinamento? Pelo que entendi, um tipo de refinamento contém todos os valores de um tipo que atendem a um predicado. Existe um recurso de tipos dependentes que os distingue? Se isso ajudar, me deparei com tipos refinados pelo projeto …

58 terminology  programming-languages  type-theory  functional-programming  dependent-types 

Por que na ciência da computação qualquer complexidade que é no máximo polinomial é considerada eficiente? Para qualquer aplicação prática (a) , algoritmos com complexidade são muito mais rápidos que algoritmos que executam no tempo, digamos , mas o primeiro é considerado ineficiente enquanto o último é eficiente. Cadê a …

50 algorithms  complexity-theory  terminology  efficiency 

O(m+n)O(m+n)O(m+n)O(max(m,n))O(max(m,n))O(\max(m,n))O(min(m,n))O(min(m,n))O(\min(m,n))O(|V|+|E|)O(|V|+|E|)O(|V| + |E|)

44 terminology  asymptotics  mathematical-analysis  landau-notation 

Ao analisar a programação simultânea, dois termos são comumente usados, ou seja, simultâneo e paralelo. E algumas linguagens de programação reivindicam especificamente suporte para programação paralela, como Java . Isso significa que a programação paralela e simultânea são realmente diferentes?

44 terminology  parallel-computing  concurrency 

Em "Big O", notações comuns têm nomes comuns (em vez de dizer "Oh, de algum fator constante"): O (1) é "Constante" O (log n) é "logarítmico" O (n) é "Linear" O (n ^ 2) é "Quadrático" O (n * log n) é ??? É apenas "n log n" ou tem …

40 terminology  asymptotics 

Parece que neste site, as pessoas geralmente corrigem outras por "algoritmos" e "problemas" confusos. Qual é a diferença entre estes? Como sei quando devo considerar algoritmos e problemas? E como eles se relacionam com o conceito de linguagem na teoria formal da linguagem?

40 algorithms  complexity-theory  formal-languages  terminology  reference-question 

Estou cursando um Bacharelado em Ciência da Computação, mas estou no início e tenho certeza de que ficarei feliz com minha escolha, pois parece uma educação acadêmica e profissional flexível. Dito isto, parece haver uma variedade de definições sobre o que a Ciência da Computação realmente é em relação à …

39 terminology  history 

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, são dicionários …

38 terminology  hashing 

Resumo: De acordo com o teorema de Rice, tudo é impossível. E, no entanto, faço essas coisas supostamente impossíveis o tempo todo! Obviamente, o teorema de Rice não diz simplesmente "tudo é impossível". Diz algo bastante mais específico: "Todas as propriedades de um programa de computador não são computáveis". (Se …

37 terminology  computability  undecidability  rice-theorem