Course Description 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]](toc.gif) ![[Index]](index.gif)
|
![[Courses by Subject]](crssbsub.gif) ![[Courses by Name]](crssbnme.gif) ![[Awards by Category]](awrdbctg.gif) ![[Awards by Name]](awrdbnme.gif) ![[Calendar Search]](search.gif)
|