I know there is a vast bibliography on the subject but I just wanted to write something intuitive and easy to read on such essential and extensive topic for a computer scientist.
The notes are written in italian and follow professor P. Degano lectures at B.Sc. Computer Science University of Pisa. The source code can be compiled using R with Rmarkdown1 package, just use this tiny Rscript below.
#! /usr/bin/env Rscript require(rmarkdown) render(commandArgs(trailingOnly=TRUE))
Take a look at the notes in fullscreen mode or just watch them in the window below. Stay tuned for the next updates.