Lesson 3 of 9 • 2 upvotes • 11:13mins
9 lessons • 1h 33m
Proposition (Or Statements)
12:41mins
Well- Formed Formula
14:40mins
Automation
11:13mins
Normal Forms of Well- Formed Formula
9:15mins
Rules of Inference for Propositional Calculus (Statement Calculus)
14:07mins
Introduction of Finite Automation
7:39mins
Properties of Transition Function
4:42mins
Transition systems
12:25mins
NONDETERMINISTIC FINITE STATE MACHINE
6:26mins