First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Science
Course unit
SCM0014417, A.A. 2019/20

Information concerning the students who enrolled in A.Y. 2017/18

Information on the course unit
Degree course First cycle degree in
SC1159, Degree course structure A.Y. 2008/09, A.Y. 2019/20
bring this page
with you
Number of ECTS credits allocated 7.0
Type of assessment Mark
Course unit English denomination MATHEMATICAL LOGIC
Website of the academic structure
Department of reference Department of Mathematics
Mandatory attendance No
Language of instruction Italian
Single Course unit The Course unit can be attended under the option Single Course unit attendance
Optional Course unit The Course unit can be chosen as Optional Course unit

Teacher in charge MARIA EMILIA MAIETTI MAT/01

ECTS: details
Type Scientific-Disciplinary Sector Credits allocated
Core courses MAT/01 Mathematical Logic 7.0

Course unit organization
Period First semester
Year 3rd Year
Teaching method frontal

Type of hours Credits Teaching
Hours of
Individual study
Practice 4.0 32 68.0 No turn
Lecture 3.0 24 51.0 No turn

Start of activities 30/09/2019
End of activities 18/01/2020
Show course schedule 2019/20 Reg.2008 course timetable

Examination board
Board From To Members of the board
8 Logica Matematica - a.a. 2019/2020 01/10/2019 30/09/2020 MAIETTI MARIA EMILIA (Presidente)
CIRAULO FRANCESCO (Membro Effettivo)

Prerequisites: some basic knowledge of algebra and topology.
Target skills and knowledge: The aim of the course in logic is to study the relation between syntax and semantics of a formal language and to illustrate the main properties of logical calculi and their main expressive and proof-theoretic limits.
Examination methods: written with the possibility to add an oral examination
Assessment criteria: the aim of the exam is to evaluate the knowledge of the student on the topics of the corse
Course unit contents: This course is about the study of the expressive power and corresponding limits of deductive formal systems for both classical and intuitionistic predicate logics as well as for their corresponding extensions with Peano axioms of arithmetic.

We will study
-decision procedures for their propositional fragments,
-semidecision procedures for the full predicate logics,
-the main theorems about the equivalence between the mentioned logics and their algebraic semantics,
-Goedel incompleteness theorems for both classical and intuitionistic arithmetic.
Planned learning activities and teaching methods: Classroom lessons
Additional notes about suggested reading: Notes provided by the lecturer
Textbooks (and optional supplementary readings)
  • Dirk van Dalen, Logic and structure. London: Springer, 2012. 5th revised, extended edition Cerca nel catalogo
  • A. S. Troelstra and H. Schwichtenberg, Basic Proof Theory. --: Cambridge University Press, 1996. Cerca nel catalogo
  • Saunders Mac Lane, Categories for the Working Mathematician. --: Springer, 1978. Cerca nel catalogo

Innovative teaching methods: Teaching and learning strategies
  • Lecturing
  • Laboratory
  • Case study
  • Interactive lecturing
  • Working in group
  • Questioning
  • Action learning
  • Problem solving
  • Concept maps
  • Loading of files and pages (web pages, Moodle, ...)

Sustainable Development Goals (SDGs)
Good Health and Well-Being Gender Equality Clean Water and Sanitation Life Below Water