Log in
Join for free
Lessons
9 lessons • 1h 33m
Invalid Date
NaN
Proposition (Or Statements)
12m 41s
Invalid Date
NaN
Well- Formed Formula
14m 40s
Invalid Date
NaN
Automation
11m 13s
Invalid Date
NaN
Normal Forms of Well- Formed Formula
9m 15s
Invalid Date
NaN
Rules of Inference for Propositional Calculus (Statement Calculus)
14m 07s
Invalid Date
NaN
Introduction of Finite Automation
7m 39s
Invalid Date
NaN
Properties of Transition Function
4m 42s
Invalid Date
NaN
Transition systems
12m 25s
Invalid Date
NaN
NONDETERMINISTIC FINITE STATE MACHINE
6m 26s