Vorlesungsverzeichnis (WiSe 2014/15)

Seitenansicht wählen:  kurz mittel lang

---

Vorlesungsverzeichnis

Bachelor (inkl. Optionalbereich)

Informatik (KB)

Einführungsveranstaltungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 81871 STEP - STudentenEinführungsPhase der Fachschaft für Studienanfänger der Informatikstudiengänge (Bachelor)   -   Fachschaft Informatikstudiengänge Einführungsveranstaltung 81882 Einführungsveranstaltung Informatik für Studienanfänger Bachelor   -   Hein ,  Breinig Einführungsveranstaltung 81883 Einführungsveranstaltung Informatik (nicht für Studienanfänger Bachelor)   -   Dozent*innen/Informatik Einführungsveranstaltung

Grundvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 81814 Grundzüge der Theoretischen Informatik   -   Bläser Grundvorlesung 81815 Grundzüge von Algorithmen und Datenstrukturen   -   Seidel Grundvorlesung 81816 Programmierung 1   -   Finkbeiner Grundvorlesung 81818 Perspektiven der Informatik   -   Dozent*innen/Informatik Vorlesung 82800 Mathematik für Informatiker III   -   Zähle Vorlesung 83279 Mathematik für Informatiker I   -   Hein Vorlesung

Proseminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 82442 Security and Privacy - A Beginner's Guide   -   Maffei Proseminar 83045 Datenschutz in Technik und Recht   -   Sorge Proseminar 83156 Proseminar Naturinspirierte Optimierungmethoden   -   Weickert ,  Schmidt Proseminar

Stammvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 81902 Distributed Systems   -   Druschel Vorlesung / Übung 81908 Security   -   Maffei Vorlesung / Übung 81914 Telecommunications I   -   Herfet Vorlesung / Übung 81915 Computer Graphics   -   Slusallek Vorlesung / Übung 82000 Computer Architecture 1   -   Paul Vorlesung / Übung 82012 Automated Reasoning   -   Weidenbach Vorlesung / Übung 82013 Verification   -   Hermanns Vorlesung / Übung 82027 Algorithms and Data Structures   -   Kerber ,  Hoefer Vorlesung / Übung 82033 Computer Algebra   -   Sagraloff Vorlesung / Übung 82443 Database Systems   -   Dittrich Vorlesung / Übung 82990 Machine Learning   -   Fritz ,  Andres Vorlesung / Übung

Vertiefungsvorlesungen

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 80121 Speech Technology - Pattern and Speech Recognition   -   Klakow Vorlesung / Übung 80908 Entscheidung und Information   -   Schmidt ,  Holländer Vorlesung / Übung 80938 Grundlagen der Optimierung (Basics of Optimization)   -   Schmidt ,  Dochow Vorlesung / Übung 80954 Anwendung der Optimierung (Application of Optimization)   -   Schmidt ,  Dochow Vorlesung / Übung 81812 Software Reverse Engineering   -   Rossow Blockvorlesung 82057 Future Media Internet   -   Herfet Weiterführende Vorlesung 82417 Static Programm Analysis   -   Reineke ,  Hack ,  Hammer Weiterführende Vorlesung 82418 Automatic Planning   -   Hoffmann Weiterführende Vorlesung 82431 Quantitative Model Checking   -   Krcál Weiterführende Vorlesung 82432 Project Management and Execution   -   Knop ,  Bayer ,  Thaler Vorlesung 82444 Modelling and Simulation   -   Bortolussi Weiterführende Vorlesung 82447 Probabilistic Graphical Models and their Applications   -   Schiele Weiterführende Vorlesung 82760 Public-Key Encryption   -   Schröder Blockvorlesung 82877 Convex Analysis for Image Processing   -   Weickert ,  Hoeltgen Weiterführende Vorlesung 82883 Image Compression   -   Peter ,  Weickert Spezialvorlesung 83044 IT Forensics   -   Sorge Weiterführende Vorlesung 83055 Text-to-speech synthesis   -   Möbius Vorlesung 83091 Algorithmische Zahlentheorie (Computational Number Theory)   -   Schulze-Pillot-Ziemen Vorlesung 83096 Differential Equations in Image Processing and Computer Vision   -   Weickert Vorlesung 83278 Applied Cryptography   -   Kate Weiterführende Vorlesung 83325 Advanced Image Analysis   -   Weickert Vorlesung 83329 Advanced Topics in Information Retrieval   -   Berberich Weiterführende Vorlesung 83330 Theory of Distributed Systems   -   Lenzen Weiterführende Vorlesung 83331 Integer Programming   -   Karrenbauer Weiterführende Vorlesung 83515 Perception in Computer Graphics   -   Myszkowski ,  Ritschel Weiterführende Vorlesung 83582 An Introduction to TLA +   -   Lu Weiterführende Vorlesung 83585 Computational Logic II   -   Smolka Weiterführende Vorlesung 83652 Statistical Learning   -   Lengauer Spezialvorlesung 83977 Type Systems for Security Verification   -   Maffei Blockvorlesung 83993 Satisfy my Circuits: Algorithms for the Satisfiability Problem   -   Dell Weiterführende Vorlesung

Seminare

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 82441 Reading Group in Algorithms (A)   -   Mehlhorn Seminar 82698 Tomography as an Inverse Rendering Problem   -   Slusallek Seminar 83060 The Fillmore Files - Outstanding linguistic contributions by an OWL   -   Kleinbauer Seminar / Hauptseminar 83061 Discourse Phenomena Seminar / Hauptseminar 83068 Voicebuilding for Text-to-speech Synthesis   -   Steiner Blockseminar 83155 Hauptseminar Surface Processing: Theory and Applications   -   Weickert ,  Schmidt Hauptseminar 83440 Gamified Life: Integration of Gamification elements into everyday life   -   Lessel Seminar 83558 Browser Security   -   Hammer Seminar 83643 Probabilistic Methods for the Analysis of Next Generation Sequencing   -   Schulz Blockseminar 83673 Automated Debugging   -   Zeller ,  Galeotti Seminar 83726 Multi-View Data Mining   -   Miettinen Blockseminar 83730 Database Systems 2   -   Dittrich Seminar 83731 Computer-based educational technologies   -   Sosnovsky Seminar 83746 Heuristic Search for MDPs   -   Hoffmann Blockseminar 83808 Logics in Security   -   Garg Seminar 83818 Information Theory   -   Vreeken Seminar 84877 System Security Reading Group   -   Maffei ,  Rossow Seminar

Freie Leistungspunkte (Soft Skills/Language/Lab)

		Vst.-Nr. Veranstaltung Vst.-Art Aktion 80120 Grundlagen der Signalverarbeitung   -   Klakow Vorlesung / Übung 81817 Grundlagen der Medieninformatik   -   Krüger Grundvorlesung 82445 Unix-Kurs für Unix/Linux-Einsteiger   -   Spurk Kurs belegen/abmelden 83073 Relationsextraktion mit RapidMiner   -   Klakow Softwareprojekt