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 120 and 121, exercises 2 a, b, c, 4 a, c, e, g,
and 9.
- Chapter 4.5,
page 148,
exercises 1 and 4. Note that an onto function is surjective and
a one-to-one function is injective.
- Chapter 4.8,
pages 172
and 173, exercises 2, 3 a, c, f, 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.