Hi and thanks for that many replies!
The haskell-cafe@ mailing list is more appropriate for messages such as this. haskell@ is just for announcements (it should be called haskell-annouce@ !)
Sorry for misposting.
I'd add: * Discrete Maths - booleans, relations, functions etc. * Type theory * Logic programming (Prolog) * Semantics
Most of these are computer science courses, rather than maths ones.
My formulation was somewhat unfortunate on this point. I wasn't strictly looking for math courses, so Type Theory a Semantics seems to be a very good suggestions. Alas, I do not recall any course named "Type Theory" being taught here. But thanks for these hints. I should have probably also noted that I am not new to university (4th year), so I have already taken some courses. Notably: several semesters of real analysis Linear algebra, Algebra Discrete mathematics and graph theory few algorithm and datastructure courses, Logic Programming introduction courses into: Propositional and Predicate logic Computability theory Computational complexity theory Set Theory And I think I have enough of basic mathematical fluency to be able to follow (at least to some degree) any math course if it is not extra hard or if it does not heavily depend on other courses.
Just take the computer science courses that the fewest of your fellow students see any point to.
Well, there are too many of those :-) Thanks, Tom.