Couvre la conception et la fonction des amplificateurs différentiels, en se concentrant sur les amplificateurs opérationnels et les comparateurs, y compris leurs caractéristiques de gain et leurs configurations de circuit.
Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.
