[bjourne]

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