Ciência da Computação

11
Exemplo de solidez e completude de inferência

O exemplo a seguir está correto sobre se um algoritmo de inferência é sólido e completo ? Suponha que tenhamos agulhas a, b, c em um palheiro e também tenha um algoritmo de inferência projetado para encontrar agulhas. som - Somente as agulhas a, bec são obtidas. completo - as agulhas a, bec são...

11
subconjuntos de conjuntos recursivos infinitos

Uma pergunta recente no exame foi a seguinte: AAAA é um conjunto infinito recursivamente enumerável. Prove que possui um subconjunto recursivo infinito.AAA Deixe ser um subconjunto recursiva infinito de . deve ter um subconjunto que não seja recursivamente enumerável?A CCCCAAACCC Eu já...

11
Um

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...

11
Inferindo tipos de refinamento

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 =>...

11
está

Então, eu tenho esta pergunta para provar uma afirmação: ...O(n)⊂Θ(n)O(n)⊂Θ(n)O(n)\subset\Theta(n) Eu não preciso saber como provar isso, apenas que, na minha opinião, isso não faz sentido e acho que deveria ser .Θ(n)⊂O(n)Θ(n)⊂O(n)\Theta(n)\subset O(n) Meu entendimento é que é o conjunto de...

11
Polinômio cromático de um quadrado

Considere um quadrado, ABCD. Intuitivamente, pareceu-me que seu polinômio cromático é onde existem cores disponíveis.λ(λ−1)(λ−1)(λ−2)λ(λ−1)(λ−1)(λ−2)\lambda(\lambda - 1)(\lambda - 1)(\lambda - 2)λλ\lambda Ou seja, existem maneiras pelas quais uma cor para A pode ser escolhida, existem maneiras de...