Vale recordar que o curso online de Restall & Davoren começa nesta 2a-feira.
JM ---------- Forwarded message ---------- Date: Fri, Dec 27, 2013 at 8:57 PM Subject: some logic courses @ videos from AU * * * Logic: Language and Information —Greg Restall, Jen Davoren This is an introduction to formal logic and how it is applied in computer science, electronic engineering, linguistics and philosophy. You will learn propositional logic—its language, interpretations and proofs, and apply it to solve problems in a wide range of disciplines. Propositional Logic 5 weeks long, start Mar 10th, 2014 https://www.coursera.org/course/logic1 First-order logic 8 weeks long, start Apr 22nd, 2014 https://www.coursera.org/course/logic2 * * * Greg Restall's lectures @ Vimeo Introductory Logic http://vimeo.com/album/2262403 Advanced Logic (Kurt Gödel’s Greatest Hits) http://vimeo.com/album/2262409 Modal and Non-Classical Logic (Meaning, Possibility and Paradox) http://vimeo.com/album/2470375 * * * _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
