Propositional logic, Propositional Equivalence, Predicates and Quantifiers, Nested Quantifiers, Rules of Inference, Proof methods and Strategies, Sequences and Summations, Mathematical Induction, Recursive definition and structural induction, Program Correction Recurrence relation, Solution to recurrence relation, Generating functions, Inclusion and exclusion, Application of Inclusion and Exclusion Principle, Relation and their properties, Closure of relations, Equivalence relations, Partial orderings.

Introduction to graph theory, Graph terminology, Representation of graphs, Isomorphism, Connectivity, Euler and Hamiltonian paths, Shortest path problems, Planar graph, Graph coloring, Introduction to trees, Application of trees, Tree Traversal, Minimum Spanning tree.

Semi groups, Monoids, Groups, Subgrorups, Cosets, Lagrange theorem, Permuation groups, Group codes, isomorphism, Homomorphisms, Normal subgroups, Rings, Integral Domain and Fields.
Algebraic systems, Lattices, Distributive and Complemented Lattices, Boolean Lattices and Boolean Algrebra, Boolean Functions and Boolean Expressions.

1. Kenneth H. Rosen, "Discrete Mathematics and its Applications", Sixth Edition, 2008, Tata McGraw Hill Education , New Delhi. Chapters: 1, 2(2.4), 4, 6(6.1, 6.2, 6.4-6.6), 7, 8, 9
2. C. L. Liu and D. Mohaptra, "Elements of Discrete Mathematics", Third Edition, 2008, Tata McGraw Hill Education, New Delhi. Chapters: 10 (10.1- 10.10), 11(11.1 - 11.7)

1. Ralph P. Grimaldi, "Discrete and Combinatorial Mathematics", Fifth Edition, 2005, Pearon Education, New Delhi.
2. Kolman, Busby, Ross, "Discrete Mathematics", Fifth Edition, PHI Publication.
3. J.L. Gersting, " Mathematical Structure for Computer Science: A modern treatment to Discrete Mathematics' Sixth Edition, W. H. Freeman and Macmillan (India).
4. Eric Gossett, ' Discrete Mathematics with Proof, Second Edition, Wiley India Pvt Ltd
5. Thomas Koshy, " Discrete Mathematics and Applications:, Second Edition, Elsevier Publication (India), New Delhi.
6. J.L. Mott, A.Candell & I. Bekar, Discrete Mathematics for Computer Scientists and Mathematicians, PHI.

Introduction: System Software, Application Software, Machine Structure, Evolution of components of a programming system (Assembler, Loader, Macros, Compiler, Formal Systems), Evolution of Operating Systems, Functions of Operating System.
Machine Structure: General Machine Structure, Approach to a new machine, Memory Registers, Data, Instructions, special features.
Machine Language: Long Way, No looping, Address Modification, Looping.
Introduction to Assembly Language Program

Assemblers: Design Procedure, Design of Assembler, table Processing.
Macros Language and Macro Processor: Macro Instructions, Features of a Macro Facility, Implementation.
Loaders: Loader Schemes, Design of an Absolute Loader, Direct Linking loader, Bootstrap Loader.

Programming Languages: Importance of High Level Languages, Features, Data Types and Data Structures, Storage Allocation and Scope Name, Accessing Flexibility, Functional Modularity, Asynchronous Operations, Extensibility and Compile time Macros.
Formal Systems: Uses of Formal Systems, Formal Specification, Formal Grammars, Backus-Naur Form, Canonic Systems, Canonic Systems vs Formal Systems
Compilers: Introduction to Compilers, Phases of a compiler(Lexical Phase, Syntax Phase, Interpretation Phase, Optimization, Code Generation, Assembly, passes of a compiler), Intermediate Form, Storage Allocation, Code Generation, Data Structure

1. Systems Programming by John J Donovan (McGraw-Hill Education)

1. System Software: An Introduction to systems programming by Leland Beck (Pearson)
2. System Software : Nityashri,( McGraw-Hill Education)
3. Operating System and System Programming - Dhamdhere ( McGraw-Hill Education)
4. System Programming with C and Unix.- Hoover (Pearson Education)

Introduction to design and analysis of algorithms, Growth of Functions (Asymptotic notations, standard notations and common functions), Recurrences, solution of recurrences by substitution, recursion tree and Master methods, worst case analysis of Merge sort, Quick sort and Binary search, Design & Analysis of Divide and conquer algorithms.
Heapsort : Heaps, Building a heap, The heapsort algorithm, Priority Queue, Lower bounds for sorting.

Dynamic programming algorithms (Matrix-chain multiplication, Elements of dynamic programming, Longest common subsequence)
Greedy Algorithms - (Assembly-line scheduling, Achivity- selection Problem, Elements of Greedy strategy, Fractional knapsac problem, Huffman codes).
Data structure for disjoint sets:- Disjoint set operations, Linked list representation, Disjoint set forests.

