Kursen behandlar logik, mängdlära, talteori och kombinatorik. I anslutning till talteorin behandlas olika bevistekniker, särskilt induktionsbevis. Vidare studeras egenskaper hos komplexa tal, polynom och polynomekvationer och metoder för att lösa sådana ekvationer
