Honors Geometry - EPSD

Automatted reasoning / Logic continues: Models, Inferencing, Logical equivalence, Syntax-Semantics-Model, Satisfaction-Entailment-Inference procedure-Validity, Model-checking algorithm (up to TextSlide 41, ch-7) Test1-SearchAlgorithms this week online Canvas. No one was present in classroom today, I will take the class on zoom from home ................
................