Einführung in wichtige Paradigmen der Programmierung soweit sie für die praktische und angewandte Informatik von Bedeutung sind. Der Schwerpunkt liegt auf der logischen und der funktionalen Programmierung und deren Einsatz für Aufgaben der Künstlichen Intelligenz. Imperative Programmierung und objektorientierte Programmierung werden - als bekannt vorausgesetzt - mit Paradigmen der deklarativen Programmierung verglichen. Die Studierenden sollen in die Lage versetzt werden, die verschiedenen Paradigmen anwenden zu können und lernen das Zusammenwirken unterschiedlicher formaler Sprachen im Rahmen hybrider Systeme kennen.