Diferencia entre revisiones de «Temas»
De Demostración automática de teoremas (2014-15)
| Línea 1: | Línea 1: | ||
== Temas de ''Demostración automática de teoremas (2014-15)'' == | == Temas de ''Demostración automática de teoremas (2014-15)'' == | ||
*[http://www.cs.us.es/~mjoseh/dat-15/tema-1.pdf Tema 1: Sintaxis y semántica de la Lógica proposicional.] | *[http://www.cs.us.es/~mjoseh/dat-15/tema-1.pdf Tema 1: Sintaxis y semántica de la Lógica proposicional.] | ||
| + | *[http://www.cs.us.es/~mjoseh/dat-15/tema-2.pdf Tema 2: Deducción natural en Lógica proposicional.] | ||
| + | *[http://www.cs.us.es/~mjoseh/dat-15/tema-3.pdf Tema 3: Sintaxis y semántica de la Lógica de primer orden.] | ||
| + | *[http://www.cs.us.es/~mjoseh/dat-15/tema-4.pdf Tema 4: Deducción natural en Lógica de primer orden.] | ||