JAWAHARLAL NEHRU TECHNOLOGICAL UNIVERSITY 
HYDERABAD 
II Year B.Tech. CSE - I Sem T P C 
4+1* 0 4 
MATHEMATICAL FOUNDATION OF COMPUTER SCIENCE 

UNIT-I 

Mathematical Logic : Statements and notations, Connectives, Well formed formulas, Truth Tables, 
tautology, equivalence implication, Normal forms. 

UNIT-II 

Predicates : Predicative logic, Free & Bound variables, Rules of inference, Consistency, proof of 
contradiction, Automatic Theorem Proving. 

UNIT-III 

Set Theory : Properties of binary Relations, equivalence, compatibility and partial ordering relations, 
Hasse diagram. Functions: Inverse Function Comports of functions, recursive Functions, Lattice and its 
Properties, Pigeon hole principles and its application. 

UNIT-IV 

Algebraic structures : Algebraic systems Examples and general properties, Semi groups and monads, 
groups sub groups’ homomorphism, Isomorphism. 

UNIT-V 

Elementary Combinatorics: Basis of counting, Combinations & Permutations, with repetitions, 
Constrained repetitions, Binomial Coefficients, Binomial Multinomial theorems, the principles of Inclusion 
– Exclusion. 

UNIT-VI 

Recurrence Relation : Generating Functions, Function of Sequences Calculating Coefficient of 
generating function, Recurrence relations, Solving recurrence relation by substitution and Generating 
funds. Characteristics roots solution of In homogeneous Recurrence Relation. 

UNIT-VII 

Graph Theory : Representation of Graph, DFS, BFS, Spanning Trees, planar Graphs 

UNIT-VIII 

Graph Theory and Applications, Basic Concepts Isomorphism and Sub graphs, Multi graphs and Euler 
circuits, Hamiltonian graphs, Chromatic Numbers 

 TEXT BOOKS : 

1. Discrete and Combinational Mathematics- An Applied Introduction-5th Edition – Ralph. 
P.Grimaldi.Pearson Education 
2. Discrete Mathematical Structures with applications to computer science Trembly J.P. & Manohar .P, 
TMH 
3.Discrete Mathematics and its Applications, Kenneth H. Rosen, Fifth Edition.TMH. 

REFERENCES : 

1. Discrete Mathematics with Applications, Thomas Koshy, Elsevier 
2. Discrete Mathematical Structures, Bernand Kolman, Roberty C. Busby, Sharn Cutter Ross, Pearson 
Education/PHI. 
3. Discrete Mathematical structures Theory and application-Malik & Sen 
4. Discrete Mathematics for Computer science, Garry Haggard and others, Thomson. 
5. Discrete Mathematics for Computer Scientists & Mathematicians, J.L. Mott, A. Kandel, T.P. Baker 
Prentice Hall. 
6. Logic and Discrete Mathematics, Grass Man & Trembley, Person Education.
  • Created
    Aug 08, 2013
  • Updated
    Aug 08, 2013
  • Views
    1,883