CSC 322

Logic and Programming

Units: 1.5

Hours: 3-0-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:

Undergraduate course in Computer Science offered by the Department of Computer Science in the Faculty of Engineering.

Schedules:
Summer 2018 Fall 2018 Spring 2019

Summer timetable available: February 15. Fall and Spring timetables available: May 15.

Before these dates the class schedule will show "No classes were found that meet your search criteria". If this message is shown after these dates, the course is not scheduled for the selected term.