General description
This course covers the topic of mathematics and logic that a programmers,
designers, or analysts need in their work. It also helps the students in developing
their abstraction and explains its direct application in the field of programming or
analysis by dealing with topics such as mathematical induction, propositions,
quantified expressions, the principles of Automata and the foundations of
programming languages.