Cette séance de cours donne un aperçu du contenu du cours, en commençant par une introduction à la logique des propositions et des prédicats, suivie de discussions sur les ensembles, les fonctions, les relations et les algorithmes. L'instructeur montre des exemples liés aux villes suisses, des tables de tri et des calculs impliquant des infections Covid, des mains de poker et des nombres premiers.