Metodi Matematici per l'Informatica

AVVISO : Le lezioni inizieranno lunedì 29 Settembre. 

Docente: Lorenzo Carlucci (lorenzo.carlucci@uniroma1.it)

Dove: Aula 3 Castro Laurenziano.

Quando: Lunedì 11-14; Giovedì 8-10.

Classroom: https://classroom.google.com/c/MjM1NDk4NTExNjRa?cjc=3wlgxm2q

Libro di testo: Dispense fornite dal docente. Il testo seguente (disponibile online) è un utile riferimento:

Oscar Levin, Discrete Mathematics, an open introduction (3rd edition), open source: http://discrete.openmathbooks.org/dmoi3.html 

Programma di massima: Elementi di Combinatoria, tecniche di conteggio di insiemi finiti, elementi di Teoria degli Insiemi, relazioni, relazioni di equivalenza, funzioni, elementi di Teoria dei Numeri, il principio di induzione, induzione strutturale, elementi di Logica proposizionale e predicativa.