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