Semester – VII Code. No Theory Course Title Artificial Intelligence Cryptography and Network Security Internet Programming Principles of Compiler Design Elective – II Elective - III Practical Compiler Design Lab Internet Programming Lab System Software Lab Semester – VIII Code. No Theory Elective – IV Elective – V Project 1 Project Work Elective – I Code. No VLSI Design Visual Programming Optimization Techniques Professional Ethics Mobile Computing Management Information Systems Middleware Technology Course Title Embedded System L 3 3 3 3 3 3 3 3 T 0 0 0 0 0 0 0 0 P 0 0 0 0 0 0 0 0 3 3 3 3 3 3 3 3 M 0 0 6 12 Course Title Open Source Tools and Components L 3 3 3 T 0 0 0 P 0 0 0 3 3 3 C 0 0 1 0 0 0 3 3 3 2 2 3 L 3 3 3 3 3 3 T 1 1 0 0 0 0 P 0 0 0 0 0 0 4 4 3 3 3 3 C

Elective – II, III Code. No Course Title Software Testing Software Project Management Grid Computing Distributed Computing Parallel Processing Soft Computing ADHOC and Sensor Networks Data Warehousing and Data Mining Client Server Computing Real Time Systems Total Quality Management Elective – IV, V Code. No Course Title Digital Image Processing Natural Language Processing System Modeling And Simulation Software Quality Management High Speed Networks C # And .Net Framework Network Programming And Management Enterprise Resource Planning Information Security Cloud computing Real Time Systems Semantic Web Service Oriented Architecture Disaster Management L 3 3 3 3 3 3 3 3 3 3 3 3 3 3 T 0 0 0 0 0 0 0 0 0 0 0 0 0 0 P 0 0 0 0 0 0 0 0 0 0 0 0 0 0 C 3 3 3 3 3 3 3 3 3 3 3 3 3 3 L 3 3 3 3 3 3 3 3 3 3 3 T 0 0 0 0 0 0 0 0 0 0 0 P 0 0 0 0 0 0 0 0 0 0 0 C 3 3 3 3 3 3 3 3 3 3 3

DISCRETE MATHEMATICS L 3 UNIT I PROPOSITIONAL CALCULUS T P M 1 0 100 C 4

10 + 3

Propositions – Logical connectives – Compound propositions – Conditional and biconditional propositions – Truth tables – Tautologies and contradictions – Contrapositive – Logical equivalences and implications – DeMorgan’s Laws – Normal forms – Principal conjunctive and disjunctive normal forms – Rules of inference – Arguments - Validity of arguments. UNIT II PREDICATE CALCULUS 9+3

Predicates – Statement function – Variables – Free and bound variables – Quantifiers – Universe of discourse – Logical equivalences and implications for quantified statements – Theory of inference – The rules of universal specification and generalization – Validity of arguments. UNIT III SET THEORY 10 + 3

Basic concepts – Notations – Subset – Algebra of sets – The power set – Ordered pairs and Cartesian product – Relations on sets –Types of relations and their properties – Relational matrix and the graph of relation – Partitions – Equivalence relations – Partial ordering – Poset – Hasse diagram – Lattices and their properties – Sublattices – Boolean algebra – Homomorphism. UNIT IV FUNCTIONS 7+3

Definitions of functions – Classification of functions –Type of functions - Examples – Composition of functions – Inverse functions – Binary and n-ary operations – Characteristic function of a set – Hashing functions – Recursive functions – Permutation functions. UNIT V GROUPS 9+3

Algebraic systems – Definitions – Examples – Properties – Semigroups – Monoids – Homomorphism – Sub semigroups and...