Perguntas com a marcação «terminology»

Atualmente, estou pesquisando para minha tese de diploma em ciência da computação com um tópico na área de tabelas de hash distribuídas. Naturalmente, vim à questão de onde veio o termo tabela de hash distribuído . (Eu sei que não é ciência do foguete apenas derivá-lo da distribuição de uma …

7 data-structures  terminology  distributed-systems  hash-tables  history 

Eu tenho lido sobre PHP e muitos autores mencionam erros semânticos e lógicos separadamente. Como exemplo de erro semântico, eles fornecem uma função chamada com número incorreto de parâmetros: isso não será capturado pelo analisador, mas gerará um erro quando executado. No entanto, em linguagens como C ++, isso será …

7 terminology  programming-languages  compilers  program-correctness 

Estou escrevendo uma pequena função para alterar um gráfico de uma certa maneira e queria saber se existe um nome formal para a operação. A operação utiliza duas arestas distintas, injeta um novo nó entre os nós existentes de cada aresta e adiciona uma aresta entre os dois novos nós. …

7 graph-theory  terminology  combinatorics 

Os slides do meu curso em arquitetura de software sugerem que esses são termos separados, mas não consigo encontrar a diferença. Todos eles não estão apenas traduzindo interfaces?

7 terminology  software-engineering 

Estou fazendo uma tese de pós-graduação sobre a comprovação da correção do programa para multiplicar 2 matrizes usando a lógica Hoare. Para fazer isso, preciso gerar o loop invariável para aninhado para este programa: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + …

7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 

Em um conjunto parcialmente ordenado, sempre posso ordenar dois elementos arbitrários fora do conjunto? Ou é possível que dois elementos dentro do conjunto não tenham relação de ordem entre si? Por exemplo, se houver três elementos { a , b , c }{uma,b,c}\{a, b, c\}e e , ou têm que …

7 terminology  discrete-mathematics  order-theory