Metodi Matematici per l'Informatica

AVVISO : Le lezioni inizieranno mercoledì 25 Settembre. 

Classroom: https://classroom.google.com/c/NzE4OTY5NDEyODgy?cjc=oeqepom

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

Dove: 

Quando: Martedì 8-11; Mercoledì 11-13.

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.