Percebi que acho muito mais fácil escrever provas matemáticas sem cometer erros do que escrever um programa de computador sem erros. Parece que isso é algo mais difundido do que apenas minha experiência. A maioria das pessoas comete erros de software o tempo todo em sua programação e possui o...
Pode haver um pedido de desculpas por fazer outra pergunta sobre pré-requisitos, mas fiquei confuso sobre os pontos de partida. Encontrei vários termos como "Lógica Modal", "Lógica Temporal", "Lógica de Primeira Ordem", "Lógica de Segunda Ordem" e "Lógica de Ordem Superior". O que exatamente...
Entendo que a "estrutura" dos dados é totalmente dependente da Álgebra Booleana, mas: Por que os dados são considerados uma entidade matemática discreta, e não contínua? Relacionado a isso: Quais são os inconvenientes ou invariantes que são violados na estruturação de dados como uma...
Esta é uma pergunta ingênua e, portanto, possivelmente malformada, portanto peça desculpas antecipadamente! Minha opinião é que uma máquina de Turing pode ser vista como a base computacional para linguagens de programação procedurais / imperativas. Da mesma forma, o cálculo lambda é a base para...
Eu tenho lido a Álgebra Linear e seus Aplicativos para ajudar a entender o material da ciência da computação (principalmente aprendizado de máquina), mas estou preocupado que muitas informações não sejam úteis para o CS. Por exemplo, saber como resolver com eficiência sistemas de equações lineares...
Eu sou um estudante universitário de Ciência da Computação, com uma grande paixão por estudar Matemática. Acredito firmemente que Ciência da Computação ou Ciência da Computação Teórica é um ramo direto da Matemática e da Lógica e também da opinião de que um diploma em Ciência da Computação deve...
Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem . Fechado há 2 anos . Geralmente,...
Dada uma sequência de valores , a Entropia de Shannon na base de log chega a . Pelo que entendi, na base a Entropia de Shannon arredondada é o número mínimo de bits em binário para representar um único dos valores.AAAAAAAABCAAAAAAAABCAAAAAAAABC2220.9220.9220.922222 Retirado da introdução nesta...
Esta questão é sobre se todo teorema matemático pode ser reduzido à questão de uma única máquina de Turing parar. Em particular, estou interessado em conjecturas que atualmente não são comprovadas. Por exemplo: a Wikipedia diz que atualmente não se sabe se existem números perfeitos ímpares. Como é...
Atualmente, estou lendo alguns artigos sobre o agrupamento de cadeias de Markov e não vejo a diferença entre uma cadeia de Markov e um gráfico ponderado direcionado simples. Por exemplo, no artigo Agrupamento ideal do espaço de estado nas cadeias de Markov, eles fornecem a seguinte definição de...
No livro Computability, complexidade e Línguas (2 nd edição), Martin Davis escreve no capítulo 1 (Preliminares), Seção 2 (Funções): Uma função parcial de um conjunto é simplesmente uma função cujo domínio é um subconjunto de . Um exemplo de função parcial em é dado por , onde o domínio de é o...
Esta pergunta é baseada em trabalhos de casa (embora não esteja usando o problema real)! Digamos que você tenha uma função descrita como: f(n)∈O(2n2).f(n)∈O(2n2).f(n) \in O(2n^2) \, . Você pode então tratar isso como: f(n)=2n2f(n)=2n2f(n) = 2n^2 e executa matemática nela e mantém seu...