Frequentemente ouço frases como 'semântica de simultaneidade verdadeira' e 'equivalências de simultaneidade verdadeira' sem nenhuma referência. O que significam esses termos e por que são importantes? Quais são alguns exemplos de verdadeiras equivalências de simultaneidade e qual é a necessidade...
Estou fazendo uma apresentação sobre as máquinas de Turing e queria dar uma base sobre os FSMs antes de apresentar as máquinas de Turing. O problema é que eu realmente não sei o que é MUITO diferente um do outro. Aqui está o que eu sei que é diferente: O FSM possui estados seqüenciais,...
Essas terminologias me confundem. Como eu entendo Solucionador SAT: decida a satisfação da lógica proposicional (usando DPLL ou Local Search). Procedimento de decisão é um procedimento para decidir a satisfação de uma certa teoria de primeira ordem decidível. O SMT Solver é um procedimento SAT...
Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Estou um pouco confuso com alguma terminologia que encontrei em relação à complexidade dos problemas de otimização. Em uma classe de algoritmos,...
Em um artigo recente do CACM [1], os autores apresentam uma implementação para funções em etapas . Eles usam o termo como se fosse bem conhecido, e nenhuma das referências parece uma introdução óbvia. Eles dão uma breve explicação (os meus enfatizam e o número de referência mudou; são 22 no...
Se eu tiver alguma função cuja complexidade de tempo seja O ( mn ), onde m e n são os tamanhos de suas duas entradas, chamaríamos sua complexidade de tempo de "linear" (já que é linear em m e n ) ou "quadrática" ( já que é um produto de dois tamanhos)? Ou alguma outra coisa? Sinto que chamá-lo de...
Parece-me que o "implica" no idioma inglês não significa a mesma coisa que o operador lógico "implica", de maneira semelhante como a palavra "OR" na maioria dos casos significa "OR exclusivo" em nosso uso cotidiano da linguagem. Vamos dar dois exemplos: Se hoje é segunda-feira, amanhã é...
Eu li essas palavras em várias publicações e gostaria de ter algumas boas definições para esses termos, que deixam claro qual é a diferença entre detecção de objeto e segmentação semântica e localização. Seria bom se você pudesse fornecer fontes para suas
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...
Ensino computação a jovens de 18 anos. Depois de ter explicado a notação polonesa reversa, perguntamos por que é significativo o suficiente para participar de um exame público. Expliquei o significado histórico das calculadoras dos anos 70, mas isso não conseguiu realmente resolver o problema....
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . No script que estou lendo atualmente no cálculo lambda, a equivalência beta é definida como esta: O ββ\beta...
Eu sei o que a computação é em algum sentido vago (é o que os computadores fazem), mas eu gostaria de uma definição mais rigorosa. Dictionary.comAs definições de computação, computação, cálculo e computação são circulares, portanto, não ajuda. Wikipediadefine computação como "qualquer tipo de...
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...
Eu continuo encontrando referências ao ponto fixo em perguntas e respostas no stackexchange e procuro o significado na Web, obviamente, encontrando referências em sites como o Wikipedia. No entanto, nenhuma das referências realmente responde à minha pergunta sobre o que é um ponto fixo e o que isso...
Estou escrevendo um trabalho de pesquisa e basicamente devo dizer que um microcontrolador é mais lento que um outro microprocessador. No entanto, estou preocupado que simplesmente dizer que é "mais lento" não seja apropriado em um trabalho de pesquisa. Estou certo? Tudo bem dizer apenas que um...
Eu estava lendo sobre programação dinâmica quando me deparei com a seguinte citação Um algoritmo de programação dinâmica examinará todas as formas possíveis de resolver o problema e escolherá a melhor solução. Portanto, podemos pensar na programação dinâmica como um método inteligente de força...
Eu estou familiarizado com uma dúzia de linguagens de programação que têm exceções de alguma forma, mas vim testemunhar duas tendências "patológicas". Não parece haver um padrão ou hierarquia comum de exceções. Todo idioma basicamente lança sua própria versão e, se as exceções o tornarem padrão,...
Comecei a ler cada vez mais trabalhos de pesquisa em idiomas. Acho muito interessante e uma boa maneira de aprender mais sobre programação em geral. No entanto, há geralmente vem uma seção onde eu sempre lutar com (Tomemos por exemplo a terceira parte deste ), pois me falta a base teórica em...
No meu curso de Algoritmos e Estruturas de Dados , professores, slides e o livro ( Introdução aos algoritmos, 3ª edição ) têm usado a palavra NILpara denotar, por exemplo, um filho de um nó (em uma árvore) que não existe. Uma vez, durante uma palestra, em vez de dizer NIL, meu colega disse null, e...
Quais são as diferenças entre visão computacional e processamento de imagem? Por exemplo, no reconhecimento de objetos, quais são os papéis da visão por computador e do processamento de