Perguntas com a marcação «history»

Existem muitas tentativas de provar ou P ≠ N P , e naturalmente muitas pessoas pensam sobre a questão, tendo idéias para provar qualquer direção.P=NPP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Eu sei que existem abordagens que comprovadamente não funcionam, e provavelmente há outras que têm um histórico de falhas. Também …

96 complexity-theory  reference-request  history  p-vs-np  reference-question 

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 

Ao discutir alguns tópicos de introdução hoje, incluindo o uso de algoritmos genéticos; Disseram-me que a pesquisa realmente diminuiu nesse campo. O motivo foi que a maioria das pessoas está focada no aprendizado de máquina e na mineração de dados. Atualização: isso é preciso? E se sim, quais vantagens o …

45 machine-learning  data-mining  evolutionary-computing  history 

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 

Acabei de concluir o primeiro capítulo da Introdução à Teoria da Computação, de Michael Sipser que explica o básico dos autômatos finitos. Ele define uma linguagem regular como qualquer coisa que possa ser descrita por um autômato finito. Mas não consegui encontrar onde ele explica por que um idioma comum …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Basicamente, eu estou ciente de três fundamentos para a matemática Teoria de conjuntos Teoria dos tipos Teoria das categorias Então, de que maneiras as linguagens de programação e os fundamentos da matemática estão relacionados? EDITAR A pergunta original era "Linguagens de programação baseadas em fundamentos da matemática" com o paragarfo …

30 programming-languages  history  type-theory  category-theory 

Nós escrevemos principalmente programas em linguagem de alto nível. Então, enquanto estudava, me deparei com a linguagem assembly. Portanto, um assembler converte a linguagem assembly em linguagem de máquina e um compilador faz o mesmo com a linguagem de alto nível. Achei que a linguagem assembly tem instruções como mover …

27 programming-languages  education  history 

Na teoria da computabilidade, funções computáveis ​​também são chamadas de funções recursivas. Pelo menos à primeira vista, eles não têm nada em comum com o que você chama de "recursivo" na programação do dia-a-dia (isto é, funções que se denominam). Qual é o significado real de recursivo no contexto da …

23 computability  terminology  history 

Quando o O grande foi usado pela primeira vez na ciência da computação e quando se tornou padrão? A página da Wikipedia cita Knuth, Big Omicron e Big Omega And Big Theta , SIGACT de abril a junho de 1976, mas o início desse artigo diz A maioria de nós …

22 asymptotics  history 

Estou tentando descobrir quem cunhou o termo "aprendizado de máquina". Uma questão complementar é de onde Arthur Samuel é citado como definindo o campo do "aprendizado de máquina" em 1959 como: o campo de estudo que dá aos computadores a capacidade de aprender sem serem explicitamente programados ? Você pode …

19 terminology  reference-request  machine-learning  history 

Eu tenho uma pequena questão histórica, a saber, como o título diz, estou procurando usos iniciais de árvores (como estrutura de dados, árvore de pesquisa, o que for) na ciência da computação.

18 data-structures  reference-request  trees  history 

Dizem que 'Eugene Goostman', um programa de computador desenvolvido para simular um garoto de 13 anos, conseguiu convencer 33% dos juízes de que era humano e, assim, passou no Teste de Turing. O programa de computador, também conhecido como chatbot, estava fingindo ser um garoto ucraniano de 13 anos para …

18 reference-request  artificial-intelligence  history  turing-test 

Esta é uma pergunta suave. Não sei muito sobre criptografia ou seu histórico, mas parece que um uso comum do RSA é fazer a troca de chaves criptografando uma chave simétrica para enviar uma mensagem mais longa (por exemplo, a descrição do iMessage aqui ). Não é exatamente isso que …

16 cryptography  history 

No artigo seminal de sistemas distribuídos The Part Time Parliament (o protocolo Paxos), Leslie Lamport nomeia legisladores ficcionais que estão envolvidos no protocolo do parlamento Paxon. De acordo com este artigo , ele observa que: Dei aos legisladores gregos os nomes dos cientistas da computação que trabalham no campo, transliterados …

15 distributed-systems  history 

Estou usando um computador digital para escrever esta mensagem. Essa máquina possui uma propriedade que, se você pensar bem, é realmente notável: é uma máquina que, se programada adequadamente, pode executar qualquer cálculo possível . Obviamente, máquinas de calcular de um tipo ou de outro remontam à antiguidade. As pessoas …

15 computability  turing-machines  history