First cycle
degree courses
Second cycle
degree courses
Single cycle
degree courses
School of Science
COMPUTER SCIENCE
Course unit
LOGIC
SC02105452, A.A. 2019/20

Information concerning the students who enrolled in A.Y. 2019/20

Information on the course unit
Degree course First cycle degree in
COMPUTER SCIENCE
SC1167, Degree course structure A.Y. 2011/12, A.Y. 2019/20
N0
bring this page
with you
Number of ECTS credits allocated 6.0
Type of assessment Mark
Course unit English denomination LOGIC
Website of the academic structure http://informatica.scienze.unipd.it/2019/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 MARIA EMILIA MAIETTI MAT/01

ECTS: details
Type Scientific-Disciplinary Sector Credits allocated
Educational activities in elective or integrative disciplines MAT/01 Mathematical Logic 6.0

Course unit organization
Period First semester
Year 1st Year
Teaching method frontal

Type of hours Credits Teaching
hours
Hours of
Individual study
Shifts
Practice 2.0 18 32.0 No turn
Lecture 4.0 32 68.0 No turn

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

Examination board
Board From To Members of the board
6 a.a 2018/2019 01/10/2018 28/02/2020 MAIETTI MARIA EMILIA (Presidente)
CIRAULO FRANCESCO (Membro Effettivo)
BONOTTO CINZIA (Supplente)
MASCHIO SAMUELE (Supplente)
SAMBIN GIOVANNI (Supplente)

Syllabus
Prerequisites: None.
Target skills and knowledge: The aim of the course is to provide an introduction to logic and its relevance to computer science. In particular, the student will be able to express a sentence via a formula in a formal language, to give a proof via a derivation in an axiomatic system and to give counterexamples when a formula is not derivable. Moreover, the student will be helped to understand some general concepts, such as language, expression, proposition, assertion, metalanguage, and some concepts specific to mathematics, such as derivation, proof, axiomatic system, interpretation. The student will be led to master such concepts and to distinguish and apply them in mathematics and in common life. The course will show how logic clarifies in a rigorous way the intrinsic limits to what a language can express and to what one can prove in a given axiomatic system. Finally, the course will give some hystorical information about logic, its potentialities and its future perspectives.
Examination methods: Written examination
Assessment criteria: The valuation of the written examination will be based on an assigned evaluation of each exercise given beforehand
Course unit contents: 1. Language, metalanguage, reference levels, infinite iteration.

2. Notion of machine or robot, meaning of connectives and their
deductive rules, sequent calculus for classical propositional logic, truth tables, validity and completeness theorems.

3. Decision methods for propositional classical sequent calculi.


4. Sequent calculus for classical predicate, notion of interpretation, model and validity and completeness theorems.

5. Construction of countermodels of predicative sentences.

6. Sketch of completeness and incompleteness (Gödel) theorems and of indecidability (Church) and their meaning
Planned learning activities and teaching methods: Beside lectures on theory, the teacher will assign many exercises and will correct their solution. There will be simulations of written exams.
Additional notes about suggested reading: The teacher will provide written notes including all the necessary theoretical and practical aspects of each topic treated in the course (including a list of exercises and a list of solved exercises).
Textbooks (and optional supplementary readings)
  • Maria Emilia Maietti, Manuale pratico di Logica. --: Padova, 2016. dispense
  • Giovanni Sambin, Per istruire un robot. --: Libreria Cortina, Padova, 2007.

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 Quality Education Gender Equality Clean Water and Sanitation Decent Work and Economic Growth Life on Land