Apresenta uma sólida introdução matemática à teoria clássica e contemporânea da computação e proporciona um profundo entendimento dos paradigmas fundamentais da ciência da computação.