Prezados: no periodo de 04/01/2010 a 12/02/2010 o IME-USP oferecerá divesos cursos de verão. Enfatizo em espeial um curso de Lógica que será oferecido pelo nosso colega Rodrigo de Alvarenga Freire (meu ex-orientando de Doutorado e agora Pós-Doc no CLE- UNICAMP).
MAT6601 -Introdução à Lógica Matemática Os tópicos incluem a teoria da prova da lógica de primeira ordem, inclusive o teorema de Herbrand. As inscrições deverão ser feitas entre 09 e 30.11.2009 Mais informações em: http://www.ime.usp.br/webadmin/index.php?option=com_content&view=article&id=1025&Itemid=449 Att. Walter Carnielli -- +++++++++++++++++++++++++++++++++++++++++++++++++ Walter Carnielli Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3788-6519 Fax: (+55) (19) 3289-3269 e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
