Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 13:00 20 ago 2018 (dif | hist) . . (0) . . N Archivo:T6 Logica.v (edición actual)
- 12:59 20 ago 2018 (dif | hist) . . (-119) . . Tema 5: Tácticas básicas de Coq (edición actual)
- 12:58 20 ago 2018 (dif | hist) . . (-947) . . Tema 5: Tácticas básicas de Coq
- 12:52 20 ago 2018 (dif | hist) . . (-621) . . Tema 6: Lógica en Coq (edición actual)
- 12:45 20 ago 2018 (dif | hist) . . (+29) . . Tema 6: Lógica en Coq
- 12:42 20 ago 2018 (dif | hist) . . (+172 157) . . N Tema 6: Lógica en Coq (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…»)
- 12:41 20 ago 2018 (dif | hist) . . (+30) . . Demostración Asistida por Ordenador con Coq (edición actual)
- 09:57 12 ago 2018 (dif | hist) . . (-2) . . Tema 5: Tácticas básicas de Coq
- 09:56 12 ago 2018 (dif | hist) . . (+2) . . Tema 5: Tácticas básicas de Coq
- 09:49 12 ago 2018 (dif | hist) . . (0) . . N Archivo:T5 Tacticas.v (edición actual)
- 09:48 12 ago 2018 (dif | hist) . . (+112 134) . . N Tema 5: Tácticas básicas de Coq (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.…»)
- 09:48 12 ago 2018 (dif | hist) . . (+41) . . Demostración Asistida por Ordenador con Coq
- 17:36 4 ago 2018 (dif | hist) . . (0) . . N Archivo:T4 PolimorfismoyOS.v (edición actual)
- 17:36 4 ago 2018 (dif | hist) . . (+53 105) . . Tema 4: Polimorfismo y funciones de orden superior en Coq (edición actual)
- 17:34 4 ago 2018 (dif | hist) . . (+1516) . . N Tema 4: Polimorfismo y funciones de orden superior en Coq (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…»)
- 17:34 4 ago 2018 (dif | hist) . . (+65) . . Demostración Asistida por Ordenador con Coq
- 12:54 3 ago 2018 (dif | hist) . . (+289) . . Demostración Asistida por Ordenador con Coq
- 12:50 3 ago 2018 (dif | hist) . . (0) . . Tema 3: Datos estructurados en Coq (→Teoría) (edición actual)
- 12:47 3 ago 2018 (dif | hist) . . (0) . . N Archivo:T3 Listas.v (edición actual)
- 12:46 3 ago 2018 (dif | hist) . . (+65 006) . . N Tema 3: Datos estructurados en Coq (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…»)
- 12:46 3 ago 2018 (dif | hist) . . (+42) . . Demostración Asistida por Ordenador con Coq
- 12:45 3 ago 2018 (dif | hist) . . (+468) . . Página principal (edición actual)
- 12:42 3 ago 2018 (dif | hist) . . (0) . . m MediaWiki:Mainpage (Jalonso trasladó la página MediaWiki:Demostración Asistida por Ordenador con Coq a MediaWiki:Mainpage: revertir) (edición actual)
- 12:42 3 ago 2018 (dif | hist) . . (+36) . . N MediaWiki:Demostración Asistida por Ordenador con Coq (Jalonso trasladó la página MediaWiki:Demostración Asistida por Ordenador con Coq a MediaWiki:Mainpage: revertir) (edición actual) (Etiqueta: Redirección nueva)
- 12:40 3 ago 2018 (dif | hist) . . (0) . . m MediaWiki:Mainpage (Jalonso trasladó la página MediaWiki:Mainpage a MediaWiki:Demostración Asistida por Ordenador con Coq sin dejar una redirección)
- 15:07 31 jul 2018 (dif | hist) . . (0) . . Archivo:T1 PF en Coq.v (Jalonso subió una nueva versión de Archivo:T1 PF en Coq.v) (edición actual)
- 15:06 31 jul 2018 (dif | hist) . . (0) . . N Archivo:T2 Induccion.v (edición actual)
- 15:06 31 jul 2018 (dif | hist) . . (+1) . . Tema 2: Demostraciones por inducción sobre los números naturales en Coq (→Teoría) (edición actual)
- 15:04 31 jul 2018 (dif | hist) . . (+21) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq (edición actual)
- 15:02 31 jul 2018 (dif | hist) . . (+24) . . Tema 2: Demostraciones por inducción sobre los números naturales en Coq
- 14:59 31 jul 2018 (dif | hist) . . (-1) . . Tema 2: Demostraciones por inducción sobre los números naturales en Coq (→Tácticas de demostración)
- 14:58 31 jul 2018 (dif | hist) . . (+36 088) . . N Tema 2: Demostraciones por inducción sobre los números naturales en Coq (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…»)
- 14:58 31 jul 2018 (dif | hist) . . (+81) . . Demostración Asistida por Ordenador con Coq
- 14:10 31 jul 2018 (dif | hist) . . (+179) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 14:01 31 jul 2018 (dif | hist) . . (-38) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 13:59 31 jul 2018 (dif | hist) . . (+1) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 13:57 31 jul 2018 (dif | hist) . . (+133) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 13:54 31 jul 2018 (dif | hist) . . (+11) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq (→Evaluación de expresiones)
- 13:51 31 jul 2018 (dif | hist) . . (+128) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 13:49 31 jul 2018 (dif | hist) . . (+112) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq (→Resumen)
- 13:46 31 jul 2018 (dif | hist) . . (+709) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 19:49 28 jul 2018 (dif | hist) . . (0) . . Archivo:T1 PF en Coq.v (Jalonso subió una nueva versión de Archivo:T1 PF en Coq.v)
- 19:47 28 jul 2018 (dif | hist) . . (+15) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 19:44 28 jul 2018 (dif | hist) . . (+123) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 17:40 27 jul 2018 (dif | hist) . . (+1039) . . N Demostración Asistida por Ordenador con Coq (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…»)
- 17:40 27 jul 2018 (dif | hist) . . (-6) . . MediaWiki:Mainpage
- 17:31 27 jul 2018 (dif | hist) . . (-1) . . MediaWiki:Mainpage
- 17:16 27 jul 2018 (dif | hist) . . (+650) . . Página principal
- 17:09 27 jul 2018 (dif | hist) . . (+1) . . Página principal
- 17:08 27 jul 2018 (dif | hist) . . (-651) . . Página principal (Página reemplazada por «Demostación Asistida por Ordenador con Coq») (Etiqueta: Reemplazo)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).