What about Ordo notation, complexity theory, context free grammars, type theory, information theory and lambda calculus? Topics that are really important to Com

What about Ordo notation, complexity theory, context free grammars, type theory, information theory and lambda calculus? Topics that are really important to Computer Science? :p