Topics to be chosen from: models of computation and formal languages, computability and complexity, P and NP completeness and P = NP, advanced computing models. Four hours lecture.
