Denna kurs ges med en studietakt på 12 % och pågår till och med 5 juni 2022. Det erbjuds inspelade föreläsningar och några handledningstillfällen men inga schemlagda 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.