Module on Logics and Reasoning (3CFC)

Learning outcomes:

Students will learn the syntax and some elementary aspects of the semantics of Propositional Calculus and First-Order Logic. They will use logic formulas to formalize propositions in the natural language. They will learn simple but formal proof techniques, and will use them to prove (or disprove) equivalences among sets and among predicate calculus or first-order logic formulas.

Prerequisites

None

Teaching methods

  • Lectures are carried out using slides and a blackboard.
  • Exercises are carried out in the classroom: students will practice the exercises, even in groups, under the supervision of the lecturer.
  • Interaction with the lecturer is done through meetings (on fixed office hours or by appointment) and by e-mail.

Syllabus

  1. Introduction: relevance of the Mathematical Language in Science
  2. Examples of discursive and formal proofs of algebraic identities
  3. Notations for sets, comparing sets, composing sets: some laws
  4. Discursive, graphical and formal proofs of set equalities
  5. Syntax and semantics of Propositional Calculus
  6. Syntax and basics of semantics of First Order Logic
  7. Formalization of natural language statements and formal proofs of logical equivalence

Bibliography

Teaching material (in Italian) will be distributed at the beginning of the module

Assessment methods

Written test, consisiting of a few problems to be solved.

Seguici su:

Università di Pisa
Lungarno Pacinotti 43
56126 Pisa
P.I. 00286820501
C.F. 80003670504

Centralino
Tel +39 050 221 2111
Fax +39 050 40834
Numero Verde Studenti 800-018600