Mathematical Logic: Propositional Logic; First Order Logic, Set Theory & Algebra

: Sets; Relations; Functions; Groups; Partial Orders; Lattice; Boolean Algebra.

Textbook :
Discrete Mathematics
by Tremblay and Manohar .
Probability: Conditional Probability; Mean, Median, Mode and Standard Deviation;
Random Variables; Distributions; uniform, normal, exponential, Poisson, Binomia
l.
Textbook :
Probability , statistics and queuing theory
by S.C.Gupta & V.K.Kapoor
Combinatorics: Permutations; Combinations; Counting; Summation; generating funct
ions; recurrence relations; asymptotics.
Textbook :
Intermediate Mathematics
, S.Chand publications , authors : B.V.Sastry and K.Ven
kateswarlu
Higher Engineering Mathematics
by B.S.Grewal for generating functions and recurr
ence relations . ( Bessel s formula , Lagrangian Polynomial )
Introduction to algorithms
Cormen etal ( CLRS ) for recurrence relations and asy
mptotics
Graph Theory: Connectivity; spanning trees; Cut vertices & edges; covering; matc
hing; independent sets; Colouring; Planarity; Isomorphism
Textbook :
Intoduction to Graph Theory
by Narsing Deo
Linear Algebra: Algebra of matrices, determinants, systems of linear equations,
Eigen values and Eigen vectors.
Textbook :
Higher Engineering Mathematics
by B.S.Grewal
Numerical Methods: LU decomposition for systems of linear equations; numerical s
olutions of non linear algebraic equations by Secant, Bisection and Newton-Raphs
on Methods; Numerical integration by trapezoidal and Simpson s rules.
Textbook :
Numerical Methods
by S.S.Sastry
Calculus: Limit, Continuity & differentiability, Mean value Theorems, Theorems o
f integral calculus, evaluation of definite & improper integrals, Partial deriva
tives, Total derivatives, maxima & minima.
Textbook :
Intermediate Mathematics
, S.chand publications , authors : B.V.Sastry , K.Venka
teswarlu
Formal Languages and Automata Theory: Regular languages and finite automata, Con
text free languages and Push-down automata, Recursively enumerable sets and Turi
ng machines, Un-decidability;
Textbook :
Formal Languages and Automata theory
, J.D.Ullman etal
Analysis of Algorithms and Computational Complexity: Asymptotic analysis (best,
worst, average case) of time and space, Upper and lower bounds on the complexity
of specific problems, NP-completeness.
Textbook :
Introduction to algorithms
Cormen etal ( CLRS )
Computer Algorithms
Horowitz and Sahani
A very good textbook on Algorithms
coming soon from Dr.M.N.Seetaramanth ( Tata Mc
Graw Hill publications )
Digital Logic: Logic functions, Minimization, Design and synthesis of Combinatio

nal and Sequential circuits; Number representation and Computer Arithmetic (fixe
d and floating point);
Textbook :
Digital Logic circuits and Design
by Morris Mano
Computer Organization: Machine instructions and addressing modes, ALU and Data-p
ath, hardwired and micro-programmed control, Memory interface, I/O interface (In
terrupt and DMA mode), Serial communication interface, Instruction pipelining, C
ache, main and secondary storage.
Textbook :
Computer Organisation
by Morris Mano
Computer Architecture
by Briggs and 2 chinese authors ( blue cover pad ) { for p
ipelining }
Data structures: Notion of abstract data types, Stack, Queue, List, Set, String,
Tree, Binary search tree, Heap, Graph;
Textbook :
Data structures
Schaumm s outline series
Data structures in PASCAL
by Horowitz and Sahani
Data structures and Algorithms
by Weiss etal
Introduction to algorithms
Cormen etal ( CLRS )
Programming Methodology: C programming, Program control (iteration, recursion, F
unctions), Scope, Binding, Parameter passing, Elementary concepts of Object orie
nted, Functional and Logic Programming
Textbook :
Programming with C
Byron Gottfried , Schaumm s outline series
Principles of Programming Languages
by Robert W Sebesta , Addison Wesley
Programming with C++
Balaguruswamy
Algorithms for problem solving: Tree and graph traversals, Connected components,
Spanning trees, Shortest paths; Hashing, Sorting, Searching; Design techniques
(Greedy, Dynamic Programming, Divide-and-conquer);
Textbook :
Data structures
Schaumm s outline series
Data structures in PASCAL
by Horowitz and Sahani
Computer Algorithms
Horowitz and Sahani
Data structures and Algorithms
by Weiss etal
Introduction to algorithms
Cormen etal ( CLRS )
Compiler Design: Lexical analysis, Parsing, Syntax directed translation, Runtime
environment, Code generation, Linking (static and dynamic);
Textbook :
Principles of Compiler Design
, Aho , Ullman etal .
Systems Programming
by John . J . Donovan
Operating Systems: Classical concepts (concurrency, synchronization, deadlock),
Processes, threads and Inter-process communication, CPU scheduling, Memory manag
ement, File systems, I/O systems, Protection and security.
Textbook :
Operating system concepts
Advanced Unix Programming
Advanced Unix Programming

by Abraham Silberschatz and Peter Galvin

by W. Richard . Stevens
by N.B.Venkateswarlu , BPB publications

Databases: Relational model (ER-model, relational algebra, tuple calculus), Data

base design (integrity constraints, normal forms), Query languages (SQL), File s
tructures (sequential files, indexing, B+ trees), Transactions and concurrency c
ontrol;

Textbook :
Database Management systems
Raghu RamaKrishnan
Database system concepts
Silberschatz , Korth , Sudarshan
Database systems
C.J.Date { normalisation is very lucidly written }
Principles of Database Systems
J.D.Ullman { This is a very good book }
Computer Networks: ISO/OSI stack, sliding window protocol, LAN Technologies (Eth
ernet, Token ring), TCP/UDP, IP, Basic concepts of switches, gateways, and route
rs.
Textbook :
Computer Networks
Tenenbaum
Data communications and Networking
William Stallings
Some more important books :
Multiple choice questions
Timothy . J . Williams , TMH publications
Gate Question Papers
G.K.Publishers { follow it only for questions , answers are
all wrong in it }
Aptitude Test -D R Choudhary
Multiple choice questions
Timothy . J . Williams , TMH publications
Gate Question Papers
G.K.Publishers