Diferencia entre revisiones de «Temas»
De Razonamiento automático (2013-14)
(→Temas de Razonamiento automático (2013-14)) |
|||
| (No se muestran 7 ediciones intermedias de 2 usuarios) | |||
| Línea 1: | Línea 1: | ||
| − | |||
* [[Tema 1: Programación funcional en Isabelle]]. | * [[Tema 1: Programación funcional en Isabelle]]. | ||
* [http://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8t.pdf Tema 2a: Razonamiento sobre programas Haskell] | * [http://www.cs.us.es/~jalonso/cursos/i1m/temas/tema-8t.pdf Tema 2a: Razonamiento sobre programas Haskell] | ||
| Línea 9: | Línea 8: | ||
* [http://www.cs.us.es/~jalonso/cursos/li/temas/tema-2.pdf Tema 6a: Deducción natural proposicional]]. | * [http://www.cs.us.es/~jalonso/cursos/li/temas/tema-2.pdf Tema 6a: Deducción natural proposicional]]. | ||
* [[Tema 6b: Deducción natural proposicional con Isabelle/HOL]]. | * [[Tema 6b: Deducción natural proposicional con Isabelle/HOL]]. | ||
| − | * [http://www.cs.us.es/~jalonso/cursos/li/temas/tema-8.pdf Tema 7a: Deducción | + | * [http://www.cs.us.es/~jalonso/cursos/li/temas/tema-8.pdf Tema 7a: Deducción natural en lógica de primer orden]]. |
| − | natural en lógica de primer orden]]. | + | * [[Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL]]. |
| − | * [[Tema | + | * [[Tema 8: Caso de estudio: Compilación de expresiones]]. |
| + | * [http://www.cs.us.es/~jalonso/cursos/dao-12/temas/tema-1.pdf Tema 9: Panorama de la demostración asistida por ordenador]. | ||
| + | |||
| + | == Listas de vídeos de las clases == | ||
| + | |||
| + | * [https://www.youtube.com/watch?v=3ypB3TUmSHg 2013-11-27 ] | ||
| + | * [https://www.youtube.com/watch?v=yazrdrjlbEU 2013-12-05a ] | ||
| + | * [https://www.youtube.com/watch?v=jwtk99TIoMo 2013-12-05b ] | ||
| + | * [https://www.youtube.com/watch?v=1GynGGucKRQ 2013-12-12a ] | ||
| + | * [https://www.youtube.com/watch?v=cCqwFkDWkqI 2013-12-19a ] | ||
| + | * [https://www.youtube.com/watch?v=lbhkBjbNh3Y 2013-12-19b ] | ||
| + | * [https://www.youtube.com/watch?v=WakkA2x8Gs8 2014-01-09a ] | ||
| + | * [https://www.youtube.com/watch?v=9RgFTM5s-nE 2014-01-09b ] | ||
| + | * [https://www.youtube.com/watch?v=Xf66W5A7yFw 2014-01-16a ] | ||
| + | * [https://www.youtube.com/watch?v=VlIjp3eyDR4 2014-01-16b ] | ||
| + | * [https://www.youtube.com/watch?v=u7_3tW8p4Us 2014-01-23a ] | ||
| + | * [https://www.youtube.com/watch?v=iu2lRLN_Mo4 2014-01-23b ] | ||
| + | * [https://www.youtube.com/watch?v=Cf3quG6TkXE 2014-01-30a ] | ||
| + | * [https://www.youtube.com/watch?v=578loXA_ImI 2014-01-30b ] | ||
| + | * [https://www.youtube.com/watch?v=fd08GOuiaMM 2014-02-06 ] | ||
| + | * [https://www.youtube.com/watch?v=IFJtN7tlyuc 2014-02-13 ] | ||
Revisión actual del 12:53 16 mar 2020
- Tema 1: Programación funcional en Isabelle.
- Tema 2a: Razonamiento sobre programas Haskell
- Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL.
- Tema 3: Razonamiento estructurado sobre programas en Isabelle/HOL.
- Tema 4: Razonamiento por casos y por inducción.
- Tema 5a: Verificación de la ordenación por inserción.
- Tema 5b: Verificación de la ordenación por mezcla.
- Tema 6a: Deducción natural proposicional].
- Tema 6b: Deducción natural proposicional con Isabelle/HOL.
- Tema 7a: Deducción natural en lógica de primer orden].
- Tema 7b: Deducción natural en lógica de primer orden con Isabelle/HOL.
- Tema 8: Caso de estudio: Compilación de expresiones.
- Tema 9: Panorama de la demostración asistida por ordenador.