LOGICA MATEMATICA

Anno accademico 2020-2021

Docenti:
Alberto Giulio Marcone
Vincenzo Dimonte

Anno di corso: 2

Totale crediti: 6

Tipologia: Base

Periodo didattico: Primo Periodo

Prerequisiti. The course of Discrete Mathematics is a source of examples used during the lectures.

Metodi didattici. theoretical lectures with examples and exercises

Modalità di verifica. Written test (possibly with screening quiz) and optional oral colloquium. Both can be given in English (contact the instructor well before the scheduled date for the written test). Precise rules for the exams and past tests are available on the e-learning website

OBIETTIVI FORMATIVI

To acquire the fundamentals of mathematical logic, paying special attention to algorithmic methods.

To reach the ability of translating sentences of a natural language into a formal language.

To reach a good knowledge of the syntactic and semantic aspects of both propositional and predicative logic.

CONTENUTI

Basic Mathematical Logic: propositional and predicative logic. In detail:

-Propositional logic: syntax, satisfiability and logical consequence, transformation into normal forms, semantic tableaux, natural deduction.

-Predicate logic: syntax, satisfiability and logical consequence, relations among models and logic with equality, semantic tableaux, natural deduction.

-Translation from natural language into formal language.

TESTI DI RIFERIMENTO

Lecture notes (in Italian) are available on the e-learning website and at http://users.dimi.uniud.it/~alberto.marcone/LMinf.html The lecture notes include further bibliography, also in English.