CSE 150

Schedule of Course Topics

Course Topics

Chapter and section numbers refer to the textbook, James L. Hein, Structures, Logic, and Computability, Jones and Bartlett, ISBN 978-0-7637-7206-2.

• Elementary Notions [Chapter 1]
  • Proofs [Section 1.1]
  • Sets [Section 1.2]
  • Ordered Structures [Section 1.3]
  • Graphs and trees [Section 1.4]
• Functions [Chapter 2]
  • Definitions and examples [Section 2.1]
  • Constructing functions [Section 2.2]
  • Properties of functions [Section 2.3]
  • Countability [Section 2.4]
• Construction Techniques [Chapter 3]
  • Inductively defined sets [Section 3.1]
  • Recursive functions [Section 3.2]
  • Grammars [Section 3.3, tentative]
• Relations and Inductive Proof [Chapter 4]
  • Binary relations [Section 4.1]
  • Equivalence relations [Section 4.2]
  • Order relations [Section 4.3]
  • Inductive proof [Section 4.4]
• Elementary logic [Chapter 6]
  • Propositional logic [Section 6.2]
  • Formal proofs [Sections 6.3 and 6.4]
• Predicate logic [Chapter 7]
  • Predicate calculus [Section 7.1]
  • Equivalence [Section 7.2]
  • Formal proofs [Section 7.3]
• Computational logic [Chapter 9, tentative]
  • Automated reasoning [Section 9.1]
  • Logic programming [Section 9.2]