CS 191 Homework 1

Assigned: 25 January 2023   Due: 6 February 2023

Problems from the Hein textbook. These homework problems are to be done individually, not in pairs or other groups.

You are required to prepare your solutions to these questions using the LaTex text formatting system. We will go over this in detail in class. You should use the file hw1template.tex or (hw1template.zip for Overleaf) as your starting point. You will upload both your LaTeX source file and your PDF file using the Homework Submission page. This page will assign a timestamp to your submission and that will determine whether your assignment is on time. Any time until 11:59pm on the due date is considered to be on time.

  1. Section 1.1 Exercises 2.b, 4.g, 8.b, 14.a (hint: the contrapositive might be helpful)