Páginas más antiguas
Abajo se muestran hasta 30 resultados entre el n.º 1 y el n.º 30.
Ver (50 anteriores | 50 siguientes) (20 | 50 | 100 | 250 | 500).
- Página principal (11:20 15 oct 2019)
- Razonamiento automático (2019-20) (11:45 15 oct 2019)
- R1 (14:44 31 oct 2019)
- Tema 1: Programación funcional en Isabelle (14:45 31 oct 2019)
- R2 (12:49 7 nov 2019)
- Tema 2b: Razonamiento sobre programas con Isabelle/HOL (16:20 14 nov 2019)
- Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL (15:25 21 nov 2019)
- Tema 4: Razonamiento por casos y por inducción (21:52 27 nov 2019)
- R4 (07:49 28 nov 2019)
- Tema 5: Razonamiento sobre árboles y bosques (21:30 4 dic 2019)
- R5 (09:57 5 dic 2019)
- Tema 6c: Deducción natural proposicional con Isabelle/HOL (19:28 7 dic 2019)
- R6 (20:00 12 dic 2019)
- R7 (11:16 19 dic 2019)
- Tema 7c: Deducción natural en lógica de primer orden con Isabelle/HOL (11:40 9 ene 2020)
- R8 (13:48 9 ene 2020)
- R9 (15:04 16 ene 2020)
- El problema SAT en Haskell (12:23 6 feb 2020)
- El algoritmo de Davis-Putnam en Haskell (12:24 6 feb 2020)
- Comparaciones de algoritmos de SAT (12:27 6 feb 2020)
- El problema Clique en Haskel (12:59 6 feb 2020)
- Reducción de SAT a Clique en Haskell (13:09 6 feb 2020)
- R10 (16:14 13 feb 2020)
- Temas (16:16 13 feb 2020)
- Tema 10: Caso de estudio: Compilación de expresiones (16:17 13 feb 2020)
- Tema 11: Verificación de la ordenación por inserción (16:19 13 feb 2020)
- Ejercicios (16:46 24 jul 2021)
- R3 (19:55 13 sep 2021)
- Documentación (19:08 8 feb 2022)
- Sistemas (19:31 8 feb 2022)
Ver (50 anteriores | 50 siguientes) (20 | 50 | 100 | 250 | 500).