Courses, Fall 2006

Undergraduate Courses

CMSC/MATH 308/408: Seminar in Computer Science and Mathematics. Monday 5-7 PM in Albee 106.
CMSC 431: Parallel Computing. Monday and Friday 10:30-11:50 AM in Olin 309. Lab: Wednesday 9:50-11:50 AM in Albee 100.

Undergraduate Tutorials

(not open for general enrollment)

Automated Deduction. Monday and Friday 1:30-2:30 PM in Albee 317.
Mathematical Logic. Monday 3-4 PM in Albee 317.

Graduate Courses

MATH 524: Logic and Automated Deduction. Tuesday 9:30-12:30 in TBA, October 3 - December 5.

Events

McGrail Presents at MathFest 2007
Fri, 8/3/07 - Bob McGrail presented the details of his unique graduate course in logic and automated deduction at MathFest 2007.