Metodi Matematici per l'Informatica

AVVISO : Le lezioni inizieranno martedì 10 Ottobre. 

Classroom: https://classroom.google.com/c/NjI5OTM5Mzg1Nzc5?cjc=wcklimu

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

Dove: Aula Ponzi I GEOLOGIA E MINERALOGIA - SCIENZE MATEMATICHE, FISICHE E NATURALI CU005-E01P02L073

Quando: Martedì 8-11; Giovedì 8-10.

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.