Introduit le Mathgraph Theorem Prover, montrant son approche unique pour représenter des propositions et organiser des graphiques pour la logique de premier ordre.
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.
Couvre les opérations de base sur les tableaux et les fonctions de Matlab, y compris la création de tableaux, les opérations arithmétiques et les définitions de fonctions.
