Klassische Themen der Computerwissenschaft 3 VO, 1 UE, /

Transkript

1 Klassische Themen der Computerwissenschaft 3 VO, 1 UE, / Bernhard Aichernig Oswin Aichholzer Alexander Felfernig Gerald Steinbauer Franz Wotawa Institut für Softwaretechnologie, TU Graz Inffeldgasse 16b, 2.Stock 2

2 Allgemeine Informationen LV-Zeiten: VO: Donnerstag 8:45-11:00 HS i12 UE: Mittwoch 18:00-18:45 HS i11 (bzw. nach Vereinbarung) Webseite: Newsgroup: tu-graz.lv.ktdcw Achtung: Diese Newsgroup ist nicht moderiert und dient nur zum Informationsaustausch unter Studierenden (z.b. Gruppenbildung). Bitte Newsgroup-Netiquette einhalten. Zu VO / UE im TUGOnline anmelden: Frist 8.Okt.! Ohne Anmeldung kein Zeugnis! 3

3 Überblick 1 (Aichernig) Functional Programming: In this part of the course we will introduce functional programming using the programming language Scala. You will learn about different forms of recursion, abstraction with higher-order functions, the combination of OO with functional programming, reasoning over functional programs, concurrent and parallel programming. 4

4 Überblick 2 (Aichholzer) Game theory is a rather classical topic in mathematics and computer science. We will discuss the theory about numbers and nimbers and see how to (optimal) play the chocolate game, NIM, Kayles and other classical known (and unknown) games. In the exercise part of the lecture you will develop a program which can play several thousands of mathematical games optimally. 5

5 Überblick 3 (Wotawa) Artificial Intelligence (AI): AI is one large and active research area in computer science. Building intelligent systems that interact with other intelligent entities are of particular interest. In my part of the lecture I'll talk about special aspects of knowledge representation and reasoning. In particular I'll focus on non-monotonic reasoning and its application to diagnosis. The objectives of this part are (1) to get an impression about the state of the art in AI, (2) to get knowledge about open research issues, and (3) to understand how to represent and use knowledge to fulfill an intelligent task, i.e., fault detection and localization. 6

6 Überblick 4 (Felfernig) Constraint Programming (CP): CP is one of the closest approaches computer science has yet made to the Holy Grail of programming: the user states the problem, the computer solves it. [Freuder 1997] CP is used in many application areas such as configuration or scheduling. In this part of the course we will discuss major approaches to represent and solve constraint satisfaction problems (CSPs). The major goals are (1) to get an understanding of the basic formal properties of CSPs and (2) to be able to represent real-world problems as a corresponding CSP. 7

7 Überblick 4 (Felfernig) Introduction history, constraint satisfaction problems Applications CSP solvers, configurators, domains Consistency node, arc, and path consistency Combining search and consistency look-ahead schemes variable and value ordering Selected topics automated debugging of constraint KBS 8

8 Überblick 5 (Steinbauer) Situation Calculus is a dialog of the first order logic for representing chances in a dynamic world in a formal way. All changes are the results of actions. The state of the world is represented by situations. The key feature of the SC is that it is based on logic and therefore all tools for logic can be use. Therefore, SC allows to reason about actions, change and situation, to make proofs or to plan. The SC is not only a theoretical construct. There exist implementation like the program language Golog or YAGI which can be used to program and control real systems like robots. 9

