Resultados da pesquisa a pedido "theory"
Como chamamos essa função (nova?) De ordem superior?
Estou tentando nomear o que considero uma nova idéia para uma função de ordem superior. Para a parte importante, aqui está o código em Python e Haskell para demonstrar o conceito, que será explicado posteriormente. Pitão: >>> def pleat(f, l): ...
Por que o jogo da vida de Conway pode ser classificado como uma máquina universal?
Eu estava lendo recentemente sobre vida artificial e me deparei com a declaração,"O jogo da vida de Conway demonstra complexidade suficiente para ser classificado como uma máquina universal". [http://www.alesdar.org/oldSite/IS/chap3-9.html]Eu só ...
A ramificação condicional é um requisito de integridade de Turing?
Pesquisei na web e encontrei respostas um tanto contraditórias. Algumas fontes afirmam que um idioma / máquina / o que você tem é Turing completo se e somente se tiverambosramificação condicional e incondicional (que eu acho que é ...
O que é um DSL e onde devo usá-lo?
Estou ouvindo cada vez mais sobre idiomas específicos de domínio sendo lançados e como eles mudam a maneira como você trata a lógica de negócios, e eu já vi Publicações do blog de Ayende [http://ayende.com/blog/tags/domain-specific-languages]e ...
Como programar um fractal?
Eu não tenho nenhuma experiência com programação de fractais. Claro que vi as famosas imagens de Mandelbrot e coisas do gênero. Você pode me fornecer algoritmos simples para fractais. Linguagem de programação realmente não importa, mas eu estou ...
A multiplicação é permitida na álgebra relacional?
Eu tenho uma relação R ------- cid sid gradepoint credits CS425 001 4.0 3Eu preciso calcular o GPA. Existem mais linhas, mas acredito que, se eu receber essa resposta, ficarei bem com o resto. Eu preciso fazergradepoint * credits. Como expresso ...
Por que os programas não podem ser comprovados?
Por que um programa de computador não pode ser provado da mesma maneira que uma afirmação matemática? Uma prova matemática é construída sobre outras provas, que são construídas a partir de mais provas e até axiomas - essas verdades, verdades que ...
O bom Design Orientado a Objetos pode ser formalizado como o bom design de banco de dados relacional?
No mundo do banco de dados, temos normalização. Você pode começar com um design, pôr em marcha as etapas e acabar com uma forma normal do banco de dados. Isso é feito com base na semântica dos dados e pode ser pensado como uma série ...
Chamando a Função Substituída da Classe Base do Método da Classe Base
public class A { public void f1(String str) { System.out.println("A.f1(String)"); this.f1(1, str); } public void f1(int i, String str) { System.out.println("A.f1(int, String)"); } } public class B extends A { @Override public void f1(String str) ...
Por que as funções embutidas C ++ no cabeçalho?
NB Esta não é uma pergunta sobre como usar as funções embutidas ou como elas funcionam, mas porque elas são feitas da maneira que são. A declaração de uma função de membro da classe não precisa definir uma função comoinline, é apenas a ...