1. Introduction to logic

Often one of the first things taught in a computer science bachelor's degree is discrete mathematics, and one of the first things in discrete mathematics is logic.