Discrete Structure: Logic, Induction and Reasoning
Discrete Structure: Logic, Induction and Reasoning
Discrete Structure: Logic, Induction and Reasoning
Course Objective:
Main objective of this course is to provide the necessary mathematical foundation for the
study of various computer science and technology related subjects of M.Sc.(CS) program.
After completing this course, the target student will gain knowledge in discrete mathematics
and finite state automata in an algorithmic approach. It helps the target student in gaining
fundamental and conceptual clarity in the area of Logic, Reasoning, Algorithms, Recurrence
Relation, Graph Theory, and Theory of Automata.
Course Contents:
1. Logic, Induction and Reasoning (12 hrs)
Proposition and Truth function, Propositional Logic, Expressing statements in Logic
Propositional Logic, The predicate Logic, Validity, Informal Deduction in Predicate
Logic, Rules of Inference and Proofs, Informal Proofs and Formal Proofs, Elementary
Induction, Complete Induction, Methods of Tableaux, Consistency and Completeness
of the System.
Reference Books :
1. Kenth Rosen, Discrete Mathematical Structures with Applications to Computer Science, WCB/
McGraw Hill
2. G. Birkhoff, T.C. Bartee, Modern Applied Algebra, CBS Publishers.
3. R. Johnsonbaugh, Discrete Mathematics, Prentice Hall Inc.
4. G.Chartand, B.R.Oller Mann, Applied and Algorithmic Graph Theory, McGraw Hill
5. Joe L. Mott, Abrahan Kandel, and Theodore P. Baker, Discrete Mathematics for Computer
Scientists and Mathematicians, Prentice-Hall of India
Course title: Ethical and Professional Issues in IT
Course code:
Administration: First semester
Duration: One semester
Class load: 3 hours per week (Theory: 2 hours)
Pre-requisite: No
Evaluation:
Theory Practical Total
Sessional 60 60
Final 40 40
Total 100 100
Course objective:
The objective of this course is to develop students' capability in critically analyzing
the environment and issues related with the use of technology in society and help
them in guiding their professional conduct.
References:
1. Robbins, Stephen P., Organizational Behavior, The Prentice Hall of India, New
Delhi
2. Hosmer, LaRue Tone, The Ethics of Management, Universal Book Stall, New Delhi
3. Law of Torts
4. Building Contracts
5. Related Acts and regulations
Course Title : Software Project Management
Course Code : COM 734.3
Credit : 3
Class Load : 3 hours
Evaluation :
Theory Practical Total
Sessional 60 60
Final 40 40
Total 100 100
Course Objective:
To be familiar with the modern trends of software project management and important
case studies.
1. Introduction (4 Hrs)
Waterfall Model: theory and practice, Software cost estimation, Conventional
software management performance, software economics, Software cost estimation.
References:
1. Software Project Management: A Unified Framework, Walker Royce, Pearson
Education Asia, 2002.
Course Title : Distributed Database Management Systems
Course Code : COM 730.3
Credit : 3
Class Load : 3 hours
Evaluation :
Theory Practical Total
Sessional 60 60
Final 40 40
Total 100 100
Course Objective:
To make the student familiar with the fundamentals of the technical issues behind the
design and architectural aspects of distributed database management systems
Course Contents:
1. Introduction (3 hrs)
Distributed database (DDB) management system, Review of Relational DB concepts
and Network concepts.