This course is an introduction to formal mathematical reasoning and to some fundamental concepts of algebra and logic that are crucial for computer science (and computer scientists). This course is mandatory for first-semester students in the CS Bachelor's program, in the IIW Bachelor's program, and in the Data Science Bachelor's program.