Metodi Matematici per l'Informatica

AVVISO : Le lezioni inizieranno 1° Ottobre. 

Docenti: 

Lorenzo Carlucci (lorenzo.carlucci@uniroma1.it) e Jacopo Emmenegger (jacopo.emmenegger@gmail.com)

Dove: aula 4 De Lollis, via Tiburtina 205.

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

Classroom: https://classroom.google.com/c/MjU0MTY5MjAyNTZa?cjc=cn2xbelu

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.