Set
Theory. Proof Techniques. Functions and Relations. Graphs and Boolean Algebra.
Homomorphism and Isomorphism. Predicate and First Level Logic. Big-O Notation
and Introduction to the Analysis of Complexity of Algorithms. Counting,
Recursion and Finite Automata.
Data
Structures and Data Types. Arrays, Stacks and Queues. Linear and Linked
Lists. Record Structures. Search. Order. Tree Structures. Algorithm Design
Techniques.
Digital Logic Circuits. Digital Components.
Data Representation. Register Transfer and Micro-operations. Basic Computer
Organization and Design. Micro-programmed Control. Central Processing Unit.
Computer Arithmetic.Input/Output Organization. Memory Organization.
OSI Reference
Model Fundamentals, Physical Layer, Data Link layer: Error detection and
Correction, Sliding window Protocols, Protocol Specification and
Verification, Medium Access Sublayer, Ethernet,TokenBus,Token Ring,
Bridges, High Speed LANs, Satellite Networks, Network Layer, Routing
Algorithms, Congestion Control Algorithms, Internetworking, Transport Layer
Fundamentals.
Overview of Knowledge Based
Systems. Knowledge Representation and Formal Logic: First Order Predicate
Logic. Semantic Networks and Concept Graphs. Frames. Production Systems.
Management of Uncertainty. Problem Solving: Methods of Inference. Search
Methods. The Expert System Development Process. Expert System Tools: Shell
Systems (ESTA). Prolog. Lisp.
Introduction
to probability. Conditional Probability. Random Variables and Distributions,
Expectation, Probability Bounds, Approximations and Computations. Markow Chains. Poisson Processes. Queuing Theory.
Simulation. Special Distributions. Estimation. Sampling Distribution of
Estimators. Testing Hypothesis.
Artficial neural networks,
biological foundations, cognitive processes and their modeling using
artificial neural networks, storage of complex data structures in neural networks,
problem solving using neural networks, guided and unguided learning in neural
networks, perception, reasoning, memory,speech and reasoning, description of cognitive events using neural
networks
Mathematical
Fundamentals of Crypto-Systems. Number and Complexity Theories
. Fundamental Crypto-Systems. Primality and
Factoring. Advanced Crypto-Systems. Zero-Knowledge Protocols. Authentication
and Key Exchange Protocols. Digital Signature Protocols
Data
Types, Variables and Arrays, Operators and Control Statements, Methods and
Classes, Inheritance, Packages and Interfaces, Exception Handling,
Multithreaded Programming, I/O, Strings, Event Handling, Networking.
Data Transmission, Transmission Media, Data Encoding, Data Communication
Interface, Data Link Control, Multiplexing, Circuit Switching, Packet
Switching, ATM and Frame Relay.
Introduction and Mathematical
Background, L Programming Language, Computable Functions, Composition and
Recursion, Quantifiers, Godel Numbers and Halting
Problem, Turing Machines, Simulation of Nondeterministic Machines, Post’s
Correspondence Problem, Normal Forms, Complexity of Computations
Database
System concept and Architecture. Data Models. File Organization. Relational
Data Model. SQL relational Database Language. Relational Database Management
System. Hierarchic Data Models and Database Design. Object-Oriented Database Design
and Applications.
Classification
of Programming Languages. Syntax and Semantic. Imperative Languages. Data
Types, Expressions and Statements. Program Constructs. Scope and Parameter
Passing. Abstraction and Encapsulation. Object Oriented Programming.
Functional Programming. Logic Programming. Concurrency and Parallel
Programming.
