====== 6. Semester ====== ^ Wann ^ Wo ^ Was ^ | 24.07. (Do) \\ 13:45 -- 16:00 Uhr | | **Klausur** FSK | | 25.07. (Fr) \\ 14:30 -- 16:00 Uhr | | **Klausur** IPIT | ===== Formale Spezifikation und Verifikation (FSV) ===== * **HP:** [[https://www.tcs.ifi.lmu.de/lehre/ss-2014/spezi/spezi|www.tcs.ifi.lmu.de]] ([[https://www.tcs.ifi.lmu.de/lehre/ss-2014/spezi/materialien|Daten]]) * **Dozent:** [[https://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann|Martin Hofmann]] * **Übungsleiter:** [[https://www.tcs.ifi.lmu.de/mitarbeiter/ulrich-schoepp|Ulrich Schöpp]] * **Übungsbedingungen:** ??? * **Klausur:** ??? * **Klausurbedingungen:** ??? * **Inhalt:** [[.:fsv:]] ===== Intellectual Property & Information Technology (IPIT) ===== * **HP:** [[http://www.mobile.ifi.uni-muenchen.de/studium_lehre/sose14/ipit/index.html|www.mobile.ifi.uni-muenchen.de]] ([[http://lehre.mobile.ifi.lmu.de/ipit_sose14/|Daten]]) * **Dozent:** Claudia Schwarz * **Helfer**: [[http://www.mobile.ifi.uni-muenchen.de/personen/mitarbeiter/marcus/index.html|Philipp Marcus]] * **Klausur:** 25.07. (Fr); 14:30 -- 16:00 Uhr * **Klausurbedingungen:** bestehen/nicht bestehen * **Inhalt:** [[.:ipit:]] ===== Seminar ===== * **HP:** [[http://www.nm.ifi.lmu.de/teaching/Seminare/2014ss/Hauptseminar/|www.nm.ifi.lmu.de]] * **Inhalt:** [[.:seminar:]] ===== Rechnernetze und Verteilte Systeme (RN) ===== * http://www.nm.ifi.lmu.de/teaching/Vorlesungen/2014ss/rn/ ===== Mögliche Wiederholungen ===== ==== Formale Sprachen und Komplexität (FSK) ==== * **HP:** [[http://www.pms.ifi.lmu.de/lehre/info4/14ss/|www.pms.ifi.lmu.de]] * **Dozent:** [[http://www.pms.ifi.lmu.de/mitarbeiter/derzeitige/hans-juergen-ohlbach/|Hans Jürgen Ohlbach]] * **Tutorien:** [[http://www.pms.ifi.lmu.de/mitarbeiter/derzeitige/hans-juergen-ohlbach/|Hans Jürgen Ohlbach]] * **Übungsleiter:** [[http://www.pms.ifi.lmu.de/mitarbeiter/derzeitige/niels-becker/|Niels Becker]] * **Übungsbedingungen:** Freiwillig; HErausgabe: Donnerstag; Abgabe: Donenrstag * **Klausur:** 24.07 (Do); 13:45 -- 16:00 Uhr (**NACHKLAUSUR IM 8. SEMSETER!**) * **Klausurbedingungen:** Teils multiple choice; ??? * **Inhalt:** [[http://brain.muirauqa.org/users/skruppy/ext/uni/4/fsk/start|Inhalt]] ==== Lineare Modelle ==== * **HP:** [[http://www.statistik.lmu.de/~abender/limo14.html|www.statistik.lmu.de]] * **Dozent:** [[http://www.stablab.stat.uni-muenchen.de/kuechenhoff|Helmut Küchenhoff]] * **Übungsleiter:** [[http://www.statistik.lmu.de/~abender/|Andreas Bender]] * **Tutorien:** David Rügamer * **Übungsbedingungen:** ??? * **Klausur:** ??? * **Klausurbedingungen:** Open Book; Kein Taschenrechner * **Inhalt:** [[http://brain.muirauqa.org/users/skruppy/ext/uni/2/ra/start|Inhalt]] ==== Rechnerarchitektur (RA) ==== * **HP:** [[http://www.mobile.ifi.uni-muenchen.de/studium_lehre/sose14/rechnerarchitektur/index.html|www.mobile.ifi.uni-muenchen.de]] * **Dozent:** [[http://www.mobile.ifi.uni-muenchen.de/personen/mitarbeiter/linnhoff/index.html|Claudia Linnhoff-Popien]] * **Übungsleiter:** [[http://www.mobile.ifi.uni-muenchen.de/personen/mitarbeiter/marcus/index.html|Philipp Marcus]] und [[http://www.mobile.ifi.uni-muenchen.de/personen/mitarbeiter/duerrm/index.html|Michael Dürr]] * **Übungsbedingungen:** **BONUSPUNKTE** * **Klausur:** ??? * **Klausurbedingungen:** ??? * **Inhalt:** [[http://brain.muirauqa.org/users/skruppy/ext/uni/2/ra/start|Inhalt]] ==== Einführung in die Wahrscheinlichkeitsrechnung und in die induktive Statistik ==== * **HP:** [[http://www.stat.uni-muenchen.de/institut/lehrstuhl/wisoz/lehre/stat2_ss14/|www.stat.uni-muenchen.de]] * **Dozent:** [[http://www.stat.uni-muenchen.de/~cattaneo/|Marco Cattaneo]], [[http://www.statistik.lmu.de/~kauermann/|Göran Kauermann]] und [[http://www.statistik.lmu.de/~mwindmann/|Michael Windmann]] * **Übungsbedingungen:** ??? * **Klausur:** ??? * **Klausurbedingungen:** **50% BESTANDENE BLÄTTER**; Taschenrechner; Deren Formelsamlung + Handschriftliche notizen * **Inhalt:** [[http://brain.muirauqa.org/users/skruppy/ext/uni/2/ra/start|Inhalt]]