Sou um pouco novo, mas muito interessado no campo da teoria da computação e da complexidade, e quero esclarecer meu entendimento sobre como classificar problemas e quão fortemente os problemas estão relacionados à máquina que está sendo usada para resolvê-los. Meu entendimento Máquina de Turing...
Eu queria saber se alguém sabia a origem do modelo de servidor do cliente. De onde vem o termo (papel, aplicativo de software,
A programação funcional tem o muito elegante Lambda Calculus e suas variantes como uma teoria de backup. Existe algo assim para OOP? O que é uma abstração para o modelo orientado a
Estou lendo um livro sobre um tópico de ciência da computação, mas não tenho alguns dos pré-requisitos. Normalmente, quando me deparo com termos que não entendo, simplesmente os procuro, mas para a Pesquisa Universal simplesmente não consegui encontrar uma explicação adequada para um leitor sem...
Ainda estou um pouco confuso com os termos "comprimento da entrada" e "tamanho da entrada" quando usado para analisar e descrever o limite superior assintomático de um algoritmo Parece que o tamanho da entrada do algoritmo depende muito do tipo de dados e do algoritmo de que você está...
O que significa a classe de complexidade ? Eu sei que é a classe de complexidade que contém as linguagens para as quais existe uma máquina de Turing não determinística no tempo polinomial, de modo que se o número de estados de aceitação da máquina na entrada for ímpar.⊕P⊕P⊕P⊕P\oplus P^{\oplus...
O que significa quando dizemos que um algoritmo é assintoticamente mais eficiente que Y ?XXXYYY será uma escolha melhor para todas as entradas.XXX será uma escolha melhor para todas as entradas, exceto as pequenas.XXX será uma escolha melhor para todas as entradas, exceto as grandes.XXX será...
Eu acho que entendo como o desmatamento consome e produz uma lista ao mesmo tempo (de uma dobra e uma função desdobrada - veja esta boa resposta no CodeReview aqui ), mas quando eu comparei isso com a entrada da Wikipedia sobre a técnica que ele falou sobre 'remover árvores de um programa. Entendo...
Eu sou novo no aprendizado de máquina. Eu li vários artigos em que eles empregaram aprendizado profundo para várias aplicações e usaram o termo "anterior" na maioria dos casos de design de modelo, digamos, antes no corpo humano. Alguém pode explicar o que isso realmente significa. Eu só consegui...
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
Eu estava lendo a pergunta Consistência e integridade implicam solidez? e a primeira afirmação diz: Entendo que a solidez implica consistência. O que me deixou bastante intrigado porque pensei que a consistência era uma afirmação mais fraca que a consistência (ou seja, pensei que sistemas...
Se não, então o que significa quando, para algum estado qqq e algum símbolo umaumaa , δ( q, Um )δ(q,uma)\delta(q, a) não
Não sei se foi uma piada, mas uma vez li o que foi referido como uma definição formal de um arquivo em um sistema de versão, como git, hg ou svn. Era algo como um objeto matemático como um homeomorfismo. Isso foi uma piada ou existe realmente uma teoria da ciência da computação sobre sistemas de...
Quero especificar o que significa dar uma álgebra como entrada para um algoritmo e não encontrei muita literatura sobre isso. Então, primeiro quero perguntar se você pode recomendar um livro ou artigo que lide com o tópico de análise de complexidade de álgebras sobre campos e defina claramente o...
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 Z if x then T else F; Z =>...
Da Wikipedia : O tipo de problema computacional: Os problemas mais comumente usados são os de decisão . No entanto, as classes de complexidade podem ser definidas com base em problemas de função, problemas de contagem, problemas de otimização, problemas de promessa, etc. Eu também vi as...
Eu estou olhando para o Cálculo de Construções e seu lugar no Cubo Lambda . Se bem entendi, cada eixo do cubo pode ser considerado como adicionando outra operação envolvendo tipos ao cálculo de tipo simples, . O primeiro eixo adiciona operadores de tipo a termo, o segundo operador de tipo a tipo e...
"Indutivamente" e "recursivamente" significam muito semelhantes? Por exemplo, se existe um algoritmo que determina um vetor n-dim determinando seus primeiros componentes k + 1 com base em seus primeiros k componentes que foram determinados e é inicializado com o primeiro componente, você chamaria...
Em uma primeira árvore de profundidade, existem as arestas que definem a árvore (ou seja, as arestas que foram usadas no percurso). Existem algumas arestas restantes conectando alguns dos outros nós. Qual é a diferença entre uma aresta cruzada e uma aresta dianteira? Da wikipedia: Com base...
Isso é precursor da minha outra pergunta mais avançada sobre inspeção de pilha. O Stack Inspection é um mecanismo de segurança introduzido na JVM para lidar com o código em execução originário de locais com diferentes níveis de confiança. Esta questão visa encontrar uma descrição simples de sua...