CMSC 15300
Foundations of SoftwarePrerequisites: CMSC 15200 or 12200. Required of students who are majoring in Computer Science.
Catalog Description: This course is concerned with the mathematical foundations of computer software. We introduce a number of mathematical areas used in the modeling of programming languages and software, including prepositional and predicate logic, basic set theory, relations, and automata theory. The connection between mathematics and software is made via examples and small programming assignments.
Instructors: StaffQuarter offered: Autumn
Last Verified by Sharon Salveter on 11 May, 2006.