Denna kurs ges i två versioner - dels med omfattning om 12,5 %, som går över hela läsåret, dels på 33% takt som ges under vårterminen med start i februari. Det erbjuds inspelade föreläsningar och några handledningstillfällen men inga schemalagda föreläsningar eller lektioner. Examinationen sker i form av skriftlig salstentamen på campus.
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.