Présente des ensembles, des fonctions, des produits cartésiens et des compositions, en discutant des images, des préimages et des propriétés des fonctions.
Discute des techniques de synthèse logique pour concevoir des circuits numériques efficaces à partir de descriptions fonctionnelles et de tables de vérité.
Introduit des structures de contrôle dans la programmation C, couvrant les branches, les boucles et les meilleures pratiques pour écrire du code clair.