Category: B.TECH (Think-Tank)

Units I- PROPOSITIONS AND PREDICATES: Evaluation of constant propositions, Evaluation of proposition in a state. Precedence rules for operators, Tautologies, Propositions a sets of states and Transforming English to propositional form. Introduction to first-order predicate logic, Quantifiers and Reasoning.
Units II- LOGIC PROGRAMMING USING PROLOG: Constants, Goals and Clauses, Facts,Rules, Semantics, Rules and Conjunction, Rules and Disjunction, Search strategy, Queries.
Units III- ADVANCED LOGIC PROGRAMMING USING PROLOG: – Unification ,Recursion, Lists, Cut operator, and Sorting. Data structures, Text strings, Searching state space, Operators and their precedence, and Parsing in Prolog.
Units IV- FUNCTIONAL PROGRAMMING: Introduction to lambda calculus-Syntax and semantics, Computability and correctness, Lazy and Eager Evaluation Strategies, comparison of functional and imperative languages.
Units V- FUNCTIONAL PROGRAMMING USING HASKELL: Introduction, lists, User-defined data types, type classes, and arrays in Haskell. Input/Ouput in Haskell – type classes IO and Monad, Simple applications/programs in Haskell.

JAVA: Introduction to Object Orientated Programming, Abstraction, Object Oriented Programming Principles, Features of JAVA, Introduction to Java byte code, Java Virtual machine. PROGRAM ELEMENTS: Primitive data types, variables, as signment, arithmetic, short circuit logical operators, Arithm etic operators, bit wise operators, relational operators, Boolean logic operators, the assignment operators, operator precedence, Decision and control statements, arrays.
CONTROL STATEMENTS: Java‟s Selection Statements, if st atement, switch statement, Iteration Statements, while, do-while, f or, for-each, Nested Loops, Jump Statements, Using break, Using continue, return
OBJECTS AND CLASSES: Objects, constructors, returning and passing objects as parameter, Nested and inner classes, Single and Multilevel Inheritance, Extended classes, Access Control, usage of super, Overloading and overriding methods, Abstract classes, Using final with inheritance.
PACKAGE AND INTERFACES: Defining package, concept of CLASSPATH, access modifiers, importing package, Defining and implementing interfaces.
STRING HANDLING: String constructors, special string operations, character extraction, searching and comparing strings, stringBuffer class.
EXCEPTION HANDLING: Exception handling fundamentals, Exception types, uncaught exceptions, try, catch and multiple catch statements. Usage of throw, throws and finally .FILE HANDLING: I/O streams, File I/O.
CONCURRENCY: Processes and Threads, Thread Objects, Defining and Starting a Thread, Pausing Execution with Sleep, Interrupts, Joins, Synchronization. APPLET: Applet Fundamentals, using paint method and drawing polygons.