Les dejo el primer parcial con fecha de entrega el martes 26 de junio. Además y como ayuda, tienen un material extra sobre lenguajes formales con el lenguaje proposicional como ejemplo; se trata de unas notas escritas por el Prof. Alejandro Chemiel. Finalmente, les dejo una pequeña nota sobre pruebas inductivas con un ejemplo bastante explicado para que tomen como modelo.



Parcial:
http://www.mediafire.com/?z6rakwyn04qv7f6

Notas sobre lenguajes formales:
http://www.mediafire.com/?mwjha68wzuwtau5

Estrategia para pruebas inductivas:
http://www.mediafire.com/?c1ccbsluc8cd6as