Logic is one of the most important ingredient in computer programming. It is necessary and important component which is required to establish proofs by arguments and counter arguments.
In this section we will try to learn ways of logical deduction and formulating propositions and mathematical statements which can be argued upon. This will also help us think about the problems which do not seem to be intuitive.
We will also learn formal ways of proving things using mathematical induction, truth tables and many others.