Workshop Syllabus

View homepage: csci150.hunterosc.org

Location: Hunter West Room 619

Objective

We plan to cover basic definitions and essential formulas and principles. The goal is to lay groundwork that makes it easier to follow along during the course. As such, the main focus will be on getting a strong understanding of definitions and basic principles in each topic. Hopefully this will allow students to focus on relevant strategies when actually building proofs for more advanced problems during lecture.

Topics

• Logic
  • Statements, Predicates, and Propositions
    • Truth Tables
    • De Morgan’s Laws
  • Argument Forms & Simple Proofs
    • Modus Ponens, Modus Tollens
• Set Definition and Notation
  • Common Sets: N, Z, Q, R Definitions
  • Set Relations
• Number Theory
  • Definition of Even, Odd
  • Definition of Divisibility, Primes
• Proofs
  • Direct Proof
  • Proof by Contrapositive