Vale recordar que a segunda parte do curso de Restall & Davoren, sobre *lógica de primeira ordem*, começa nesta 3a-feira.
Joao Marcos > ---------- 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
