Il libro è la naturale continuazione di 'Introduzione alla complessità computazionale'. Il libro inizia affrontando il problema della primalità e della difficile identificazione della sua precisa complessità computazionale, per portarci all'analisi delle relazioni tra determinismo e casualità. Vengono poi presentati modelli di calcolo. Essempi ed esercizi aiutano il lettore ad impadronirsi degli strumenti matematici che vengono introdotti. Il testo può essere utilizzato per corsi universitari avanzati (in particolare del corso di laurea in Informatica) e per corsi di dottorato. Inoltre si propone come riferimento per i ricercatori del settore e di aree affini.