theoretical cs lecture 11 901034