Eu terminei a maior parte do material no livro Introdução a algoritmos de Cormen e estou procurando um livro de algoritmos que cubra material além do livro de Corman. Existem recomendações? NOTA: Perguntei isso no stackoverflow, mas não fiquei muito feliz com a resposta. NOTA: Examinando a...
Costumo interagir com pessoas que desejam solicitar um algoritmo para um problema computacional (ou sua complexidade), mas não o expressam de maneira rigorosa para que nós (cientistas da computação) entendamos. Referenciá-los a livros como o CLRS não é útil porque os exemplos geralmente têm uma...
Recentemente, fiquei extremamente interessado em entender e provar aspectos de linguagens de programação (funcionais). λλ\lambda Eu li o SICP (um livro bastante esclarecedor), mas estou procurando aprofundar a teoria da programação funcional. Existe algum livro / blog / site / nome-do-it que...
Eu não sou graduado em CS e meu campo de estudo não tem relação com CS. No entanto, como parte de um plano maior de me tornar um cientista da computação, quero obter uma sólida formação em ciência da computação teórica e matemática no que se refere ao CS. Pesquisei bastante e selecionei os...
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 =>...
Deseja melhorar este post? Forneça respostas detalhadas para esta pergunta, incluindo citações e uma explicação de por que sua resposta está correta. Respostas sem detalhes suficientes podem ser editadas ou excluídas. Fui encarregado de construir uma biblioteca de livros...
Você pode me dar algumas sugestões sobre um bom livro introdutório (mas abrangente) sobre lógica e computação? Alguns tópicos difusos que tenho em mente são: Presburger artihm., PA, ZF, ZFC, HOL Teoria dos conjuntos, Teoria dos tipos Computação de modelagem (máquinas de Turing) em diferentes...
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á 4 anos . Sou um otário...
Quero fornecer provas para partes de um programa Haskell que estou escrevendo como parte de minha tese. Até agora, porém, não consegui encontrar um bom trabalho de referência. O livro introdutório de Graham Hutton, Programming in Haskell ( Google Books ) - que li enquanto aprendia Haskell - aborda...
Um garoto inteligente de 15 anos que conheço está interessado em ciência da computação e genética. Eu disse a ela que esses campos são uma excelente combinação. Eu gostaria de dar a ela um livro sobre bioinformática ou genômica computacional. Estou procurando um livro divertido, não um livro...
Estou procurando um texto de referência sobre teoria de grafos aplicada e algoritmos de grafos. Existe um texto padrão usado na maioria dos programas de ciência da computação? Caso contrário, quais são os textos mais respeitados no campo? Eu tenho Cormen et
Gostei muito da minha classe de algoritmos, mas senti que faltava rigor. Na maioria das vezes, eu conseguia entender intuitivamente por que os algoritmos apresentados funcionavam e por que tinham a complexidade de tempo apresentada, mas eu gostaria de poder provar essas coisas. Como tal, eu...