Abajo se muestran hasta 44 resultados entre el n.º 1 y el n.º 44.

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).

1. Página principal‏‎ (21:05 15 oct 2018)
2. Razonamiento automático (2018-19)‏‎ (14:30 20 oct 2018)
3. Documentación"‏‎ (14:41 20 oct 2018)
4. Tema 1: Programación funcional en Isabelle‏‎ (19:55 7 nov 2018)
5. R1‏‎ (19:58 7 nov 2018)
6. Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL‏‎ (08:15 15 nov 2018)
7. R2‏‎ (08:17 15 nov 2018)
8. R3‏‎ (10:32 22 nov 2018)
9. Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL‏‎ (13:27 23 nov 2018)
10. Tema 4: Razonamiento por casos y por inducción‏‎ (13:38 29 nov 2018)
11. R4‏‎ (14:04 29 nov 2018)
12. Tema 5: Razonamiento sobre árboles y bosques‏‎ (14:21 13 dic 2018)
13. Tema 6a: Verificación de la ordenación por inserción‏‎ (14:28 13 dic 2018)
14. Tema 6b: Verificación de la ordenación por mezcla‏‎ (14:35 13 dic 2018)
15. R5‏‎ (07:59 14 dic 2018)
16. Tema 7b: Deducción natural proposicional con Isabelle/HOL‏‎ (19:24 9 ene 2019)
17. R6‏‎ (19:39 9 ene 2019)
18. Colaboraciones‏‎ (10:52 10 ene 2019)
19. Tema 8b: Deducción natural en lógica de primer orden con Isabelle/HOL‏‎ (10:30 24 ene 2019)
20. R7‏‎ (10:40 24 ene 2019)
21. Tema 9: Editores lógicos‏‎ (07:00 25 ene 2019)
22. Tema 10: Caso de estudio: Compilación de expresiones‏‎ (17:54 30 ene 2019)
23. R8‏‎ (09:02 9 feb 2019)
24. Tema 1: Programación funcional y métodos elementales de demostración en Coq‏‎ (08:30 14 feb 2019)
25. Tema 2: Demostraciones por inducción sobre los números naturales en Coq‏‎ (08:36 14 feb 2019)
26. Tema 3: Datos estructurados en Coq‏‎ (08:36 14 feb 2019)
27. Tema 4: Polimorfismo y funciones de orden superior en Coq‏‎ (08:36 14 feb 2019)
28. Tema 5: Tácticas básicas de Coq‏‎ (08:37 14 feb 2019)
29. Tema 12: Conjuntos, funciones y relaciones‏‎ (08:37 14 feb 2019)
30. Tema 11: Definiciones inductivas‏‎ (08:37 14 feb 2019)
31. Temas‏‎ (14:07 14 feb 2019)
32. Tema 7: Definiciones inductivas en Coq‏‎ (14:08 14 feb 2019)
33. Tema 6: Lógica en Coq‏‎ (14:08 14 feb 2019)
34. Relación 1‏‎ (19:48 6 mar 2019)
35. Relación 2‏‎ (19:48 6 mar 2019)
36. Relación 3‏‎ (19:49 6 mar 2019)
37. Relación 4‏‎ (19:49 6 mar 2019)
38. Relación 5‏‎ (19:50 6 mar 2019)
39. Relación 6‏‎ (19:50 6 mar 2019)
40. Relación 7‏‎ (19:50 6 mar 2019)
41. Relación 8‏‎ (19:51 6 mar 2019)
42. Ejercicios‏‎ (10:38 21 ago 2019)
43. Documentación‏‎ (18:24 8 feb 2022)
44. Sistemas‏‎ (18:30 8 feb 2022)

Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).