Fall 2018 - CMPT 409 D100

Special Topics in Theoretical Computing Science (3)

Theoretical Computer Science

Class Number: 8404

Delivery Method: In Person

Overview

  • Course Times + Location:

    Sep 4 – Dec 3, 2018: Tue, 2:30–4:20 p.m.
    Burnaby

    Sep 4 – Dec 3, 2018: Thu, 2:30–3:20 p.m.
    Burnaby

  • Exam Times + Location:

    Dec 13, 2018
    Thu, 12:00–3:00 p.m.
    Burnaby

  • Prerequisites:

    CMPT 307.

Description

CALENDAR DESCRIPTION:

Current topics in theoretical computing science depending on faculty and student interest.

COURSE DETAILS:

This course is cross-listed with CMPT 701 Modern logic grew out of efforts to provide a formal foundation for mathematics in the early 20th century, at the centre of which are fundamental results by Godel, Turing, and other luminary figures, establishing close ties between logic and computation. Logic has turned out to be a powerful tool in computer science, and most working logicians today are computer scientists. This course will provide an introduction to basic results in logic and computability, and also introduce ways in which logic is applied in modern computer science.

Topics

  • Propositional Logic
  • First-Order Logic
  • Proof Systems (Theorem Proving)
  • Computability
  • Recursive and Recursively Enumerable Sets
  • Goedel's Theorems
  • Applications: SAT, Complexity, Databases, Constraint Languages, Theorem Proving, Verification, etc.

Grading

NOTES:

Assignments, tests, exam. To be discussed in the first week of classes.

Materials

MATERIALS + SUPPLIES:

  • A Mathematical Introduction to Logic, 2nd Edition., Herbert B. Enderton, Elsevier Science, 2001, 9780122384523
  • Introduction to the Theory of Computation, Michael Sipser, Cengage, 2012, 9781133187790

REQUIRED READING:

  • Computability and Logic - Course Notes, Stephen A. Cook, These notes will be available from the course web page.

Registrar Notes:

SFU’s Academic Integrity web site http://students.sfu.ca/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating.  Check out the site for more information and videos that help explain the issues in plain English.

Each student is responsible for his or her conduct as it affects the University community.  Academic dishonesty, in whatever form, is ultimately destructive of the values of the University. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the University. http://www.sfu.ca/policies/gazette/student/s10-01.html

ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS