Páginas nuevas
- 12:42 20 ago 2018 Tema 6: Lógica en Coq (hist) [171 565 bytes] Jalonso (discusión | contribuciones) (Página creada con «En este capítulo se amplía el campo de aplicación de Coq para todas las conectivas y cuantificadores de la lógica de primer orden. = Teoría = La teoría correspondie…»)
- 09:48 12 ago 2018 Tema 5: Tácticas básicas de Coq (hist) [111 068 bytes] Jalonso (discusión | contribuciones) (Página creada con «En este tema se amplían las tácticas básicas estudiadas en los temas anteriores. Al final de la teoría se incluye un resumen de todas las tácticas usadas hasta ahora.…»)
- 17:34 4 ago 2018 Tema 4: Polimorfismo y funciones de orden superior en Coq (hist) [54 621 bytes] Jalonso (discusión | contribuciones) (Página creada con «Apuntes de demostración asistida por ordenador con [https://coq.inria.fr/ Coq] para los cursos de * [http://www.cs.us.es/~jalonso/cursos/m-ra/ Razonamiento automático] de…»)
- 12:46 3 ago 2018 Tema 3: Datos estructurados en Coq (hist) [65 006 bytes] Jalonso (discusión | contribuciones) (Página creada con «En este tema se introduce mediante ejemplos cómo definir tipos de datos estructurados (como pares, listas, opcionales y diccionarios), definir funciones con los tipos defi…»)
- 14:58 31 jul 2018 Tema 2: Demostraciones por inducción sobre los números naturales en Coq (hist) [36 112 bytes] Jalonso (discusión | contribuciones) (Página creada con «En este tema se introduce mediante ejemplos cómo demostrar en Coq propiedades de funciones definidas sobre los números naturales. El principal método de demostración qu…»)
- 17:40 27 jul 2018 Demostración Asistida por Ordenador con Coq (hist) [1587 bytes] Jalonso (discusión | contribuciones) (Página creada con «Apuntes de demostración asistida por ordenador con [https://coq.inria.fr/ Coq] para los cursos de * [http://www.cs.us.es/~jalonso/cursos/m-ra/ Razonamiento automático] de…»)
- 09:38 27 jul 2018 Acerca de (hist) [62 bytes] Jalonso (discusión | contribuciones) (Página creada con «Apuntes de DAO (demostración asistida por ordenador) con Coq.»)
- 09:04 27 jul 2018 Tema 1: Programación funcional y métodos elementales de demostración en Coq (hist) [39 088 bytes] Jalonso (discusión | contribuciones) (Página creada con «<pre lang="coq"> (* T1: Programación funcional y métodos elementales de demostración en Coq *) (* =====================================================================…»)