Discrete Structures

IIT Madras , Prof.Kamala Krithivasan

Resolution Principles & Application to PROLOG

5244 views

Lecture Description

Discrete Maths-Resolution Principles & Application-PROLOG

Course Description

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

SEE ALLAdd a note
YOU
Add your Comment
 

About

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

help@freevideolectures.com

Learn More About us

FreeVideoLectures.com All rights reserved.

Setup Menus in Admin Panel