Logic is the study of valid reasoning and, as such, is relevant to much more than just computing. It turns out that there are many different types of logic, of which we will consider two, namely propositional and first-order predicate calculus, in some detail in this module. However, there is another logic that is of some interest in computing, namely temporal logic, and we will very briefly cover temporal logic as well.
Moreover, since this course is about discrete structures in computing, we will also discuss a few examples of how logic is relevant in computing.
If you have any questions about the material covered in this module, please post them on the general discussion forum.