The goal of this course is the introduction to central mathematical concepts that arise in computer science.
The emphasis will be on building abstraction skills and understanding the proof techniques that are necessary.
Topics that will be taught include more or less the first ten chapters of the basic textbook.