General information

Semester	WS 2019/20
Current number of participants	6
Home institute	Leitung des Instituts für Informatik
participating institutes	Institut für Informatik
Courses type	Lecture in category Offizielle Lehrveranstaltungen
Next date	Tue , 04.02.2020 14:15 - 15:45, Room: Hörsaal 3.31 [VSP 1]

Lecturers

Prof. Dr. Matthias Hagen

Course location / Course dates

Hörsaal 3.31 [VSP 1]

Tuesday: 14:15 - 15:45, weekly (from 15/10/19) (15x)

Fields of study

Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Institut für Informatik > Themen > Lehrgebiet Datenbanken und Informationssysteme

Module assignments

Informatik InformatikMA120, Version of accreditation valid from WS 2016/17 > Alle Module aus den Vertiefungsrichtungen und zusätzlich: > INF.01088.04 - Gast-Modul A, valid from WS 2006/07 > Course 1: Lecture (Vorlesung)
Informatik InformatikMA120, Version of accreditation (WS 2013/14 - SS 2016) > Alle Module aus den Vertiefungsrichtungen und zusätzlich: > INF.01088.04 - Gast-Modul A, valid from WS 2006/07 > Course 1: Lecture (Vorlesung)
Informatik InformatikMA120, Version of accreditation (WS 2006/07 - SS 2013) > Wahlbereich > INF.01088.04 - Gast-Modul A, valid from WS 2006/07 > Course 1: Lecture (Vorlesung)

Comment/Description

The course will introduce search algorithms as a means to solve combinatorial problems such as constraint satisfaction and optimization problems. Tackling such problems by a machine often follows a two-step approach: (1) definition of a space of solution candidates plus (2) intelligent exploration of this space. The students will learn to analyze the nature of search problems, this way being able to devise adequate search space representations. We will cover the modeling of search problems, basic (uninformed) search algorithms, informed search algorithms, as well as hybrid combinations. A special focus will be put on heuristic search approaches. The lecture introduces concepts, algorithms, and theoretical backgrounds.