This is a new course on Essential Thinking. It covers an introduction to problem solving techniques and tools.

• Introduction to thinking, reasoning, and problem solving: Essential Thinking - Introduction
• Logic and Inference. Introduction to Prolog. Prolog as a language and tool for problem solving: Course of Prolog. Selected problems - Homework
• Taxonomy of Problems and Problem Solving Techniques. Search. Problem Reduction. Plan Generation.Problem Solving
• Constraint Programming and Constraint Logic Programming. Constraint Programming; Theory of Constraint Problem Solving
• Abduction and Consistency-Based Reasoning. Diagnostic Problem Solving. Diagnostic Problem Solving. Exploring Models, Abduction and Inconsistency

• Introduction to Prolog: Basic Prolog: Support materials
• Lists in Prolog: Lists:support materials
• Search and Plan Generation: Search and Problem Solving
• Constraint Logic Programming: Constraint Logic Programming