vlsi design

Discrete Mathematical Structures

Course Description

Mathematical reasoning; propositions; negation disjunction and conjuction; implication and equivalence; truth tables; predicates; quantifiers; natural deduction; rules of Inference; methods of proofs; use in program proving; resolution principle; application to PROLOG. (10 lectures)

Course Objective

Mathematical reasoning; propositions; negation disjunction and conjuction; implication and equivalence; truth tables; predicates; quantifiers; natural deduction; rules of Inference; methods of proofs; use in program proving; resolution principle; application to PROLOG. (10 lectures)

Ask a Question

My Questions

Comment