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

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