BASIC MATHEMATICS
Mathematical Logic: Propositional Logic, First-order Logic -- Probability: Random variables and expectation, Conditional probability, Independent random variables, Distributions (Uniform, Normal, Exponential, Poisson, Binomial) --
Discrete Mathematics: Sets, Relations, Functions, Groups, Lattice, Boolean algebra, Induction, Recurrence relations -- Combinatorics: Permutations, Combinations, Counting, Summation --
Elementary graph theory: Basic properties, Connectivity, Covering and matching, Planarity -- Elementary concepts of Linear and Matrix Algebra -- Numerical methods: Classical algorithms for interpolation and root finding.
THEORY OF COMPUTATION
Formal Languages and Automata Theory: Regular languages and finite automata, Context free languages and Push-down automata, Recursively enumerable sets and Turing machines, Un-decidability --
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.
COMPUTER HARDWARE
Digital Logic: Logic functions, Minimization, Design and synthesis of Combinational and Sequential circuits -- Number representation and Computer Arithmetic (fixed and floating point) --
Computer Organization: Machine instructions and addressing modes, ALU and Data-path, hardwired and micro-programmed control, Memory interface, I/O interface (Interrupt and DMA mode), Serial communication interface, Instruction pipelining, Cache, main and secondary storage.
SOFTWARE SYSTEMS
Data structures: Notion of abstract data types, Stack, Queue, List, Set, String, Tree, Binary search tree, Heap, Graph -- Programming Methodology: C programming, Program control (iteration, recursion, Functions), Scope, Binding, Parameter passing, Elementary concepts of Object oriented, Functional and Logic Programming --
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) -- Compiler Design: Lexical analysis, Parsing, Syntax directed translation, Runtime environment, Code generation, Linking (static and dynamic) --
Operating Systems: Classical concepts (concurrency, synchronization, deadlock), Processes, threads and Inter-process communication, CPU scheduling, Memory management, File systems, I/O systems, Protection and security.
Databases: Relational model (ER-model, relational algebra, tuple calculus), Database design (integrity constraints, normal forms), Query languages (SQL), File structures (sequential files, indexing, B+ trees), Transactions and concurrency control
Computer Networks: ISO/OSI stack, sliding window protocol, LAN Technologies (Ethernet, Token ring), TCP/UDP, IP, Basic concepts of switches, gateways, and routers.
|