Corso tenuto dai professori Lenzerini e Leonardi.
Il corso é diviso in due metá esatte e non comunicanti, la prima tenuta dal professor Lenzerini rigurda la Logica, mentre la seconda tenuta da Leonardi rigurda l'applicazione di Metodi Probabilistici all'informatica
Come tutto il resto del corso anche gli esami sono completamente separati tra le due parti. Lenzerini oltre all'esame tradizionale concede di poter fare un progetto di approfondimento e presentazione di un argomento non studiato nel corso. Leonardi fa un Homework a metá corso, che funziona come un esonero.