La clase del 23/5/11 comenzamos a trabajar con el concepto de "sistema formal"; este concepto es importante porque los sistema lógicos que vamos a trabajar son ellos smismos sistemas formales. El material es autoría del Prof. Javier Legris.
http://www.megaupload.com/?d=V0OL542K
Además les dejo la página de su curso de Lógica en la UBA:
http://www.econ.uba.ar/www/departamentos/humanidades/plan97/logica/Legris/Index.htm
No hay comentarios:
Publicar un comentario