Lesson 1 of 9 • 8 upvotes • 12:41mins
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