TEACHING | RESOURCES | PUBLICATIONS
WORK TOGETHER | SCHEDULE A MEETING | OFFICE HOURS

Teaching Materials

Current Courses

• Comp 110: Intro to Programming

Teaching Materials

Here are some teaching materials I’ve made to help students. I consider them to be works-in-progress, so any corrections or feedback is appreciated! (Please email feedback to abyrnes1@cs.unc.edu)

Basics

• LaTeX Cheat Sheet

Discrete Structures

• Pseudocode: Video, Slides
• Propositional Logic: Video, Slides
• Sets, Tuples, and Counting: Video, Slides
• Quantifiers: Video, Slides
• Set Operations: Video, Slides
• Relations: Video, Slides
• Functions: Video, Slides
• Common Functions: Slides
• Number Theory: Video, Slides, Extra Video
• RSA + Prime Numbers: Video, Slides
• Proofs: Video, Slides
• Proofs Continued: Video, Slides
• Recursion: Video, Slides
• Induction: Video, Slides, Induction Template, Induction Template (Printable)
• Analyzing Algorithms and Invariants: Video, Slides
• Proving Invariants: Video, Slides