Logic and Programming
Units: 1.5, Hours: 3-0
Practical applications of logic in computer science and its relevance in such areas as software engineering, artificial intelligence and circuit design theory. Topics include: propositional expressions and circuits, reading and writing first order logic, predicate logic as a relational query language, knowledge representation, PROLOG, and other related topics.
Prerequisites: 115 or 160, and MATH 122, 224, CENG 245, PHIL 203, or 304A.
Undergraduate course in Computer Science offered by the Department of Computer Science in the Faculty of Engineering.