Courses

Fundamental concepts of data structures. Performance measurement of algorithms. Implementation and use of lists, stacks, queues, priority queues, trees, heaps, hash tables and graphs. Recursion. Students will do programming assignments
Introduction to AI problem solving - Search - Local Search - Knowledge representation - Constraint Satisfaction - Propositional Logic - First-Order Logic - Automatic theorem proving - Reasoning - Introduction to Machine Learning.
Introduction to AI problem solving - Search - Local Search - Knowledge representation: First-Order Logic - Automatic theorem proving - Planning - Reasoning - reasoning with uncertainty - Belief Networks - Introduction to Machine Learning.
Topic: Automated Planning. Contents: Introduction to AI and search - Classical planning - Planning representation - State-space planning - Planning grpahs - Planning as Satisfiability - Path planning - Examples of Planners - HTN - planning in...
Introductory problem solving -  Input/Output - Experssions - Control Statements - Object Oriented approaches: abstraction & encapsulation principles - classes - objects and the constructor concepts - information hiding principle and the...