Branch : Computer Science and Engineering | Subject : Discrete Mathematics

• Introduction to Logical Operations

  Read topic

• Logical Operations and Logical Connectivity

  Read topic

• Logical Implications

  Read topic

• Normal Forms and Truth Table

  Read topic

• Normal Form of a well formed formula

  Read topic

• Principle Disjunctive Normal Form

  Read topic

• Principal Conjunctive Normal form

  Read topic

• Predicates and Quantifiers

  Read topic

• Theory of inference for the Predicate Calculas

  Read topic

• Mathematical Induction

  Read topic

• The Computer Representation of Sets

  Read topic

• Introductio to Planer Graphs

  Read topic

• Propositional Logic

  Read topic

• Conditional Statements

  Read topic

• Truth Tables of Compound Propositions

  Read topic

• Precedence of Logical Operators and Logic and Bit Operations

  Read topic

• Applications of Propositional Logic

  Read topic

• Propositional Satisfiability

  Read topic

• Nested Quantifiers

  Read topic

• Translating from Nested Quantifiers into English

  Read topic

• Inference

  Read topic

• Rules of Inference for Propositional Logic

  Read topic

• Using Rules of Inference to Build Arguments

  Read topic

• Resolution and Fallacies

  Read topic

• Rules of Inference for Quantified Statements

  Read topic