Course Description

Computer Science 209a/b Applied Logic for Computer Science

Propositional and predicate logic; representing static and dynamic properties of real-world systems; logic as a tool for representation, reasoning and calculation; logic and programming.

Prerequisite: Computer Science 027a/b and one full course or equivalent chosen from the following: Mathematics 030, Applied Mathematics 026, Calculus 050a/b, 051a/b, 081a/b, Linear Algebra 040a/b, or the former Applied Mathematics 020, or 023a/b plus 024a/b, or the former Mathematics 027; or, permission of the Department.
4 lecture hours, half course.


Academic Calendar
[Table of Contents] [Index]
[Courses by Subject] [Courses by Name] [Awards by Category] [Awards by Name] [Calendar Search]