M385 Math From Language
This class will cover mathematical topics related to the computer processing of language.
Specific topics will include: induction and recursion, grammars, the typed lambda calculus, and logic. The class will also involve work with the programming language Haskell, but no programming background is needed. The prerequisite is one 300-level proof-oriented math class.
Filed under: Academic Help