The course aims to enable the students to develop an understanding of the fundamental concepts needed to build and use formal models of system in computing. The students understand and apply set theory and logic to describe the data and constraints, as well as the use of algebra and deduction rules in simplifications and proofs.

First Semester