Back To The Course Lecture 1 - Propositional Logic Free Video Tutorials and Notes Lectures Lecture 2 - Propositional Logic (Contd.) Free Video Tutorials and Notes Lectures Lecture 3 - Predicates & Quantifiers Free Video Tutorials and Notes Lectures Lecture 4 - Predicates & Quantifiers (Contd.) Free Video Tutorials and Notes Lectures Lecture 5 -Logical Inference Free Video Tutorials and Notes Lectures Lecture 6 -Resolution Principles & Application to PROLOG Free Video Tutorials and Notes Lectures Lecture 7 - Methods of Proof Free Video Tutorials and Notes Lectures Lecture 8 - Normal Forms Free Video Tutorials and Notes Lectures Lecture 9 - Proving programs correct Free Video Tutorials and Notes Lectures Lecture 10 - Sets Free Video Tutorials and Notes Lectures Lecture 11 - Induction Free Video Tutorials and Notes Lectures Lecture 12 - Set Operations on Strings Over an Alphabet Free Video Tutorials and Notes Lectures Lecture 13 - Relations Free Video Tutorials and Notes Lectures Lecture 14- Graphs Free Video Tutorials and Notes Lectures Lecture 15 - Graphs (Contd.) Free Video Tutorials and Notes Lectures Lecture 16 - Trees Free Video Tutorials and Notes Lectures Lecture 17 - Trees and Graphs Free Video Tutorials and Notes Lectures Lecture 18 - Special Properties of Relations Free Video Tutorials and Notes Lectures Lecture -19 - Closure of Relations Free Video Tutorials and Notes Lectures Lecture 20 - Closure of Relations (Contd.) Free Video Tutorials and Notes Lectures Lecture 21 - Order Relations Free Video Tutorials and Notes Lectures Lecture 22 - Order and Relations and Equivalence Relations Free Video Tutorials and Notes Lectures Lecture 23 - Equivalence relations and partitions Free Video Tutorials and Notes Lectures Lecture 24 - Functions Free Video Tutorials and Notes Lectures Lecture 25 - Functions (Contd.) Free Video Tutorials and Notes Lectures Computer Sc - Discrete Mathematical Structures Free Video Tutorials and Notes LecturesLecture 20 – Closure of Relations (Contd.) Free Video Tutorials and Notes Lecturesdiscrete Mathematical Structures Closure of Relations