Unit 2Prepositional logic, conjunction, disjunction and negation, interpretation of formulas in prepositional logic, Validity and consistency, normal form in prepositional logic and logic consequences, first order predicate logic

Unit 3Introduction to finite state machine, finite state machine as models of physical system, equivalence machines, finite state machine as language recognizers.