IRSES secondments in South America
I will be abroad from the 23 of March until the 22 of May. This is another secondment within the MaToMUVI project I coordinate. I will be in Rio, for the conference on Universal Logic. Then in Buenos Aires at CONICET and finally in Salvador at the Institute of Mathematics of the UFBA.
Matematica Discreta e Logica Matematica (Informatica)
This year I will give a series of introductory lectures on Mathematical Logic for the course "Matematica Discreta e Logica Matematica" at the B.Sc. in Computer Science. I will try to write down some lecture notes, but in the meanwhile students may find helpful to consult some references. Probably any book on mathematical logic contains the topics I am about to discuss, yet here there are some suggestions aimed at Italian speakers without a strong background in mathematics.
- Giangiacomo Gerla Linguaggio e verità. ilmiolibro.it. 2011. 274 pages (also available in reduced form, for free, here)
- Andrea Asperti, Agata Ciabattoni Logica a informatica. McGraw-Hill. 1997. 204 pages.
- Dario Palladino Corso di logica. Introduzione al calcolo dei predicati. Carocci. 2010. 409 pages.
Tutorial on Lukasiewicz logic and MV-algebras at the summer school in Campinas.
Prior to the MaToMUVI conference Philosophy and Mathematics of Uncertainty and Vagueness organised at CLE (UniCamp, Brazil), there will be a summer school for young researchers and undergaduate students. I will give a short tutorial on MV-algebras (seen in a broad perspective). I (hand-wrote) some notes that can be downloaded here. Take it cum grano salis, they are just notes I have used to follow a line of thoughts, still I believe they can be useful to the audience as they contain both specific references to the results presented and some good books giving an updated account of the subject.
Forum of Mathematics, Pi and Forum of Mathematics, Sigma
The idea of having an open access, high level mathematical journal is very welcome. Still, I believe this can be done without charging the authors, nevertheless I wish them success.
Logica II per Informatica
This year I will teach the course "Logica II" for the M.sc. degree in Computer Science. I think I will follow Moore's modified method for the course (see also the wikipedia entry for the original method).
There are some freely available notes, looking promising, I will use during the course.
Other reference (standard books) that may be used as sources of inspiration during the course are:
- Mendelson, E. Introduction to Mathematical Logic. Chapman & Hall 2009.
- Mundici, D. Logica - Metodo breve. Springer Verlag 2011.
- Asperti, A. and Ciabattoni, A. Logica a Informatica. McGraw-Hill 2003
Further information will follow on this website.
