Courses in Logic, Information, and Computation