Course details

The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information and to solve combinatorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design, and analysis. Constraint-based programming languages enjoy elegant theoretical properties, conceptual simplicity, and practical success. The idea of constraint-based programming is to solve problems by simply stating constraints (conditions, properties) which must be satisfied by a solution of the problem. Constraints can be considered as pieces of partial information. Constraints describe properties of unknown objects and relationships between them. Constraints are formalized as distinguished, predefined predicates in first-order predicate logic. The unknown objects are modeled as variables. The main goal of this course is to give an introduction to a new programming paradigm based on constraints over different domains, such as Booleans, real (rational) numbers or finite domains. Special emphasis will be put on the practical use of these methods, in particular for solving combinatorial optimizations problems.

Updated on 23 March, 2016

About German University in Cairo (GUC)

The German University in Cairo, GUC, is an Egyptian Private University founded by the presidential decree 27/2002, according to the law number 101/1992 and its executive regulations number 355/1996.

German university in Cairo/Deutsche Universität in Kairo has been established in 2002 in cooperation with the State Universities of Ulm and Stuttgart, under the patronage of the Egyptian Ministry of Higher Education, the Ministry of Science, Research and Arts, State of Baden- Württemberg, Germany, and supported by the German Academic Exchange Service (DAAD), the German Embassy in Cairo, the Arab/German Chamber of Industry and Commerce (AHK), the Federal Ministry of Education and Research, Germany, The State University of Tübingen and The State University of Mannheim.

The German University in Cairo is an independent, non-profit oriented Egyptian private institution, managed by a consortium of Germans and Egyptians with the vision of building a leading center of excellence in teaching and research that will effectively contribute to the general welfare nationally and internationally and endeavour the scientific, technical, economic and cultural cooperation between Egypt and Germany.

See all German University in Cairo (GUC) courses
Are you from German University in Cairo (GUC) ? Claim your course!
Courses you can instantly connect with... Do an online course on Programming starting now. See all courses

Is this the right course for you?

Rate this page

Didn't find what you were looking for ?

or