Topics in Computation

3 credits · Undergraduate

This course covers topics of current interest in the mathematical study of computation. Suitable topics include: the lambda calculus and foundations of functional programming languages; the Curry-Howard correspondence; denotational and operational semantics; complexity theory; quantum information and computation. CALENDAR NOTES: Please consult the instructor for the topics offered in a particular year. This course is suitable for advanced undergraduates and graduate students from both mathematics and computer science. PREREQUISITES: MATH 3032.03, or MATH 3502.03, or MATH 3031.03 and MATH 3501.03, or CSCI 3110.03 and CSCI 3136.03, or permission of the instructor. CROSSLISTED: MATH 5682.03 FORMATS: Lecture