First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Science
MATHEMATICS
Course unit
MATHEMATICAL LOGIC
SCM0014417, A.A. 2015/16

Information concerning the students who enrolled in A.Y. 2013/14

Information on the course unit
Degree course First cycle degree in
MATHEMATICS
SC1159, Degree course structure A.Y. 2008/09, A.Y. 2015/16
N0
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 http://matematica.scienze.unipd.it/2015/laurea
Department of reference Department of Mathematics
Mandatory attendance No
Language of instruction Italian
Branch PADOVA
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

Lecturers
Teacher in charge SILVIO VALENTINI

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
Hours of
Individual study
Shifts
Practice 4.0 32 68.0 No turn
Lecture 3.0 24 51.0 No turn

Calendar
Start of activities 01/10/2015
End of activities 28/01/2016
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)
BONOTTO CINZIA (Supplente)
MASCHIO SAMUELE (Supplente)
7 Logica Matematica - a.a. 2018/2019 01/10/2018 30/09/2019 MAIETTI MARIA EMILIA (Presidente)
CIRAULO FRANCESCO (Membro Effettivo)
BONOTTO CINZIA (Supplente)
MASCHIO SAMUELE (Supplente)
SAMBIN GIOVANNI (Supplente)
6 Logica Matematica - 2017/2018 01/10/2017 30/09/2018 MAIETTI MARIA EMILIA (Presidente)
SAMBIN GIOVANNI (Membro Effettivo)
CIRAULO FRANCESCO (Supplente)
MASCHIO SAMUELE (Supplente)
5 Logica Matematica - 2016/2017 01/10/2016 30/09/2017 MAIETTI MARIA EMILIA (Presidente)
SAMBIN GIOVANNI (Membro Effettivo)
BONOTTO CINZIA (Supplente)
CIRAULO FRANCESCO (Supplente)
MASCHIO SAMUELE (Supplente)
4 Logica Matematica - a.a. 2015/2016 01/10/2015 30/09/2016 VALENTINI SILVIO (Presidente)
ZANARDO ALBERTO (Membro Effettivo)
BONOTTO CINZIA (Supplente)
CIRAULO FRANCESCO (Supplente)
MAIETTI MARIA EMILIA (Supplente)

Syllabus
Prerequisites: some basic knowledge of algebra, topology and set theory
Target skills and knowledge: the aim of the course in logic is to study the relation between syntax and semantics and to illustrate the main properties of logical calculi and their main expressive and proof-theoretic limits
Examination methods: written + oral exam
Assessment criteria: the aim of the exam is to evaluate the knowledge of the student on the topics of the corse
Course unit contents: precise definition of concepts as: language, expression, symbol, proposition, assertion, inference rule, derivation, proof, logical consequence, axiomatic theory, model, valuation, interpretation, correctness and completeness.
We will deal both with classical and intuitionistic logic.
We will prove the main theorems on the equivalence between syntax and semantics, namely, validity and completeness.
A second part of the corse will deal with limitative results, in particular we will prove the compactness theorem and Godel theorem.
Planned learning activities and teaching methods: Classroom lessons
Additional notes about suggested reading: Lecture notes
Textbooks (and optional supplementary readings)
  • Boolos G, Jeffrey R., Computability and Logic. --: Cambridge University Press, --. Cerca nel catalogo
  • Bell J., Machover M.A., A course in Mathematical Logic. --: North-Holland, --. Cerca nel catalogo