Perguntas com a marcação «terminology»

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 

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 -equivalence ≡β≡β\equiv_\beta é o menor equivalência que contém …

21 logic  terminology  lambda-calculus  type-theory 

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. Portanto, existem aplicações práticas ou …

21 terminology  education 

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 cálculo que siga um modelo bem …

20 terminology  computability 

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 

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 processador é 'mais …

19 terminology  computer-architecture 

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 bruta que nos permite analisar todas …

19 algorithms  terminology  optimization  dynamic-programming 

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 significa no …

19 terminology 

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, os tipos de exceções …

18 terminology  programming-languages  api-design 

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 …

18 logic  reference-request  terminology  type-theory 

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 …

17 algorithms  terminology  data-structures  notation 

Eu acho que sei o que é um sistema operacional "rígido" em tempo real. É um sistema operacional com um agendador que fornece um contrato com o programador de aplicativos. Um aplicativo fornece um prazo para cada solicitação de alocação de recursos. Se as solicitações de prazo final forem possíveis …

17 terminology  operating-systems  process-scheduling  real-time 

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 imagens?

17 terminology  computer-vision  image-processing  education 

Eu usei o FSM em projetos de circuitos sequenciais digitais. Mas não estou familiarizado com o Finite Automata. Alguém pode me ajudar a entender a diferença "básica" entre os dois?

16 terminology  automata  finite-automata 

Estou realmente lutando com esta propriedade: Deixe que X,YX,YX,Y ser espaços coerentes e ser uma função monótona. é contínuo se e somente se , para todos os modo que seja um conjunto direcionado.f f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f ( x )f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: …

16 terminology  programming-languages  semantics