9 Vorlesung Vorläufiger Zeitplan Übung :00-08:45 HS i12, Vorbesprechung :45-11:00 HS i12, VO B. Aichernig :45-11:00 HS i12, VO B. Aichernig :00-18:45 HS i11, UE Aichernig :45-11:00 HS i12, VO Ersatztermin :00-18:45 HS i11, UE Aichernig :45-11:00 HS i12, VO O. Aichholzer :45-11:00 HS i12, VO O. Aichholzer :00-18:45 HS i11, UE Aichholzer :45-11:00 HS i12, VO G. Steinbauer :00-18:45 HS i11, UE Aichholzer :45-11:00 HS i12, VO G. Steinbauer :00-18:45 HS i11, UE Steinbauer :45-11:00 HS i12, VO A. Felfernig :00-18:45 HS i11, UE Steinbauer :45-11:00 HS i12, VO A. Felfernig :00-18:45 HS i11, UE Felfernig :45-11:00 HS i12, VO Ersatztermin :00-18:45 HS i11, UE Felfernig :45-11:00 HS i12, VO F. Wotawa :00-18:45 HS i11, Ersatztermin :45-11:00 HS i12, VO F. Wotawa :00-18:45 HS i11, UE Wotawa :45-11:00 HS i12, VO Ersatztermin :00-18:45 HS i11, UE Wotawa :00-18:00 HS i13, Prüfungstermin 10

10 Prüfung Gesamtprüfung über alle Themenblöcke Je 3 Prüfungstermine pro Semester Termin am Semesterende: Mittwoch :00-18:00, HS i13 Weitere Termine: Montag :00-20:00, HS i13 Mittwoch :00-18:00, HS i13 Dienstag :00-19:00, HS i12 Termine zum letzten Semester (WS 2015/16): Freitag :00-18:00 i12 Donnerstag :00-19:00 i13 11

11 Übungen Je Block (insgesamt fünf, einer pro Vortragendem) wird ein Übungsteil ausgegeben. Übungen teilweise in 4er-Gruppe, teilweise als Einzelübung; siehe folgende Seiten Gruppenbildung für das Semester im ersten Übungsteil (Gruppen bleiben bestehen) Jedes Übungsblatt trägt 20 % zur Übungsnote bei. Notenschlüssel: 50,01% - 62,50% genügend 62,51% - 75,00% befriedigend 75,01% - 87,50% gut 87,51% - 100,0% sehr gut 12

12 Vorläufiger Zeitplan Übungsabgaben I B. Aichernig 4er Gruppe; Programmierübung Ausgabe: , Abgabe: , 24:00 (Programmieraufgaben) Selektive Abgabegespräche: u O. Aichholzer 4er Gruppe; Programmierung Nimber-Spielprogramm Ausgabe , Fragestunde , Abgabe: , 12:00 Abgabegespräche: , Zeiteinteilung nach Vereinbarung G. Steinbauer Übungsblatt als Einzelübung Ausgabe: , Abgabe: :59 (Lösungen zum Übungsblatt) An der Tafel vorrechnen : (in der Übungseinheit) Programmieraufgabe 4er Gruppe Ausgabe: , Abgabe :59 selektive Abgabegespräche 13

13 Vorläufiger Zeitplan Übungsabgaben II A. Felfernig 2 Themenbereiche, jeweils ein Übungsblatt zu jedem Vorlesungsteil, Abgabe der Lösungen vor der Übungseinheit: u vor 16:00 Abgabegespräche (selektiv): Mittwoch :00-15:00 Gruppeneinteilung: 4 Personen Bewertung der Übungen: Ausarbeitungen zu Übungsblättern + selektive Abgabegespräche. F. Wotawa Einzelübung Abgabe: und jeweils vor der Übung im Hörsaal An der Tafel vorrechnen ohne den Übungszettel und andere Hilfsmittel! Rückmeldung zu den Übungspunkten beim Abgabegespräch bzw. spätestens 4 Wochen nach der Abgabe 14

14 Übungen negativ? Die Gruppenanmeldung im ersten Übungsteil gilt als erbrachte Leistung. Konsequenz: Gruppenanmeldung ohne weitere Leistung führt zu einem negativen Zeugnis. Ist man knapp negativ kann man den Übungsteil Aichernig innerhalb von vier Wochen als Einzelübung wiederholen. Dies beinhaltet ein verpflichtendes Abgabegespräch. 15