Lecturas del Grupo de Lógica Computacional (Enero de 2012)
Esta entrada es una recopilación de lecturas compartidas en la lista de correo del grupo de lógica computacional durante el mes de Enero de 2012.
La recopilación está ordenada por la fecha de su publicación en la lista. Al final de cada artículo se encuentra etiquetas relativas a los sistemas que usa o a su contenido.
- L’ordinateur au cœur de la découverte mathématique. #Divulgación
- Últimos dos dígitos de (1+5^(2n+1))/6. #Haskell
- Disparad contra la Ilustración. #Enseñanza
- On the aesthetics of computer science. #Divulgación
- Computing with hereditarily finite sequences. #Prolog #MKM
- An interview with Stephen A. Cook. #Divulgación
- Markov models. #Isabelle
- Turing machines por J. Hopcroft #Clásico #Divulgación
- The way forward for Computer Science in the U.K. #Enseñanza
- Teaching semantics with a proof assistant: No more LSD trip proofs. #Enseñanza #Lógica #Isabelle
- Enseñando deducción natural con Coq. #Enseñanza #Lógica #Coq
- Formalisation en OWL pour vérifier les spécifications d’un environnement intelligent. #OWL #Prover9
- Think complexity. #Sistemas_complejos #Python
- Algorithmic graph theory. #Libro #Algorítmica #Sage
- A simplified framework for first-order languages and its formalization in Mizar. #Tesis #Metalógica #Mizar
- ProofPeer – A cloud-based interactive theorem proving system. #ProofPeer
- Generic proof tools and finite group theory. #Tesis #Coq
En Mendeley también se encuentran las lecturas del Grupo de Lógica Computacional.