Propositional Logic – Predicates & Quantifiers – Logical Inference – Resolution Principles & Application to PROLOG – Methods of Proof – Normal Forms – Proving programs correct – Sets – Induction – Set Operations on Strings Over an Alphabet – Relations – Graphs – Trees – Trees and Graphs – Special Properties of Relations – Closure of Relations – Order Relations – Order and Relations and Equivalence Relations – Equivalence relations and partitions – Functions – Pigeonhole Principle – Permutations and combinations – Generating Functions – Recurrence Relations – Algebras – Finite State Automaton – Lattices

### Course Curriculum

 Propositional Logic Details 56:48 Propositional Logic I Details 57:36 Predicates & Quantifiers Details 57:55 Predicates & Quantifiers I Details 59:25 Logical Inference Details 59:16 Resolution Principles & Application to PROLOG Details 54:30 Methods of Proof Details 54:58 Normal Forms Details 58:9 Proving programs correct Details 54:9 Sets Details 55:13 Induction Details 53:20 Set Operations on Strings Over an Alphabet Details 58:22 Relations Details 57:58 Graphs Details 55:37 Graphs I Details 55:47 Trees Details 57:23 Trees and Graphs I Details 56:46 Special Properties of Relations Details 57:4 Closure of Relations Details 56:51 Closure of Relations I Details 57:1 Order Relations Details 55:53 Order and Relations and Equivalence Relations I Details 57:13 Equivalence relations and partitions Details 56:20 Functions – 1 Details 55:2 Functions – 2 Details 56:9 Functions – 3 Details 57:50 Pigeonhole Principle Details 56:59 Permutations and combinations Details 57:18 Permutations and Combinations(Contd…) Details 59:52 Generating Functions – 1 Details 58:14 Generating Functions – 2 Details 56:19 Recurrence Relations – 1 Details 57:21 Recurrence Relations – 2 Details 55:58 Recurrence Relations – 3 Details 54:19 Algebras – 1 Details 57:8 Algebras – 2 Details 57:27 Algebras – 3 Details 55:42 Finite State Automaton Details 57:18 Finite State Automaton I Details 56:45 Lattices Details 57:4

This course is part of NPTEL online courses, delivered by IIT Madras.

## N.A

ratings
• 5 stars0
• 4 stars0
• 3 stars0
• 2 stars0
• 1 stars0

No Reviews found for this course.

4 STUDENTS ENROLLED

FreeVideoLectures Provides you complete information about best courses online, Video tutorials, helps you in building a career !!

help@freevideolectures.com