COURSE CONTENTS AND STRUCTURE 

We briefly treat some basic elements of Formal
Language Theory, Computability and Recursive Function Theory.
The main focus of this course is modern complexity theory:
	reducibility
	completeness theory
	basic relation among complexity classes
	complexity hierarchies
	randomized computation
	approximation algorithms
	parallel computation