Contribuciones del usuario
Para Jalonso (discusión | registro de bloqueos | subidas | registros)(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).
- 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)
- 17:03 27 jul 2018 (dif | hist) . . (+51) . . N MediaWiki:Mainpage (Página creada con «DAO (demostración asistida por ordenador) con Coq.»)
- 15:33 27 jul 2018 (dif | hist) . . (0) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq (→Teoría)
- 15:32 27 jul 2018 (dif | hist) . . (0) . . N Archivo:T1 PF en Coq.v
- 15:32 27 jul 2018 (dif | hist) . . (+15) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq (→Teoría)
- 14:14 27 jul 2018 (dif | hist) . . (+2) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq (→Referencias)
- 14:13 27 jul 2018 (dif | hist) . . (+87) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 14:08 27 jul 2018 (dif | hist) . . (+6) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 14:06 27 jul 2018 (dif | hist) . . (+581) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 09:39 27 jul 2018 (dif | hist) . . (+62) . . N DAO con Coq:Acerca de (Página creada con «Apuntes de DAO (demostración asistida por ordenador) con Coq.») (edición actual)
- 09:38 27 jul 2018 (dif | hist) . . (+62) . . N Acerca de (Página creada con «Apuntes de DAO (demostración asistida por ordenador) con Coq.») (edición actual)
- 09:15 27 jul 2018 (dif | hist) . . (-224) . . MediaWiki:Sidebar (edición actual)
- 09:14 27 jul 2018 (dif | hist) . . (+110) . . MediaWiki:Sidebar
- 09:12 27 jul 2018 (dif | hist) . . (0) . . MediaWiki:Sidebar
- 09:11 27 jul 2018 (dif | hist) . . (+79) . . MediaWiki:Sidebar
- 09:08 27 jul 2018 (dif | hist) . . (+193) . . N MediaWiki:Sidebar (Página creada con « * navigation ** mainpage|mainpage-description ** recentchanges-url|recentchanges ** randompage-url|randompage ** helppage|help * Temas ** Programación funcional * SEARCH…»)
- 09:06 27 jul 2018 (dif | hist) . . (+6) . . Tema 1: Programación funcional y métodos elementales de demostración en Coq
- 09:04 27 jul 2018 (dif | hist) . . (+36 997) . . N Tema 1: Programación funcional y métodos elementales de demostración en Coq (Página creada con «<pre lang="coq"> (* T1: Programación funcional y métodos elementales de demostración en Coq *) (* =====================================================================…»)
- 09:03 27 jul 2018 (dif | hist) . . (-39) . . Página principal
- 08:58 27 jul 2018 (dif | hist) . . (-55) . . Página principal
- 08:56 27 jul 2018 (dif | hist) . . (+145) . . N MediaWiki:Common.css (Página creada con «→Los estilos CSS colocados aquí se aplicarán a todas las apariencias: @import url("/~jalonso/font-awesome-4.7.0/css/font-awesome.min.css");») (edición actual)
(últimas | primeras) Ver (50 siguientes | 50 anteriores) (20 | 50 | 100 | 250 | 500).