Proceedings of the 26th Academic Council held on 18.5.

2012

  MAT512 Advanced Mathematics for Software Technology  L T P C
3 1 0 4
Version No.  1.0
Course Pre­requisites/  NONE
Co­requisites/ anti­
requisites : 
Objectives: 
The aim of this course is to motivate the students to address the challenge of the
relevance of discrete structures, inference theory, test of hypothesis, queuing theory
and OR to software technology problems.
Expected Outcome: 
By the end of the course, the students are expected to use inference theory in circuit
models and discrete structures in computer science problems and test of hypothesis,
queuing theory and OR to software technology problems.
Unit No. 1  Mathematical Logic 9+3T
Logic operators, Truth tables – Normal Forms – Theory of inference and deduction,
propositional calculus, predicate calculus.
Unit No. 2  Discrete Structures 9+3T
Basic Concepts of Set Theory – Relations and Ordering – Functions – Basics of counting
principle - Pigeon hole- principle of Inclusion and Exclusion, Mathematical Induction.
Unit No. 3  Test of Hypothesis 9+3T
Estimation theory – point and interval estimations, hypothesis testing- z-test, t-test, F-
test and chi square test, analysis of variance – one and two way classifications.

Unit No. 4  Queuing Theory 9+3T

Introduction, single channel, Poisson arrivals, exponential service times, unrestricted
queue, with infinite population, single channel, Poisson arrivals, exponential service
times with infinite population and restricted queue, multi channel, Poisson arrivals,
exponential service times with infinite population and unrestricted queue
Unit No. 5  Linear Programming 9+3T
Linear programming – Graphical solution, Simplex method, artificial variable technique,
Duality in linear programming-dual simplex method
Text and Reference Books 
1. J.P. Trembley and R.P.Manohar (2004), Discrete Mathematical Structures with
applications to Computer Science, McGraw Hill.
2. H.A.Taha (2006), Operations Research, 8th Edition, Prentice Hall.
3. K.H. Rosen(2007), Discrete Mathematics and its Applications, 6 th Edition, Tata
McGraw Hill
4. R. Panneerselvam, Operations Research, Prentice Hall of India.
5. Kanti Swarup, Manmohan, P.K.Gupta, Operations Research, Sultan Chand & Sons.

Mode of Evaluation  Continuous Assessment (Quizzes, CATs,

Assignments, Projects, etc.) and TEE
Recommended by the Board of  25-11-2011
Studies on: 
Date of Approval by the Academic 
Council: 
 

849