Séances de cours associées à Relations en informatique

Aperçu du cours: Teaser on Course Contents

Offre un aperçu de la logique propositionnelle et des prédicats, des ensembles, des fonctions, des relations, des algorithmes, des villes suisses, des tables de tri, des infections Covid, des mains de poker et des nombres premiers.

Formes différentielles sur les collecteurs

Introduit des formes différentielles sur les collecteurs, couvrant les faisceaux tangents et les appariements d'intersection.

Ensembles et preuves

Introduit des ensembles en mathématiques discrètes et explore les techniques de preuve comme les preuves directes et indirectes.

Relations d'équivalence: classes, partitions

Couvre les relations d'équivalence, les classes et les partitions d'un ensemble.