Unit 3: Propositional Logic and Introduction to finite state machine

Topics

• Propositional Logic: Proposition →
• First order logic →
• Basic logical operation →
• truth tables →
• tautologies →
• Contradictions →
• Algebra of Proposition →
• logical implications →
• logical equivalence →
• predicates →
• Normal Forms →
• Universal and existential quantifiers →
• Introduction to finite state machine →
• Finite state machines as models of physical system equivalence machines →
• Finite state machines as language recognizers →