CS 291 Homework 4

Assigned: 16 February 2022   Due: 25 February 2022

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. The files from previous assignments hw1example.tex and hw2example.tex should have enough LaTeX to get you started with the extra facts that the universal and existential quantifiers are \forall and \exists respectively. 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 7.3 Exercises 6.d, 6.e, 7.c, 8.c, 8.d