DSCS RL 1.1
DSCS RL 1.1
Dr.N.L.Bhanu Murthy
BITS Pilani
Hyderabad Campus
What is Mathematics, really?
Propositional Logic
Predicate Logic
Aristotle
(ca. 384-322 B.C.)
Equivalences
Logical Inference
Methods of proof
Proof by cases:
Proof by Contradiction
Proof by Induction
Recurrence Relations
Problems solved using recurrence
Graph Theory
Many clever data-structures for organizing information and making
programs highly efficient are based on graph theory
Very useful in describing problems in
Databases
Operating Systems
Networks
EVERY CS DISCIPLINE!!!!
R1. Kolman, Busby, Ross and Rehman, Discrete Mathematical Structures for
Computer Science, Pearson Education, 5th Edition, 2003.
R3. Goodaire & Parmenter : Discrete Mathematics & Graph Theory, Pearson
Education, 2000
R5. C.L.Liu, Elements of Discrete Mathematics, 2nd Edition, McGraw Hill, 1986.
p pq pq pq pq x P( x)
x P( x) {a1 , , an } Z, N, R {x | P( x)} xS
n
S T |S| A B A A
i 1
i
n
f :A B f 1 ( x) f g x a a i
S i 1
O, , min, max a /| b gcd, lcm mod a b (mod m)
n
( a k a0 ) b [aij ] AT A
B A[ n ]
r
C (n; n1 , , nm ) p( E | F ) R [a ]R deg (v)