Perguntas com a marcação «mathematical-foundations»

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 …

190 correctness-proof  mathematical-foundations  philosophy 

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 "Lógica" significa neste contexto? Como definimos …

36 logic  mathematical-foundations 

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 entidade contínua em dimensões ?rrr Eu …

35 data-structures  mathematical-foundations 

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 linguagens de programação funcionais. Aprendi …

23 programming-languages  mathematical-foundations  church-turing-thesis 

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 sempre …

15 mathematical-foundations 

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 não parece muito útil, …

15 education  linear-algebra  didactics  mathematical-foundations 

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 página da Wikipedia: https://en.wikipedia.org/wiki/Entropy_%28information_theory%29 Então, …

14 information-theory  mathematical-foundations  entropy  binary 

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, programadores de computador que são matemáticos ou que …

14 mathematical-foundations 

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 é decidido se …

11 formal-languages  computability  mathematical-foundations 

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 CTMC (cadeia …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains 

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 …

7 mathematical-foundations 

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 significado assintótico? No caso acima, eu …

7 asymptotics  landau-notation  mathematical-foundations