Course 

Code  MAT514  Mathematics for Software Technology  L  T  P  C
3  1  0  4 
Version No.  1.0 
Course Pre­requisites/  NONE
Co­requisites/ anti­
requisites (if any). 
Otherwise, please 
indicate as None’ 
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 + 3 T 
Logic operators‐Truth tables –propositional calculus, predicate calculus—Quantifiers‐Theory of 
inference . 
Unit No. 2  Discrete Structures 9 + 3 T 
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 + 3 T 
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 + 3 T 

Introduction‐ single server, Poisson arrivals, exponential service times, unrestricted queue, with 
infinite  and  finite      population  models.  Poisson  arrivals,  exponential  service  times  and  finite   
population  models  restricted  queue.  Multi  server,  Poisson  arrivals,  exponential  service  times 
with infinite population and unrestricted queue  
Unit No. 5  Linear Programming 9 + 3 T 
Linear  programming  –  Graphical  solution,  Simplex  method,  Big  M  method  and  Two‐phase 
method, 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,New Delhi 

3. K.H. Rosen(2007), Discrete Mathematics and its Applications, 6 th Edition, Tata McGraw 
Hill 

4. Kanti Swarup, Manmohan, P.K.Gupta (2009), Operations Research, Suitan Chand & Sons. 
New Delhi. 

5. Johnson Richard, A. (2011) Probability and statistics for engineering, Prentice Hall, New 
Delhi. 

Mode of Evaluation  Continuous Assessment (Quizzes, CATs, 
Assignments, Projects, etc.) and TEE 
Recommended by the Board of Studies on  25‐11‐2011
Date of Approval by the Academic Council 
 

Proceedings of the 24th Academic Council of VIT [29.11.2011] 349