Séances de cours associées à Ensembles, fonctions et relations : Définir des identités

Systèmes logiques : bases et opérateurs

Couvre les bases des systèmes logiques, y compris les circuits numériques versus analogiques, les opérateurs logiques, les tables de vérité et l'algèbre booléenne.

Algèbre booléenne : propriétés et théorèmes

Couvre les propriétés et les théorèmes de l'algèbre booléenne dans les systèmes logiques.

Logique propositionnelle : connexions logiques de base

Couvre la logique propositionnelle, les connecteurs logiques, les tables de vérité et les propositions composées.

Logique principale : quantificateurs, FNC, DNF

Couvre Predice Logic, en mettant l'accent sur les quantificateurs, le FNC et le DNF.

Algèbre linéaire: ensembles et opérations

Introduit les concepts fondamentaux de l'algèbre linéaire, en se concentrant sur les ensembles et les opérations.