Páginas sin interwikis
Las siguientes páginas no enlazan a versiones en otros idiomas:
Abajo se muestran hasta 19 resultados entre el n.º 51 y el n.º 69.
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).
- Tema 15(a): sustitución de parámetros.
- Tema 15(b)
- Tema 15(b): sustitución de definiciones.
- Tema 15(c)
- Tema 15(c): interpretaciones locales.
- Tema 15: Sintaxis de un lenguaje imperativo simple.
- Tema 16: Semántica operacional del lenguaje imperativo simple IMP.
- Tema 17: Lógica de Hoare en Isabelle/HOL.
- Tema 18: Adecuación y completitud de la Lógica de Hoare en Isabelle/HOL.
- Tema 19: Lógica de Hoare en Isabelle/HOL: adecuación y completitud de la corrección total.
- Tema 20: Lógica de Hoare en Isabelle/HOL: condiciones de verificación.
- Tema 3: Deducción natural en Lógica proposicional con Isabelle/HOL
- Tema 6: Deducción natural en Lógica de primer orden con Isabelle/HOL
- Tema 7: Programación funcional en Isabelle/HOL.
- Tema 8: Razonamiento sobre programas en Isabelle/HOL.
- Tema 9: Razonamiento por casos e inducción.
- Temas
- Temas LCyTM 2015
- Trabajos
Ver (50 anteriores | siguientes 50) (20 | 50 | 100 | 250 | 500).