Please Login To Continue
Rules of Inference for Propositional Calculus (Statement Calculus)
Lesson 5 of 9 • 0 upvotes • 14:07mins
Nikhil Ravi
Theory of Computer Science - GATE (CS and IT)
9 lessons • 1h 33m
1
Proposition (Or Statements)
12:41mins
2
Well- Formed Formula
14:40mins
3
Automation
11:13mins
4
Normal Forms of Well- Formed Formula
9:15mins
5
Rules of Inference for Propositional Calculus (Statement Calculus)
14:07mins
6
Introduction of Finite Automation
7:39mins
7
Properties of Transition Function
4:42mins
8
Transition systems
12:25mins
9
NONDETERMINISTIC FINITE STATE MACHINE
6:26mins
Crack GATE - Iconic Pro with Unacademy
Get subscription and access unlimited live and recorded courses from India's best educators
Structured syllabus
Daily live classes
Ask doubts
