COMP 1002

Intro to Logic for Comp Sci

Lec 001 and Lab 002 selected

Introduces methods of reasoning and logic tools that underlie computer science. In particular, this course covers propositional and predicate logic, sets and other discrete structures, as well as modular arithmetic and basic counting, with emphasis on their applications in computer science.

Sections

Lecture

Lec 001

Mon, Wed, Fri 11:00-11:50

Mon, Wed, Fri11:00-11:50G. A. Hickman (ED) 3034B40663

Lab

Lab 002

Wed 14:00-16:50

Wed14:00-16:50Computing Services (CS) 101940664

Syllabus

Have the syllabus for COMP 1002? Share it and everyone gets the grading, textbooks and rules.