Logic and Set Theory

Synopsis

Logical reasoning is an indispensable tool when designing a solution to any complex technical problem. This course discusses the principles of correct logical reasoning. You learn to formulate statements in unambiguous logical language, and to manipulate them in a structured and logically valid manner. At the end of the course you are able to give simple mathematical proofs, in particular using the technique of mathematical induction.

Latest News:

[04-Sep-2017] The website has been updated now to reflect how the course will be taught in the 1st quarter of 2017-2018. Note, however, that we will rely mostly on Canvas for the bachelor-level course 2IT60 en on OnCourse for the homologation module 2IHT10. In particular, we shall post new material (e.g., slides) only in Canvas and OnCourse.