Detaljer för kursplan för kurs EDAN01F giltig från och med Autumn 2017 Utskriftsvänlig visning Kurskod:EDAN01F Gäller från och med:Autumn 2017 Kursplanen är fastställd Allmänt Undervisningsspråk:English Ges:En gång per termin Kurshemsida:http://cs.lth.se/edan01 Syfte The goal of this course is to have each student acquire the knowledge on a new programming paradigm based on constraints over finite domains and provide experience of how to use these methods for solving combinatorial problems. Innehåll Introduction to constraint programming. Basic algorithms used in constraint programming systems (constraint satisfaction and consistency, optimisation). Finite domain constraints. Modelling with finite domain constraints. Searching methods and optimisation. Selected advanced issues. Kunskap och förståelse För godkänd kurs skall doktoranden be able to use basic concepts of constraint programming be able to explain principles of constraint programming and define constraints for simple problems. Färdighet och förmåga För godkänd kurs skall doktoranden be able to model and implement constraint programs for a combinatorial problem be able to use appropriate heuristics to implement efficient search methods. Värderingsförmåga och förhållningssätt För godkänd kurs skall doktoranden demonstrate the ability to critically evaluate and compare different methods to solve combinatorial problems with help of constraint programming Undervisningsformer Föreläsningar Laborationer Examinationsformer Skriftlig tentamen Inlämningsuppgifter Kommentarer:To qualify for a passing mark, the students must have completed the laboratory work and the project. To qualify for a higher mark a written examination is required. Betygsskala:Underkänd, godkänd Förkunskapskrav EDAA01 Programming - Second Course or EDAA30 Programming in Java - Second Course Förutsatta förkunskaper Urvalskriterier Litteratur Litteratur:Kuchcinski, K.: Modeling and Optimisation of Embedded Systems with Constraint Programming: Principles and Practice.. Kommentarer:Distributed by the department. Övrig information Kurskod Kurskod:EDAN01F Administrativ information Datum för fastställande: -03-22 Beslutad av:Professor Thomas Johansson Alla publicerade kurstillfällen för kursplanen Inga matchande kurstillfällen hittades. 0 kurstillfällen. Utskriftsvänlig visning