LI2011-12: 1º examen de la evaluación continua
En la clase de hoy del curso Lógica Informática se ha realizado el primer examen de la evaluación continua.
I1M2011: Ejercicios de definiciones elementales en Haskell (2)
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la 2ª relación.
Los ejercicios, y sus soluciones, se muestran a continuación
Read More “I1M2011: Ejercicios de definiciones elementales en Haskell (2)”
I1M2011: Ejercicios de definiciones elementales en Haskell
En la clase de hoy de Informática de 1º del Grado en Matemáticas hemos comentado las soluciones a los ejercicios de la 1ª relación.
Los ejercicios y su solución se muestran a continuación
Read More “I1M2011: Ejercicios de definiciones elementales en Haskell”
I1M2011: Definición de funciones
En la clase de hoy del curso Informática (de 1º de Grado en Matemáticas) se estudiado cómo definir funciones eh Haskell usando los formas básicas: composición, condicionales, guardas y patrones.
También se ha visto cómo realizar el ciclo completo de definición de funciones en el cuaderno de ejercicios: descargar los enunciados, escribir la definición, comprobarla y publicarla en el cuaderno.
Como tarea para la próxima clase se ha propuesto escribir de manera colaborativa las soluciones de los ejercicios de la 2ª relación.
Las transparencias usadas en la clase son las del tema 4:
Read More “I1M2011: Definición de funciones”
Lecturas del Grupo de Lógica Computacional (Septiembre de 2011)
Esta entrada es una recopilación de lecturas compartidas en la lista de correo del grupo de lógica computacional. 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.
- Formalization of Abstract State Transition Systems for SAT. #Isabelle
- Zeno: A tool for the automatic verification of algebraic properties of functional programs #Isabelle #Haskell
- Automating Induction with an SMT Solver. #SMT #Z3
- Artificial Intelligence Techniques for Understanding Gothic Cathedrals #Prolog
- RDFS/OWL reasoning using the MapReduce framework. #DL #SW
- Automatic Proof and Disproof in Isabelle/HOL. #Isabelle
- Proof Pearl: Mechanizing the Textbook Proof of Huffman’s Algorithm. #Isabelle
- Isabelle Primer for Mathematicians. #Isabelle
- Majority Vote Algorithm Revisited Again #Isabelle
- A survey on Interactive Theorem Proving #Survey #ITP
- Formalization of Wu’s simple method in Coq. #Coq
- Functional Programming for Java Developers. #PF #Tutorial
- Formal Verification for Numerical Methods. #Tesis #Coq
- Practical Semantic Web and Linked Data Applications. Lisp Edition. #SW #Lisp
- Basics of Coq. #Coq #Tutorial
- Coq in a Hurry. #Coq #Tutorial
- Reasoning Processes in Propositional Logic.
- Programación Funcional con Haskell. #Haskell
- Ejercicios de programación funcional con Haskell. #Haskell
- Introducción a la programación lógica con Prolog. #Prolog
- Ejercicios de programación declarativa con Prolog. #Prolog
- Verification of the OWL-Time Ontology. #Prover9 #Ontología
- Proof Pearl: A Formal Proof of Higman’s Lemma in ACL2. #ACL2
- Apprendre Haskell vous fera le plus grand bien!. #Haskell
- Implementation of Bourbaki’s Elements of Mathematics in Coq: Part One, Theory of Sets. #Coq
- Defining and using deductive systems with Isabelle. #Isabelle
- Some Applications of Propositional Logic to Cellular Automata.
- Implementation of Bourbaki’s Elements of Mathematics in Coq: Part Two; Ordered Sets, Cardinals, Integers. #Coq
- How Kenzo program works.
En Mendeley también se encuentran las lecturas del Grupo de Lógica Computacional.