Discrete Mathematical Structures

IIT Madras Course , Prof. Kamala Krithivasan

601 students enrolled

Overview

What is Discrete Mathematics - 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 - Special Properties of Relations - Closure of Relations - Order and Relations and Equivalence Relations: Equivalence relations and partitions - Functions - Pigeon hole Principle - Permutations and combinations - Generating Functions- Recurrence Relations - Algebras - Finite State Automaton - Lattices

Lecture 5: Logical Inference

Up Next
You can skip ad in
SKIP AD >
Advertisement
      • 2x
      • 1.5x
      • 1x
      • 0.5x
      • 0.25x
        EMBED LINK
        COPY
        DIRECT LINK
        PRIVATE CONTENT
        OK
        Enter password to view
        Please enter valid password!
        0:00
        3.4 (7 Ratings)

        Lecture Details

        Discrete Mathematical Structures -Logical Inference

        LECTURES



        Review


        3.4

        7 Rates
        5
        29%
        2
        4
        43%
        3
        1
        29%
        2

        Comments Added Successfully!
        Please Enter Comments
        Please Enter CAPTCHA
        Invalid CAPTCHA
        Please Login and Submit Your Comment