Diferencia entre revisiones de «Temas»
De Demostración automática de teoremas (2014-15)
(Página creada con '== 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.] | ||