Skip to main content
HOME
www.lmu.de
Fakultät 11
UnterrichtsMitschau
Lehrfilme
UnterrichtOnline.org
Aktuelle Vorlesungen
Alle Vorlesungen
Vorlesungen nach Fakultäten
Fakultätsübergreifende Vorlesungen
Katholisch-Theologische Fakultät (Fakultät 1)
Evangelisch-Theologische Fakultät (Fakultät 2)
Juristische Fakultät (Fakultät 3)
Fakultät für Betriebswirtschaft (Fakultät 4)
Volkswirtschaftliche Fakultät (Fakultät 5)
Medizinische Fakultät (Fakultät 7)
Tierärztliche Fakultät (Fakultät 8)
Fakultät für Geschichts- und Kunstwissenschaften (Fakultät 9)
Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft (Fakultät 10)
Fakultät für Psychologie und Pädagogik (Fakultät 11)
Fakultät für Kulturwissenschaften (Fakultät 12)
Fakultät für Sprach- und Literaturwissenschaften (Fakultät 13)
Sozialwissenschaftliche Fakultät (Fakultät 15)
Fakultät für Mathematik, Informatik und Statistik (Fakultät 16)
Fakultät für Physik (Fakultät 17)
Fakultät für Chemie und Pharmazie (Fakultät 18)
Fakultät für Biologie (Fakultät 19)
Fakultät für Geowissenschaften (Fakultät 20)
Seniorenstudium
Tutorials
FAQs
Hofmann, Martin
Algorithmen und Datenstrukturen
12.07.2016
Geometrische Algorithmen
06.07.2016
Ford-Fulkerson Algorithmus, Bipartite Matchings
05.07.2016
Flüsse in Netzwerken
29.06.2016
Algorithmen von Bellman-Fort und Floyd-Warshall, Flüsse in Netzwerken
28.06.2016
16. Der Dijkstra-Algorithmus
21.06.2016
Algorithmen auf Graphen
16.06.2016
13. Amortisierte Komplexität von Union-Find
08.06.2016
11. Dynamische Programmierung, Längste gemeinsame Teilfolge
07.06.2016
Teil 4: Allgemeine Entwurfs- und Optimierungsmethoden
02.06.2016
9. Hashtabellen: offene Adressierung, Lineares- und quadratisches Sondieren
31.05.2016
Hashtabellen
18.05.2016
Rot-Schwarz-Bäume als spezielle B-Bäume
11.05.2016
3. Datenstrukturen - Dynamische Mengen
10.05.2016
Vergleichskomplexität, Max/Min, Selektion
20.04.2016
4. Prioritätsschlange, Quicksort
19.04.2016
3. Master-Methode, Heapsort
13.04.2016
2. Sortieren durch Mischen, O-Notation
12.04.2016
1. Sortieren durch Einfügen
14.07.2009
Flüsse in Netzwerken 2
09.07.2009
Flüsse in Netzwerken
02.07.2009
Kürzeste Wege
30.06.2009
Minimale Spannbäume, Kürzeste Wege
25.06.2009
Tiefensuche, Minimale Spannbäume, Algorithmus von Prim
23.06.2009
Algorithmen auf Graphen
16.06.2009
Amortisierte Analyse, Algorithmen auf Graphen
09.06.2009
Amortisierungs-Analyse
28.05.2009
Dynamische Programmierung
26.05.2009
Allgemeine Entwurfs - und Optimierungsmethoden
19.05.2009
Datenstrukturen Hashtabellen
14.05.2009
Rot-Schwarz-Bäume
12.05.2009
Kapitel 3 Datenstrukturen
05.05.2009
Sortieren und Suchen Teil 2
30.04.2009
Heap-Sort und Quick-Sort
28.04.2009
Wiederholung + Kapitel 2: Sortieren und Suchen
23.04.2009
Sortieren durch Mischen
21.04.2009
Einführung + Sortieren durch Einfügen
Grundlagen der Analysis
03.02.2016
15. Differentialrechnung mit mehreren Variablen
15.01.2016
13.Gleichmässige Konvergenz, Taylorreihen
13.01.2016
12. Partielle Integration, uneigentliche Integrale
16.12.2015
11. Substitutionsregel, Partialbruchzerlegung
09.12.2015
10. Mittelwertsatz der Integralrechnung, Stammfunktion (H.d.I.)
04.12.2015
Lokale Extrema, Integralbegriff
02.12.2015
Mittelwertsaetze, L'Hospital-Regeln
25.11.2015
7. Differentiation, Differentiationsregeln
20.11.2015
6. Komplexe Zahlen, komplexe Exponentialfunktion
18.11.2015
5. Trigonometrische Funktionen
11.11.2015
4. Exponentialfunktionen und Logarithmus
21.10.2015
3. Funktionsbegriff, Monotonie, Grenzwerte von Funktionen, Stetigkeit
16.10.2015
2. Reihen, Konvergenzkriterien
14.10.2015
1. Folgen, Grenzwerte von Folgen, Summen, Teleskope
Formale Spezifikation und Verifikation
01.07.2015
18. Programmlogik
29.06.2015
17. Vollständigkeit der Hoare-Logik
24.06.2015
16. Wiederholung: Typ- und Effektivsteme und Hoare Logik
22.06.2015
15. Typ- und Effektsyteme: Exceptions und Referenzen
17.06.2015
14. Typ- und Effektsysteme
08.06.2015
13. Programmanalyse und Typsysteme.
03.06.2015
12. Constraint-basierter Analyse
01.06.2015
11. Zusammenfassung Kapitel 2; Programmanalyse: Motivation und Einführung
27.05.2015
10. Symbolisches Model-Checking
18.05.2015
9. Alternating bit protocol
13.05.2015
8. Das System SMV
11.05.2015
7. Model-Checking-Algorithmen
27.04.2015
5. BDDs
22.04.2015
4. BDDs
20.04.2015
3. Aussagenlogik
15.04.2015
2. Konjunktive Normalform, Disjunktive Normalform
13.04.2015
1. Organisation, Aussagenlogik: Syntax und Semantik, Modellierung von Sudoku
Programmierung und Modellierung (sose14)
10.07.2014
18. Wiederholung / Ausblicke
07.07.2014
17. Wiederholung / Ausblicke
03.07.2014
16. Semantik
30.06.2014
15. Verzögerte Auswertung & Striktheit
23.06.2014
14. Monaden
16.06.2014
13. IO & Funktoren
05.06.2014
12. Typinferenz
02.06.2014
11. Typisierung & Typherleitungsbäume
26.05.2014
10. Laufzeitbetrachtungen
22.05.2014
9. Algorithmen
19.05.2014
8. Funktionen höherer Ordnung, Wichtige Bibliotheken
15.05.2014
7. Funktionen höherer Ordnung
12.05.2014
6. Polymorphie, Typklassen, Module
28.04.2014
5.Benutzerdefinierte Datentypen
24.04.2014
4. Induktion & Korrektheitsbeweise
14.04.2014
3. Rekursion & Termination
10.04.2014
2. Funktionsbegriff, Basistypen
07.04.2014
1. Einführung
Logik und Diskrete Strukturen
11.07.2012
Kompaktheit der Prädikatenlogik, Resolution für die Prädikatenlogik
10.07.2012
Sätze von Löwenheim Skolem und Herbrand, Pränex Normalform
04.07.2012
Korrektheit und Vollständigkeit
03.07.2012
Sequenzenkalkül fuer die Prädikatenlogik
27.06.2012
Semantik der Prädikatenlogik
26.06.2012
Resolution, Kompaktheit, Prädikatenlogik informell
20.06.2012
Sequenzenkalkül, Korrektheit und Vollständigkeit
19.06.2012
Normalformen, Erfüllbarkeit, Allgemeingültigkeit, Sequenzenkalkül informell
13.06.2012
Aussagenlogik
12.06.2012
Endliche Körper
23.05.2012
Gruppen
22.05.2012
Algebraische Strukturen
16.05.2012
Polynome, Algebraische Strukturen
15.05.2012
Euklidischer Algorithmus, Lösen von Kongruenzen, Chinesischer Restesatz, Polynome (ohne DFT)
09.05.2012
Primzahlen, Teilbarkeit, modulare Arithmetik, ggT
08.05.2012
Ordnungen und Verbände
25.04.2012
Vollständige Induktion, Ordnungen und Verbände
24.04.2012
Beweise, vollständige Induktion
18.04.2012
Relationen und Abbildungen
17.04.2012
Organisation, Mengen.
