Se trabajó con la noción intuitiva de "función recursiva" y se realizó y expuso el procedimiento de "pruebas por inducción".
Luego comenzamos con la sintáxis del Lenguaje Proposicional. En la próxima veremos propiedades simples de este lenguaje que probaremos por inducción y con un poco de suerte pasaremos a la semántica proposicional.
Les dejo además un práctico sobre lenguajes formales e inducción.
http://www.megaupload.com/?d=8PD5HYMU
