C251 Foundations of Digital Computing
Dana Vrajitoru
C251 Homework 7
Due date: Wednesday, October 15, 2025.
 Proof by Induction
Solve the following exercises from the textbook:
- Chapter 3.4, 3.5, pages 76 and 77, exercises 1, 3, 5, 7 a, d, 8
b, c, e.
 - Chapter 3.7, page 87, exercises 1, 2.
 
Notes:
- The page numbers refer to what is displayed at the top of the
pages and not the count shown above the file.
 - You can use exercises and theorems proved in the lecture and in
the textbook to solve homework exercises when applicable.