Páginas más antiguas

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

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

1. Página principal‏‎ (11:20 15 oct 2019)
2. Razonamiento automático (2019-20)‏‎ (11:45 15 oct 2019)
3. R1‏‎ (14:44 31 oct 2019)
4. Tema 1: Programación funcional en Isabelle‏‎ (14:45 31 oct 2019)
5. R2‏‎ (12:49 7 nov 2019)
6. Tema 2b: Razonamiento sobre programas con Isabelle/HOL‏‎ (16:20 14 nov 2019)
7. Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL‏‎ (15:25 21 nov 2019)
8. Tema 4: Razonamiento por casos y por inducción‏‎ (21:52 27 nov 2019)
9. R4‏‎ (07:49 28 nov 2019)
10. Tema 5: Razonamiento sobre árboles y bosques‏‎ (21:30 4 dic 2019)
11. R5‏‎ (09:57 5 dic 2019)
12. Tema 6c: Deducción natural proposicional con Isabelle/HOL‏‎ (19:28 7 dic 2019)
13. R6‏‎ (20:00 12 dic 2019)
14. R7‏‎ (11:16 19 dic 2019)
15. Tema 7c: Deducción natural en lógica de primer orden con Isabelle/HOL‏‎ (11:40 9 ene 2020)
16. R8‏‎ (13:48 9 ene 2020)
17. R9‏‎ (15:04 16 ene 2020)
18. El problema SAT en Haskell‏‎ (12:23 6 feb 2020)
19. El algoritmo de Davis-Putnam en Haskell‏‎ (12:24 6 feb 2020)
20. Comparaciones de algoritmos de SAT‏‎ (12:27 6 feb 2020)

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