Zurück
Semester | Frühjahrsemester 2018 |
Angebotsmuster | unregelmässig |
Dozierende | Peter Zaspel (peter.zaspel@unibas.ch, BeurteilerIn) |
Inhalt | Unser Alltag ist voll von Aufgabenstellungen, die durch Graphen und davon abgeleiteten Datenstrukturen modelliert werden können. Dies reicht von der Routenplanung in Navigationsgeräten und Abfragen bei Online-Fahrplänen über die Modellierung und Optimierung von Produktionsprozessen bis hin zu Suchalgorithmen im Internet. Im Rahmen dieser Vorlesung wollen wir uns einen einen Überblick über Graphen, Bäume und Netzwerke verschaffen. Diese Datenstrukturen werden wir zunächst modellieren, so dass wir einen einheitlichen mathematischen Formalismus verwenden können. Er ermöglicht es, wesentliche Eigenschaften wie zum Beispiel den (starken) Zusammenhang zu definieren und zu analysieren. Schliesslich sollen klassische Algorithmen zur Durchmusterung und zum Beispiel für die Bestimmung kürzester Wege und maximaler Flüsse diskutiert werden. Wesentlich ist hierbei, dass wir auch stets die Korrektheit und Komplexität der Algorithmen beweisen, so dass wir ein solides theoretisches Fundament für Algorithmen auf Graphen, Bäumen und Netzwerken erarbeiten. Darüberhinaus werden wir immer wieder versuchen, in kurzen, ausblicksartigen Beispielen einen Eindruck von weiteren, aktuellen Anwendungen von Graphen zu erhalten. Diese können zum Beispiel im Bereich der graphbasierten linearen Löser, des Rankings bei Suchmaschinen, der Visualisierung über Spektren von Graphen, der optimalen Partitionierung von Ortsdiskretisierungen für High Performance Computing und der Repräsentationen für maschinelles Lernen auf Graphen liegen. Im Rahmen der vorlesungsbegleitenden Übungen werden wir sowohl theoretische Aufgaben lösen als auch einige der besprochenen Algorithmen im Rechner umsetzen. |
Bemerkungen | Das Kursmaterial sowie weitergehende Informationen zu Übungsbetrieb, Examen, etc. wird über den ADAM-Workspace zur Vorlesung bereit gestellt. |
Weblink | ADAM-Workspace zur Vorlesung |
Teilnahmebedingungen | Grundkenntnisse aus der Linearen Algebra sind wünschenswert |
Anmeldung zur Lehrveranstaltung | Amelden: via MOnA; Abmelden: Studiendekanat (schriftlich) |
Unterrichtssprache | Deutsch |
Einsatz digitaler Medien | Online-Angebot obligatorisch |
HörerInnen willkommen |
Intervall | Wochentag | Zeit | Raum |
---|
Keine Einzeltermine verfügbar, bitte informieren Sie sich direkt bei den Dozierenden.
Module |
Modul Angewandte Mathematik (Bachelor Mathematik) Modul Angewandte Mathematik (Computational Mathematics) (Bachelor Computational Sciences) Modul Applications and Related Topics (Bachelor Computer Science) Modul Applications and Related Topics (Bachelor Studienfach: Computer Science) Modul Mathematical Foundations of Computer Science (Bachelor Computer Science) Modul Mathematical Foundations of Computer Science (Bachelor Studienfach: Computer Science) |
Leistungsüberprüfung | Examen |
An-/Abmeldung zur Leistungsüberprüfung | Anm.: in 'Belegungen'; Abm.: bei Studiendek. schriftlich |
Wiederholungsprüfung | eine Wiederholung, bester Versuch zählt |
Skala | 1-6 0,5 |
Wiederholtes Belegen | nicht wiederholbar |
Zuständige Fakultät | Philosophisch-Naturwissenschaftliche Fakultät, studiendekanat-philnat@unibas.ch |
Anbietende Organisationseinheit | Fachbereich Mathematik |