[Haskell-cafe] Re:[Haskell] Math behind Haskell

Tomas Caithaml Tomas.Caithaml at seznam.cz
Mon Sep 24 16:02:08 EDT 2007

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.

More information about the Haskell-Cafe mailing list