Perguntas com a marcação «history»

Eu normalmente uso o símbolo para string vazia (palavra vazia ou string nula). Mas eu sei que algumas pessoas usam λ em vez de ε .εε\varepsilonλλ\lambdaεε\varepsilon Eu acho que é derivado da palavra "Vazio". No entanto, não sei qual é a origem de λ .εε\varepsilonλλ\lambda Na teoria dos autômatos, há …

14 formal-languages  automata  reference-request  notation  history 

A literatura é bastante clara que RAMs de custo unitário com multiplicação primitiva são irracionais, pois não pode ser simulado por máquinas de Turing em tempo polinomial pode resolver problemas completos do PSPACE em tempo polinomial No entanto, todas as referências que posso encontrar sobre esse tópico (Simon 1974, Schonhage …

13 complexity-theory  reference-request  computation-models  history 

Eu queria saber se alguém sabia a origem do modelo de servidor do cliente. De onde vem o termo (papel, aplicativo de software, livro)?

13 terminology  reference-request  distributed-systems  history 

Por que a transformação laplace não é popular para a convolução do processamento de imagem? A maioria dos livros converte apenas as transformadas de Fourier.

12 history  image-processing 

Diz-se que a teoria da computabilidade também é chamada de teoria da recursão. Por que é assim chamado? Por que a recursão tem tanta importância?

12 computability  terminology  history 

O título diz tudo, mas estou curioso porque não é óbvio como um provador de teoremas foi chamado de 'Isabelle'. Foi nomeado para uma pessoa? Não consegui descobrir em algumas pesquisas no Google.

11 history  automated-theorem-proving  isabelle 

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 …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Estou lendo o artigo "Máquinas e inteligência computacional" de Turing ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) e encontrei um fragmento no qual ele diz: Instalei no computador Manchester um pequeno programa usando apenas 1.000 unidades de armazenamento, em que a máquina fornecida com um número de dezesseis dígitos responde com a outra dentro …

10 algorithms  history 

Ouvi várias explicações possíveis, então gostaria de alguma referência confiável. Atualização 05.19: Estou interessado na pergunta, porque um dos meus alunos escreveu em sua tese que o nome vem da explicação abaixo (1). Até agora, pensei / ouvi dizer que se trata de uma explicação (2). Eu me sentiria mal …

9 terminology  reference-request  history 

Sobre o estado da arte que estou executando à frente da teoria dos tipos, tenho todas essas perguntas relacionadas à história dos tipos. De onde surgiu a idéia de Type ? (Parece que tudo começa quando Russell e Whitehead propõem uma maneira de evitar a contradição que conhecemos hoje como …

8 type-theory  history 

Estive pesquisando referências no google scholar e reduzi a primeira menção para algo em torno de 1963 com um tremor muito estranho em 1949. Então, eu estou tentando rastrear o artigo original, introduzindo gráficos de intervalo para citação, mas tem sido bastante elusivo até agora.

7 graph-theory  reference-request  history 

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 

Fiz essa pergunta em math.stackexchange , mas fui redirecionado aqui. Minha pergunta é: se existe alguma relação histórica entre os campos dos sistemas dinâmicos (e campos relacionados, como controle ótimo) e a ciência da computação (teórica). A razão pela qual faço essa pergunta é que vários grandes periódicos antigos, agora …

7 history