CMPUT 272 - Formal Systems and Logic in Computing Science

Overview

Computing science is about using computers to solve problems. The branch of mathematics that is most useful in working with digital computers is discrete mathematics. This is the mathematics of whole numbers and finite sets.

Ultimately, problem-solving and discrete mathematics underlie every aspect of computing science, from the design of hardware and developing software to the theory of computation.

In CMPUT 272, students learn the fundamentals of discrete mathematics and then use that knowledge to solve problems and communicate the correctness of their solutions.

Objectives

• Have the basic skills necessary to reason out simple logic and discrete math problems possibly including
  • Sudoku puzzles
  • Deciphering logical expressions
  • Constructing proofs by induction
  • Prove the infinitude of primes

Course Work

Combination of:

• Written assignments
• Quizzes
• Midterms
• Final exam