Programma

Introduzione al corso.

Elementi di logica (cap. 1: 1.1 – 1.5)

Logica proposizionale e sue applicazioni. Equivalenze proposizionali. Predicati e
quantificatori.

Cenni su insiemi, operazioni su insiemi, cardinalità (cap. 2: 2.1 – 2.2, 2.5)

Dimostrazioni (cap. 1: 1.7 – 1.8)

Introduzione alle dimostrazioni. Metodi e strategie di dimostrazione.

Induzione e Ricorsione (cap. 5: 5.1 – 5.5)

Induzione. Definizioni ricorsive. Induzione strutturale. Algoritmi ricorsivi (cenni).



I capitoli sopra citati si riferiscono al libro di testo:
Kenneth D. Rosen, Discrete Mathematics and its Applications, Seventh Edition,
McGraw-Hill, 2012

Altra utile lettura:
Kieth Devlin, Introduction to Mathematical Thinking,
Second Edition, ISBN 0615653634