Klassische Themen der Computerwissenschaft - 3 VO, 1 UE, 716.113 / 716.114 - TU Graz
←
→
Transkription von Seiteninhalten
Wenn Ihr Browser die Seite nicht korrekt rendert, bitte, lesen Sie den Inhalt der Seite unten
Institut für Softwaretechnologie
Klassische Themen der
Computerwissenschaft
3 VO, 1 UE, 716.113 / 716.114
Bernhard Aichernig
Oswin Aichholzer
Alexander Felfernig
Gerald Steinbauer
Martin Stettinger
Franz Wotawa
Institut für Softwaretechnologie, TU Graz
Inffeldgasse 16b, 2.Stock
Klassische Themen der Computerwissenschaften
1
Institut für Softwaretechnologie
Allgemeine Informationen
LV-Zeiten:
– VO: Donnerstag 8:45 - 11:00 HS i12
– UE: Mittwoch 18:00 - 18:45 HS i11 (bzw. nach Vereinbarung)
Webseite: http://www.ist.tugraz.at/ktdcw18.html
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!
Klassische Themen der Computerwissenschaften
2Institut für Softwaretechnologie
Ü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.
Klassische Themen der Computerwissenschaften
3Institut für Softwaretechnologie
Ü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.
Klassische Themen der Computerwissenschaften
4Institut für Softwaretechnologie
Ü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.
Klassische Themen der Computerwissenschaften
5Institut für Softwaretechnologie
Überblick 4 (Felfernig, Stettinger)
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 computational social choice. 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.
Klassische Themen der Computerwissenschaften
6Institut für Softwaretechnologie
Überblick 4 (Felfernig, Stettinger)
Introduction
history, constraint satisfaction problems
Applications
Configuration, Computational Social Choice
Consistency
node, arc, and path consistency
Combining search and consistency
look-ahead schemes
variable and value ordering
Selected topics
automated debugging of constraint KBS
Klassische Themen der Computerwissenschaften
7Institut für Softwaretechnologie
Überblick 5 (Steinbauer)
Situation Calculus is a dialect 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.
Klassische Themen der Computerwissenschaften
8Institut für Softwaretechnologie
Vorläufiger Zeitplan
Vorlesung Übung
04.10.18 08:45 - 09:30 HS i12, Vorbesprechung
04.10.18 08:45 - 11:00 HS i12, VO
11.10.18 08:45 - 11:00 HS i12, VO Felfernig et al. 10.10. 18:00 - 18:45 HS i11, UE
18.10.18 08:45 - 11:00 HS i12, VO Felfernig et al. 17.10. 18:00 - 18:45 HS i11, UE Felfernig et al.
25.10.18 08:45 - 11:00 HS i12, VO Aichernig 24.10. 18:00 - 18:45 HS i11, UE Felfernig et al.
08.11.18 08:45 - 11:00 HS i12, VO Aichernig 31.10. 18:00 - 18:45 HS i11, UE
15.11.18 08:45 - 11:00 HS i12, VO Aichernig 07.11. 18:00 - 18:45 HS i11, UE
22.11.18 08:45 - 11:00 HS i12, VO 14.11. 18:00 - 18:45 HS i11, UE Aichernig
29.11.18 08:45 - 11:00 HS i12, VO Steinbauer 21.11. 18:00 - 18:45 HS i11, UE Aichernig
06.12.18 08:45 - 11:00 HS i12, VO Steinbauer 28.11. 18:00 - 18:45 HS i11, UE
13.12.18 08:45 - 11:00 HS i12, VO Steinbauer 05.12. 18:00 - 18:45 HS i11, UE Steinbauer
10.01.19 08:45 - 11:00 HS i12, VO Aichholzer 12.12. 18:00 - 18:45 HS i11, UE Steinbauer
17.01.19 08:45 - 11:00 HS i12, VO Aichholzer 09.01. 18:00 - 18:45 HS i11, UE Steinbauer
24.01.19 08:45 - 11:00 HS i12, VO Wotawa 16.01. 18:00 - 18:45 HS i11, UE Aichholzer
31.01.19 08:45 - 11:00 HS i12, VO Wotawa 23.01. 18:00 - 18:45 HS i11, UE Aichholzer
30.01. 18:00 - 18:45 HS i11, UE Wotawa
05.02.19 16:00 - 18:00 HS i13, Prüfungstermin Klassische Themen der Computerwissenschaften
9Institut für Softwaretechnologie
Prüfung
• Gesamtprüfung über alle Themenblöcke
• Je 3 Prüfungstermine pro Semester
• Termin am Semesterende:
– Wird auf der LV-Webseite angekündigt.
• Weitere Termine:
– März 2019
– April 2019
– Juni 2019
• Termine zum letzten Semester (WS 2017/18):
– Dienstag 8.10.2018 15:00-17:00 i11
– November 12.11.2018 15:00-17:00 i11
Klassische Themen der Computerwissenschaften
10Institut für Softwaretechnologie
Ü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)
• Abgabe elektronisch über Übungs-SVN
• 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
Klassische Themen der Computerwissenschaften
11Institut für Softwaretechnologie
Vorläufiger Zeitplan – Übungsabgaben I
• B. Aichernig
– 4er Gruppe; Programmierübung in Scala
– Ausgabe: 8.11.2018 in VO, Fragestunde 14.11., Abgabe: 21.11.2018, 12:00
– selektive Abgabegespräche: 5./6.12.2018
• O. Aichholzer
– 4er Gruppe; Programmierung Nimber-Spielprogramm
– Ausgabe 16.01.2019, Fragestunde 23.01.2019, Abgabe: 29.01.2019, 12:00
– Abgabegespräche: 31.01 und 01.02.2019, Zeiteinteilung nach Vereinbarung
• G. Steinbauer
– Übungsblatt als Einzelübung
• Ausgabe: 29.11.2018, Abgabe: 10.12.2018 – 23:59 (Lösungen zum Übungsblatt)
• An der Tafel vorrechnen : 12.12.2018 (in der Übungseinheit, Anwesenheitspflicht)
– Programmieraufgabe
• 4er Gruppe
• Ausgabe: 13.12.2018, Abgabe 16.01.2018– 23:59
• selektive Abgabegespräche: 24./25.1.2019
Klassische Themen der Computerwissenschaften
12Institut für Softwaretechnologie
Vorläufiger Zeitplan – Übungsabgaben II
• A. Felfernig, M. Stettinger
– Übungen online mit Einzelabgabe, keine Übungseinheiten im Hörsaal
(siehe VO Unterlagen)
– Abgabegespräche (selektiv): nach Vereinbarung
– Bewertung der Übungen: siehe VO Unterlagen.
• F. Wotawa
– Einzelübung / Ein Übungsblatt am Ende des Vorlesungsteils
– Abgabe: 30.1.2019 vor der Übung im Hörsaal
– An der Tafel vorrechnen ohne Lösungen und andere Hilfsmittel!
• Rückmeldung zu den Übungspunkten beim Abgabegespräch
bzw. spätestens 4 Wochen nach der Abgabe
Klassische Themen der Computerwissenschaften
13Institut für Softwaretechnologie
Übungen negativ?
• Die Gruppenanmeldung im ersten Übungsteil gilt als
erbrachte Leistung.
• Konsequenz: Gruppenanmeldung ohne weitere Leistung
führt zu einem negativen Zeugnis.
Klassische Themen der Computerwissenschaften
14Sie können auch lesen
