Computer Science (CSC) Courses>Logic and Programming

CSC322 - Logic and Programming

Description

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.

Units

1.5

Hours: lecture-lab-tutorial

3-0-0

Prerequisites

  • Complete all of the following
    • Complete 1 of:
      • CSC115 - Fundamentals of Programming II (1.5)
      • CSC116 - Fundamentals of Programming with Engineering Applications II (1.5)
    • Complete 1 of:
      • MATH122 - Logic and Foundations (1.5)
      • PHIL203 - Elementary Formal Logic (1.5)

Course offered by

Department of Computer Science

Course schedules

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

Use the buttons below to search the timetable. If the search results show 0 classes and the message ‘Please search again’, then the class is not scheduled for the selected term.