University of Alberta

CMPT 272 — Introduction to Logic in Computing Science

0 documents • ranked by quality and engagement.

This course explores the application of formal logic, propositional calculus, and predicate logic to computational problems and verification.