- What do we understand by mathematical logic? How is it related to Computer Science? - Have you come across mathematical logic in any of the courses you have taken? Which course(s) and in what way? - Who are some of the main contributors to Logic? What were their contributions? - In your own words, what are some of the differences between propositional logic and first-order logic?