Graph Algorithms: Breadth first and depth-first search, Minimum Spanning Trees, Kruskal and Prim's algorithms, single- source shortest paths (Bellman-ford and Dijkstra's algorithms), All-pairs shortest paths (Floyd - Warshall Algorithm). Back tracking, Branch and Bound. Fast Fourier Transform, string matching (Rabin-Karp algorithm), NP - Completeness (Polynomial time, Polynomial time verification, NP - Completeness and reducibility, NP-Complete problems (without Proofs), Approximation algorithms (Vertex-Cover Problem, Traveling Salesman Problem).

1. T.H. Cormen, C.E. Leiserson, R.L. Rivest, C.Stein : Introduction to algorithms -2nd edition, PHI,2002. Chapters: 1,2,3,4 (excluding 4.4), 6, 7, (7.4.1), 8 (8.1) 15 (15.1 to 15.4), 16 (16.1, 16.2, 16.3), 21 (21.1,21.2,21.3), 22(22.2,22.3), 23, 24(24.1,24.2,24.3), 25 (25.2), 30,32 (32.1, 32.2) 34, 35(35.1, 35.2)

1. Algorithms - Berman, Cengage Learning
2. Computer Algorithms: Introduction to Design & Analysis, 3rd edition-by Sara Baase, Allen Van Gelder, Pearson Education
3. Fundamentals of Algorithm-by Horowitz & Sahani, 2nd Edition, Universities Press.
4. Algorithms By Sanjay Dasgupta, Umesh Vazirani - McGraw-Hill Education
5. Algorithm Design - Goodrich, Tamassia, Wiley India.

Introduction to database Systems, Basic concepts & Definitions, Data Dictionary, DBA, File-oriented system vs. Database System, Database Language. Database System Architecture-Schemas, Sub Schemas & Instances, 3-level database architecture, Data Abstraction, Data Independence, Mappings, Structure, Components & functions of DBMS, Data models, Mapping E-R model to Relational, Network and Object Oriented Data models, types of Database systems, Storage Strategies: Detailed Storage Architecture, Storing Data, Magnetic Disk, RAID, Other Disks, Magnetic Tape, Storage Access, File & Record Organization, File Organizations & Indexes, Order Indices, B+ Tree Index Files, Hashing

Relational Algebra, Tuple & Domain Relational Calculus, Relational Query Languages: SQL and QBE.
Database Design:- Database development life cycle(DDLC),Automated design tools, Functional dependency and Decomposition, Dependency Preservation & lossless Design, Normalization, Normal forms:1NF, 2NF,3NF,and BCNF, Multi-valued Dependencies, 4NF & 5NF.
Query processing and optimization: Evaluation of Relational Algebra Expressions, Query optimization.

Transaction processing and concurrency control: Transaction concepts, concurrency control, locking and Timestamp methods for concurrency control.
Database Recovery System: Types of Data Base failure & Types of Database Recovery, Recovery techniques
Advanced topics: Object-Oriented & Object - Relational Database, Parallel & Distributed Database, Introduction to Data warehousing & Data Mining

1. Database System Concepts by Sudarshan, Korth (McGraw-Hill Education)
2. Fundamentals of Database System By Elmasari & Navathe- Pearson Education

1. An introduction to Database System - Bipin Desai, Galgotia Publications
2. Database System: concept, Design & Application by S.K.Singh (Pearson Education)
3. Database management system by leon & leon (Vikas publishing House).
4. Database Modeling and Design: Logical Design by Toby J. Teorey, Sam S. Lightstone, and Tom Nadeau, "", 4th Edition, 2005, Elsevier India Publications, New Delhi
5. Fundamentals of Database Management System - Gillenson, Wiley India

1. Number System: Introduction to Binary Numbers, Data Representation, Binary, Octal, Hexadecimal and Decimal Number System and their Conversion. (2 Hours)
2. Boolean Algebra and Logic Gates: Basic Logic Operation and Identities, Algebraic Laws, NOR and NAND Gates, Useful Boolean Identities, Algebraic Reduction, Complete Logic Sets, Arithmetic Operation using 1's and 2's Compliments, Signed Binary and Floating Point Number Representation. (4 Hours)
3. Combinational Logic Design: Specifying the Problem, Canonical Logic Forms, Extracting Canonical Forms, EX-OR Equivalence Operations, Logic Array, K-Maps: Two, Three and Four variable K-maps, NAND and NOR Logic Implementations.

4. Concepts in VHDL: Basic Concepts, Using a Hardware Description Language, Defining Module in VHDL, Structural and Combinational Modelling, Binary Words, Libraries, Learning VHDL. (4 Hours)
5. CMOS Logic Circuits: Voltages as Logic Variables, Logic Delay Times: Output Switching Times, Propagation Delay, Fan-In and Fan-out, Extension to other Logic Gate. C-MOS Electronics, MOSFETS, The NOT Function in C-MOS: Complimentary Pairs and the C-MOS Invertors, Logic Formation Using MOSFETS: the NAND and NOR Gate, C-MOS Logic Connection, Complex Logic Gates in C-MOS: 3-input Logic Gates, A general 4-input Logic Gate, Logic Cascades. (6 Hours)
6. Introduction to VLSI: Introduction, Lithography and Patterning, MOSFET Design Rules, Basic Circuit Layout, MOSFET Arrays and AOI Gates, Cells, Libraries, and Hierarchical Design, Floor Plans and Interconnect Wiring.

7. Logic Components: Concept of Digital Components, An Equality Detector, Line Decoder, Multiplexers and De-multiplexers, Binary Adders, Subtraction and Multiplication. (5 Hours)
8. Memory Elements and Arrays: General Properties, Latches, Clock and Synchronization, Master-Slave and Edge-triggered Flip-flops, Registers, RAM and ROMs, C-MOS Memories. (6 Hours)
9. Sequential Network: Concepts of Sequential Networks, Analysis of Sequential Networks: Single State and Multivariable Networks, Sequential Network Design, Binary Counters, Importance of state machine.

1. A First Course in Digital System Design: An Integrated Approach, India Edition, John P. Uyemura, PWS Publishing Company, a division of Thomson Learning Inc.
2. Digital Systems - Principles and Applications, 10th Edition, Ronald J. Tocci, Neal S. Widemer and Gregory L. Moss, Pearson Education.
3. Digital Design, Robert K. Dueck, CENGAGE Learning.

1. Digital Principles and Applications, 6th Edition, Donald P. Leach, Albert Paul Malvino and Goutam Saha, Tata McGraw Hill Publishing Company Ltd., New Delhi.
2. Digital Fundamentals, 5th Edition, T.L. Floyd and R.P. Jain, Pearson Education, New Delhi.
3. Digital Electronics, Principles and Integrated Circuit, Anil K. Jain, Wiley India Edition.
4. Digital Design, 3rd Edition, Moris M. Mano, Pearson Education.

The study of Organizational Behaviour: Defination and Meaning, Why Study OB Learning - Nature of Learning, How Learning occurs, Learning and OB. Foundations of Individual Behaviour : Personality - Meaning and Defination, Determinants of Personality, Personality Traits, Personality and OB. Perception - Meaning and Definition, Perceptual Process, Importance of Perception in OB. Motivation - Nature and Importance, Herzberg's Two Factor Theory, Maslow's Need Hierarchy Theory, Alderfer's ERG Theory, Evaluations.

Organizational Behaviour Process: Communication - Importance, Types, Gateways and Barriers to Communication, Communication as a tool for improving Interpersonal Effectiveness, Groups in Organizations - Nature, Types, Why do people join groups, Group Cohesiveness and Group Decision-making Managerial Implications, Effective Team Building. Leadership-Leadership & Management, Theories of Leadership-Trait theory, Leader Behaviour theory, Contingency Theory, Leadership and Followership, How to be an effective Leader, Confict-Nature of Conflict and Conflict Resolution. An Introduction to Transactional Analysis (TA).

Organization: Organizational Culture - Meaning and Definition, Culture and Organizational Effectiveness. Introduction to Human Resource Management-Selection, Orientation, Training and Development, Performance Appraisal, Incentives Organizational Change - Importance of Change, Planned Change and OB techniques. International Organisational Behaviour - Trends in International Business, Cultural Differences and Similarities, Individual and Interpersonal Behaviour in Global Perspective.

Organization: Organizational Culture - Meaning and Definition, Culture and Organizational Effectiveness. Introduction to Human Resource Management - Selection, Orientation, Training and Development, Performance Appraisal, Incentives Organizational Change - Importance of Change, Planned Change and OB techniques. International Organizational Behaviour - Trends in International Business, Cultural Differences and Similarities, Individual and Interpersonal Behaviour in Global Perspective.

1. Keith Davis, Organisational Behaviour, McGraw-Hill.
2. K.Aswathappa, Organisational Behaviour, Himalaya Publishing House.

1. Stephen P. Robbins, Organisational Behaviour, Prentice Hall of India
2. Pradip N. Khandelwal, Organizational Behaviour, McGraw-Hill, New Delhi.
3. Uma Sekaran, "Organizational Behaviour", TATA McGraw-Hill, New Delhi.
4. Steven L McShane, Mary Ann Von Glinow, Radha R Sharma "Organizational Behaviour" , TATA McGraw- Hill.
5. D.K. Bhattachayya, "Organizational Behaviour", Oxford University Press
6. K.B.L.Srivastava & A.K.Samantaray, "Organizational Behaviour" India Tech

Engineering Economics - Nature and scope, General concepts on micro & macro economics. The Theory of demand, Demand function, Law of demand and its exceptions, Elasticity of demand, Law of supply and elasticity of supply. Determination of equilibrium price under perfect competition (Simple numerical problems to be solved). Theory of production, Law of variable proportion, Law of returns to scale.

Time value of money - Simple and compound interest, Cash flow diagram, Principle of economic equivalence. Evaluation of engineering projects - Present worth method, Future worth method, Annual worth method, internal rate of return method, Cost-benefit analysis in public projects. Depreciation policy, Depreciation of capital assets, Causes of depreciation, Straight line method and declining balance method.

Cost concepts, Elements of costs, Preparation of cost sheet, Segregation of costs into fixed and variable costs. Break-even analysis-Linear approach. (Simple numerical problems to be solved) Banking: Meaning and functions of commercial banks; functions of Reserve Bank of India. Overview of Indian Financial system.

1. Riggs, Bedworth and Randhwa, "Engineering Economics", McGraw Hill Education India.
2. M.D. Mithani, Principles of Economics.

1. Sasmita Mishra, "Engineering Economics & Costing", PHI
2. Sullivan and Wicks, "Engineering Economy", Pearson
3. R.Paneer Seelvan, "Engineering Economics", PHI
4. Gupta, "Managerial Economics", TMH
5. Lal and Srivastav, "Cost Accounting", TMH

(Atleast 10 experiments should be done, Experiment No. 1 and 2 are compulsory and out of the balance 8 experiments atleast 3 experiments has to be implemented through both Verilog/VHDL and hardware implementation as per choice of the student totaling to 6 and the rest 2 can be either through Verilog/VHDL or hardware implementation.)

1. Digital Logic Gates: Investigate logic behavior of AND, OR, NAND, NOR, EX-OR, EX-NOR, Invert and Buffer gates, use of Universal NAND Gate.
2. Gate-level minimization: Two level and multi level implementation of Boolean functions.
3. Combinational Circuits: design, assemble and test: adders and subtractors, code converters, gray code to binary and 7 segment display.
4. Design, implement and test a given design example with (i) NAND Gates only (ii) NOR Gates only and (iii) using minimum number of Gates.
5. Design with multiplexers and de-multiplexers.
6. Flip-Flop: assemble, test and investigate operation of SR, D & J-K flip-flops.
7. Shift Registers: Design and investigate the operation of all types of shift registers with parallel load.
8. Counters: Design, assemble and test various ripple and synchronous counters - decimal counter, Binary counter with parallel load.
9. Memory Unit: Investigate the behaviour of RAM unit and its storage capacity - 16 X 4 RAM: testing, simulating and memory expansion.
10. Clock-pulse generator: design, implement and test.
11. Parallel adder and accumulator: design, implement and test.
12. Binary Multiplier: design and implement a circuit that multiplies 4-bit unsigned numbers to produce a 8-bit product.
13. Verilog/VHDL simulation and implementation of Experiments listed at Sl. No. 3 to 12.

1. Using a stack of characters, convert an infix string to postfix string.(1 class)
2. Implement insertion, deletion, searching of a BST. (1 class)
3. (a)Implement binary search and linear search in a program
   (b) Implement a heap sort using a max heap.
4. (a) Implement DFS/ BFS for a connected graph.
   (b) Implement Dijkstra's shortest path algorithm using BFS.
5. (a) Write a program to implement Huffman's algorithm.
   (b) Implement MST using Kruskal/Prim algorithm.
6. (a) Write a program on Quick sort algorithm.
   (b) Write a program on merge sort algorithm.
   Take different input instances for both the algorithm and show the running time.
7. Implement Strassen's matrix multiplication algorithm.
8. Write down a program to find out a solution for 0 / 1 Knapsack problem.
9. Using dynamic programming implement LCS.
10. (a) Find out the solution to the N-Queen problem.
    (b) Implement back tracking using game trees.

1. Use of SQL syntax: insertion, deletion, join, updation using SQL. (1 class)
2. Programs on join statements and SQL queries including where clause. (1 class)
3. Programs on procedures and functions. (1 class)
4. Programs on database triggers. (1 class)
5. Programs on packages. (1 class)
6. Programs on data recovery using check point technique. (1 class)
7. Concurrency control problem using lock operations. (1 class)
8. Programs on ODBC using either VB or VC++. (1 class)
9. Programs on JDBC. (1 class)
10. Programs on embedded SQL using C / C++ as host language. (1 class)