Acciones

Diferencia entre revisiones de «Temas»

De Razonamiento automático (2018-19)

Línea 11: Línea 11:
 
** [[Tema 6a: Verificación de la ordenación por inserción]].
 
** [[Tema 6a: Verificación de la ordenación por inserción]].
 
** [[Tema 6b: Verificación de la ordenación por mezcla]].
 
** [[Tema 6b: Verificación de la ordenación por mezcla]].
<!--
 
 
* Tema 7: Deducción natural proposicional:
 
* Tema 7: Deducción natural proposicional:
 
** [http://www.cs.us.es/~jalonso/cursos/li/temas/tema-2.pdf Tema 7a: Deducción natural proposicional].
 
** [http://www.cs.us.es/~jalonso/cursos/li/temas/tema-2.pdf Tema 7a: Deducción natural proposicional].
 
** [[Tema 7b: Deducción natural proposicional con Isabelle/HOL]].
 
** [[Tema 7b: Deducción natural proposicional con Isabelle/HOL]].
 +
<!--
 
* Tema 8: Deducción natural de primer orden:
 
* Tema 8: Deducción natural de primer orden:
 
** [http://www.cs.us.es/~jalonso/cursos/li/temas/tema-8.pdf Tema 8a: Deducción natural en lógica de primer orden].
 
** [http://www.cs.us.es/~jalonso/cursos/li/temas/tema-8.pdf Tema 8a: Deducción natural en lógica de primer orden].

Revisión del 19:16 9 ene 2019