C251 Foundations of Digital Computing
Dana Vrajitoru
C251 Homework 1
Due date: Wednesday, September 3, 2025.
Variables, Sets, Relations, Functions
Solve the following exercises from the textbook:
- Chapter 4.1, pages 101 and 102, exercises 2 a, b, c, 4 a, b, f, h,
and 9.
- Chapter 4.4, page 124, exercises 1 and 4. Note that an onto
function is surjective and a one-to-one function is injective.
- Chapter 4.7, pages 144 and 145, exercises 2, 3 a, c, e, 9.
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.