Discrete mathematics

Type Book

Rate 0.0 /5

"A textbook designed for the students of computer science engineering, information technology, and computer applications to help them develop the foundation of theoretical computer science ... Adopting a solved problems approach to explain the concepts, the book presents numerous theorems, proofs, practice exercises, and multiple-choice questions."--Page 4 of cover.

Details

Files

Reviews

Download

Title Statements

Full title :Discrete mathematics / R.K. Bisht, H.S. Dhami.

Summary

Edition Statements

Publication Date:2015.

Publication Statements

Publisher(s):Oxford University Press
Place of Publication:New Delhi
Language:eng
Publication Date:2015.

Notes

Formerly CIP.

The Physical Object

Description:xxiv, 600 pages : : illustrations (black and white) ; : 25 cm.

Edition Identifiers

ISBN:9780199452798 (pbk), 0199452792 (pbk)
oclc:on1344563241
LC Classification:QA76.9.M35
Dewey Decimal:004.0151

Machine generated contents note: 1.Introduction to Discrete Mathematics and Propositional Logic -- 1.1.Discrete Mathematics -- A Brief Introduction -- 1.2.Introduction to Propositional Logic -- 1.3.Proposition -- 1.4.Logical Operators -- 1.4.1.Negation (~) -- 1.4.2.Disjunction (OR/v) -- 1.4.3.Exclusive OR -- 1.4.4.Conjunction (and) -- 1.4.5.Conditional ([→]) -- 1.4.6.Biconditional ([↔]) -- 1.4.7.NAND ([↑]) -- 1.4.8.NOR([↓]) -- 1.4.9.Well-formed Formula -- 1.4.10.Rules of Precedence -- 1.5.Tautology -- 1.6.Contradiction -- 1.7.Logical Equivalence -- 1.8.Tautological Implication -- 1.9.Converse, Inverse, and Contrapositive -- 1.10.Functionally Complete Set of Connectives -- 1.11.Normal Forms -- 1.11.1.Elementary Product -- 1.11.2.Elementary Sum -- 1.11.3.Disjunctive Normal Form -- 1.11.4.Conjunctive Normal Form -- 1.11.5.Principal Disjunctive Normal Form -- 1.11.6.Principal Conjunctive Normal Form -- 1.12.Argument --

Note continued: 1.12.1.Checking the Validity of an Argument by Constructing Truth Table -- 1.12.2.Checking the Validity of an Argument Without Constructing Truth Table -- 1.13.Predicates -- 1.13.1.Quantifiers -- 1.13.2.Free and Bound Variabl…