Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2014 Universität Duisburg-Essen
|
|
- Franka Fromm
- vor 7 Jahren
- Abrufe
Transkript
1 Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2014 Universität Duisburg-Essen Barbara König Übungsleitung: Sebastian Küpper Barbara König Vorlesung Modellierung nebenläufiger Systeme 1
2 Das heutige Programm: Organisatorisches Vorstellung Ablauf der Vorlesung und der Übungen Einordnung & Prüfung Literatur & Folien & Skript Einführung und Motivation: Modellierung nebenläufiger Systeme Inhalt der Vorlesung Barbara König Vorlesung Modellierung nebenläufiger Systeme 2
3 Vorstellung Dozentin: Prof. Barbara König Raum LF barbara Sprechstunde nach Vereinbarung Übungsleitung: Sebastian Küpper Raum LF Web-Seite: ns/ Barbara König Vorlesung Modellierung nebenläufiger Systeme 3
4 Erreichbarkeit Bitte verwenden Sie ab sofort nur noch Ihre offizielle Mail-Adresse der Universität Duisburg-Essen wenn Sie mit uns kommunizieren. Andere Mails werden in Zukunft nicht mehr beantwortet (Beschluss der Abteilungskonferenz). Gründe: Keine Probleme mit Spam-Filtern. Vertrauliche Auskünfte erreichen den richtigen Adressaten. Ziel: alle Studierenden sollten Ihre Universitäts-Adresse aktivieren und damit zuverlässig erreichbar sein. Weitere Informationen unter: Barbara König Vorlesung Modellierung nebenläufiger Systeme 4
5 Vorlesungstermine Termine: Montag, 10:00-12:00 Uhr, im Raum LE 120 Donnerstag, 12:00-14:00, Raum LE 120 Barbara König Vorlesung Modellierung nebenläufiger Systeme 5
6 Übung und Hausaufgaben Termin der Übung: Montag, 10:00-12:00 Uhr, im Raum LE 120 (im Wechsel mit der Vorlesung) Der erste Übungstermin ist Montag, der Das Übungsblatt wird am Montag der Vorwoche auf der Webseite bereitgestellt. Bitte bearbeiten Sie die Aufgaben bis zur darauffolgenden Übung und geben Sie die Lösungen der Testatblätter vor der jeweiligen Übung bei Herrn Küpper ab! Barbara König Vorlesung Modellierung nebenläufiger Systeme 6
7 Übung und Hausaufgaben Es gilt folgende Bonusregelung: Wenn Sie bei drei sogenannten Testatblättern 50% der Hausaufgabenpunkte erzielt haben und einmal eine Aufgabe in der Übung vorgestellt/vorgerechnet haben, so erhalten Sie einen Bonus für die Prüfung Gruppenabgabe ist nicht erlaubt. Auswirkung: Verbesserung um eine Notenstufe; z.b. von 2,3 auf 2,0 Barbara König Vorlesung Modellierung nebenläufiger Systeme 7
8 Einordnung Diese Vorlesung gehört zu mehreren Studiengängen... MAI Informatik für den Anwendungsbereich Im Master Angewandte Informatik ist diese Veranstaltung folgendermaßen eingeordnet: Informatik für den Anwendungsbereich Katalog Verteilte, Verlässliche Systeme (Nebenläufige Systeme) Stundenzahl: 4 SWS (3V + 1Ü), 6 Credits Barbara König Vorlesung Modellierung nebenläufiger Systeme 8
9 Einordnung Master ISE/CE Verteilte, Verlässliche Systeme Im Master ISE Computer Engineering ist diese Veranstaltung folgendermaßen eingeordnet: Wahlpflichtkatalog Verteilte, Verlässliche Systeme (Reliable Systems) Stundenzahl: 4 SWS (3V + 1Ü) Barbara König Vorlesung Modellierung nebenläufiger Systeme 9
10 Einordnung Unbedingte Voraussetzung! Diese Vorlesung verlangt als Voraussetzung: Automaten und Formale Sprachen... oder eine äquivalente Veranstaltung Für den relevanten Inhalt aus diesen Veranstaltungen siehe Barbara König Vorlesung Modellierung nebenläufiger Systeme 10
11 Prüfung Die Prüfung wird voraussichtlich als mündliche Prüfung stattfinden. Derzeitiger Planungsstand der Termine: 31. Juli & 1. August Barbara König Vorlesung Modellierung nebenläufiger Systeme 11
12 Literatur R. Milner: Communication and Concurrency. Prentice Hall, Prozesskalküle (CCS), Verhaltensäquivalenzen W.J. Fokkink: Introduction to Process Algebra. Springer, Prozesskalküle, Verhaltensäquivalenzen Luca Aceto, Anna Ingólfsdóttir, Kim G. Larsen, Jiri Srba: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, Prozesskalküle (CCS), Verhaltensäquivalenzen Barbara König Vorlesung Modellierung nebenläufiger Systeme 12
13 Literatur Edmund M. Clarke, Orna Grumberg, Doron A. Peled: Model Checking. MIT Press, Transitionssysteme (Kripke-Strukturen) Christel Baier, Joost-Pieter Katoen: Principles of Model Checking. MIT Press, Transitionssysteme W. Reisig: Petrinetze. Springer, Neuere Version: W. Reisig: Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien., Vieweg+Teubner, Petri-Netze Grzegorz Rozenberg: Handbook of Graph Grammars and Computing by Graph Transformation, Vol.1: Foundations, World Scientific, 1997 Graphtransformations-Systeme Barbara König Vorlesung Modellierung nebenläufiger Systeme 13
14 Literatur Elektronisch verfügbare Literatur: Davide Sangiorgi: On the origins of Bisimulation, Coinduction, and Fixed Points. Technical Report , Department of Computer Science, University of Bologna, public/history bis coind.pdf Transitionssysteme, Verhaltensäquivalenzen Tadao Murata: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, 77(4), Petri-Netze Barbara König Vorlesung Modellierung nebenläufiger Systeme 14
15 Folien & Skript Folien werden im Web bereitgestellt regelmäßig aktualisiert ähnlich zu den Folien der letzten Vorlesung sein (SS 12) Es gibt eine englische Version der Folien (bitte Tipp- und Schreibfehler melden!) Skript: Zu Teilen des Vorlesungsstoffes, der eher an der Tafel behandelt wird und von den Folien nicht so gut abgedeckt wird, gibt es ein (relativ knappes) Skript. Trotzdem kann es sinnvoll sein, wenn Sie sich während der Vorlesung eigene Notizen machen. Barbara König Vorlesung Modellierung nebenläufiger Systeme 15
Vorlesung Formale Aspekte der Software-Sicherheit und Kryptographie Sommersemester 2015 Universität Duisburg-Essen
Vorlesung Formale Aspekte der Software-Sicherheit und Kryptographie Sommersemester 2015 Universität Duisburg-Essen Prof. Barbara König Übungsleitung: Sebastian Küpper Barbara König Form. Asp. der Software-Sicherheit
MehrVorlesung Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12. Lernplattform Moodle. Wer sind wir?
Vorlesung Modellierung Modellierungsmethoden der Informatik Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Dr. Sander Bruggink Das heutige Programm Organisatorisches Vorstellung Ablauf der Vorlesung
MehrVorlesung Berechenbarkeit und Komplexität Wintersemester 2016/17. Wer sind wir? Willkommen zu
Vorlesung Berechenbarkeit und Komplexität Wintersemester 2016/17 Prof. Barbara König Übungsleitung: Sebastian Küpper Willkommen zu Berechenbarkeit und Komplexität (Bachelor Angewandte Informatik, Duisburg
MehrVorlesung Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2015
Vorlesung Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2015 Prof. Barbara König Übungsleitung: Jan Stückrath Barbara König Automaten und Formale Sprachen 1 Das heutige Programm:
MehrVorlesung Modellierung nebenläufiger Systeme Wintersemester 2009/10 Universität Duisburg-Essen
Vorlesung Modellierung nebenläufiger Systeme Wintersemester 2009/10 Universität Duisburg-Essen Barbara König Übungsleitung: Christoph Blume Barbara König Vorlesung Modellierung nebenläufiger Systeme 1
MehrPetri-Netze. Renate Klempien-Hinrichs und Caro von Totth. Wer sind wir?
Petri-Netze http://www.informatik.uni-bremen.de/theorie/teach/petri Renate Klempien-Hinrichs und Caro von Totth Wer sind wir? Wie ist der Kurs organisiert? Worum geht es? Wer sind wir? 1.1 Renate Klempien-Hinrichs
MehrBachelor Angewandte Informatik Ingenieur- und Medieninformatik (BAI) Einführungsveranstaltung SS 2017 Dr. Werner Otten
Bachelor Angewandte Informatik Ingenieur- und Medieninformatik (BAI) Einführungsveranstaltung SS 2017 Dr. Werner Otten Übersicht BAI was ist das? Wichtige Unterlagen & wo sie zu finden sind Module, Credits
MehrAngewandte Informatik, Master of Science, PO 2012
Universität Duisburg-Essen, Vorlesungsverzeichnis () Hatebur Heisel Meis König König Beckers Heisel Beckers Weis Weis Angewandte Informatik, Master of Science, PO Vertiefung der Informatik Muster- und
MehrDiskrete Strukturen WS 2010/11. Ernst W. Mayr. Wintersemester 2010/11. Fakultät für Informatik TU München
WS 2010/11 Diskrete Strukturen Ernst W. Mayr Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2010ws/ds/ Wintersemester 2010/11 Diskrete Strukturen Kapitel 0 Organisatorisches Vorlesungen:
MehrVideokonferenz-Vorlesungen Chancen und Herausforderungen
Videokonferenz-Vorlesungen Chancen und Herausforderungen Barbara König 9. Mai 2017 Hintergrund Vorstellung Prof. Dr. Barbara König Professur für Theoretische Informatik, seit 2006 Fakultät für Ingenieurwissenschaften,
MehrAnalysis. (insbesondere Modul 3 des B.Ed. in Mathematik für die Lehrämter an Realschulen Plus, Gymnasien bzw. Berufsbildenden Schulen)
Herzlich willkommen zur Vorlesung Analysis (insbesondere Modul 3 des B.Ed. in Mathematik für die Lehrämter an Realschulen Plus, Gymnasien bzw. Berufsbildenden Schulen) Hinweis. Die Folien werden unter
MehrAnalysis. (insbesondere Modul 3 des B.Ed. in Mathematik für die Lehrämter an Realschulen Plus, Gymnasien bzw. Berufsbildenden Schulen)
Herzlich willkommen zur Vorlesung Analysis (insbesondere Modul 3 des B.Ed. in Mathematik für die Lehrämter an Realschulen Plus, Gymnasien bzw. Berufsbildenden Schulen) Hinweis. Die Folien werden unter
MehrMotivation. Motivation
Vorlesung Modellierung nebenläufiger Systeme Sommersemester 2012 Universität Duisburg-Essen Was sind nebenläufige Systeme? Ganz allgemein: Systeme, bei denen mehrere Komponenten/Prozesse nebenläufig arbeiten
MehrEinführung in die Informatik für Nebenfach. Einleitung
Einführung in die Informatik für Nebenfach Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1 Vorlesung Zeit und Ort: Di+Do 11.00 13.00 Uhr, Gebäude 086, Raum 00-006 Dozent: Prof.
MehrAngewandte Informatik, Master of Science
Universität Duisburg-Essen, Vorlesungsverzeichnis () Heisel Bembenek Marrón Shih Heisel Angewandte Informatik, Master of Science Vertiefung der Informatik Echtzeitsysteme Mo 10-12, BC 523 Do 12-13, BC
MehrMathematisch-algorithmische Grundlagen für Big Data
Mathematisch-algorithmische Grundlagen für Big Data Numerische Algorithmen für Datenanalyse und Optimierung Prof. Dr. Peter Becker Fachbereich Informatik Hochschule Bonn-Rhein-Sieg Sommersemester 2017
MehrBachelor/Master Angewandte Informatik (Ingenieur- und Medieninformatik)
Vorstellung Entwicklung der Informatik Bachelor/Master (Bologna-Prozess) Studienorganisation Bachelor/Master (Ingenieur- und Medieninformatik) Prof. Abteilung für Informatik und Angewandte Kognitionswissenschaft
MehrEinführung Internet-Technologien INF3171
Fachbereich Informatik Informationsdienste Einführung Internet-Technologien INF3171 Allgemeines und Organisatorisches 11.04.2016 Organisatorisches Erreichbarkeit: thomas.walter@uni-tuebingen.de ZDV (auch
Mehr3.0 VU Formale Modellierung
3.0 VU Formale Modellierung Gernot Salzer Arbeitsbereich Theoretische Informatik und Logik Institut für Computersprachen SS 2016 1 Inhalt 0. Überblick 1. Organisation 2. Was bedeutet Modellierung? 3. Aussagenlogik
MehrBachelor Angewandte Informatik Ingenieur- und Medieninformatik (BAI) Grundstudiumseinführung WS 2010/2011. Prof. Dr. Barbara König
Bachelor Angewandte Informatik Ingenieur- und Medieninformatik (BAI) Grundstudiumseinführung WS 2010/2011 Prof. Dr. Barbara König Übersicht BAI was ist das? Wichtige Unterlagen & wo sie zu finden sind
MehrEinführung Internet-Technologien INF3171
Fachbereich Informatik Informationsdienste Einführung Internet-Technologien INF3171 Allgemeines und Organisatorisches 24.04.2017 Organisatorisches Erreichbarkeit: thomas.walter@uni-tuebingen.de ZDV (auch
MehrGrundlagen der Programmiersprachen
GPS-0-1 Grundlagen der Programmiersprachen Prof. Dr. Uwe Kastens Sommersemester 2016 Vorlesung Grundlagen der Programmiersprachen SS 2016 / Folie 001 Anfang Begrüßung Ziele GPS-0-2 Die Vorlesung soll Studierende
MehrVerteilte Betriebssysteme
Vorlesung Wintersemester 2003/2004 [CS 6930] 1 Einleitung 1 1 Dozent Prof. Dr.-Ing. Franz J. Hauck bteilung Verteilte Systeme (Prof. Dr. P. Schulthess) E-mail: hauck@informatik.uni-ulm.de Sprechstunde:
MehrEinsatz und Realisierung von Datenbanken. Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme
Einsatz und Realisierung von Datenbanken Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme kemper@in.tum.de Primärliteratur: Datenbanksysteme: Eine Einführung Alfons Kemper und Andre
MehrInformatikgrundlagen (WS 2016/2017)
Informatikgrundlagen (WS 2016/2017) Klaus Berberich (klaus.berberich@htwsaar.de) Wolfgang Braun (wolfgang.braun@htwsaar.de) 0. Organisatorisches Dozenten Klaus Berberich (klaus.berberich@htwsaar.de) Sprechstunde
MehrAMTLICHE BEKANNTMACHUNG
AMTLICHE BEKANNTMACHUNG NUMMER 2017/094 SEITEN 1-6 DATUM 07.04.2017 REDAKTION Sylvia Glaser 3. Ordnung zur Änderung der studiengangspezifischen Prüfungsordnung für den Bachelorstudiengang Informatik der
MehrEinführung in die Numerische Lineare Algebra (MA 1304)
Einführung in die Numerische Lineare Algebra (MA 1304) Vorlesung Montags, 16:15-17:45 Uhr Rudolf-Mößbauer - HS (Physik) Homepage zur Vorlesung http://www-m2.ma.tum.de/bin/view/allgemeines/numlinalgws1516
MehrA Organisatorisches A.1 A.2 A.3 A.4. 1 Dozent. 3 Einordnung ins Studium. 3.1 Studiengänge (2) 2 Übungsbetreuung. 3.1 Studiengänge
1 Dozent Prof. Dr.-Ing. Franz J. Hauck Institut für Verteilte Systeme (Prof. Dr. P. Schulthess) E-Mail: franz.hauck@uni-ulm.de, Raum O27-348 Sprechstunde: Do 16:00 bis 17:00 Uhr, Raum O27-348 A Organisatorisches
MehrEinführung in die Informatik
Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1.1 Vorlesung Zeit und Ort: Mittwochs 14.00 16.00 Uhr Gebäude 101 HS 00-026 Informationen zur Vorlesung,
MehrÜbungen zu Datenbanken
zu WS 2013/2014 Dipl.-Inform. 23./24. Oktober 2013 Kommunikation, LF 136, mjordan@is.inf.uni-due.de, LF 136, mjordan@is.inf.uni-due.de Thomas Beckers, LF 138, tbeckers@is.inf.uni-due.de Regelmäßig Webseite
MehrGrundlagen der Betriebssysteme
Grundlagen der Betriebssysteme [CS2100] Sommersemester 2014 Heiko Falk Institut für Eingebettete Systeme/Echtzeitsysteme Ingenieurwissenschaften und Informatik Universität Ulm Folie 2/14 Personen Vorlesung
MehrEinführung in die Informatik
Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1.1 Vorlesung Zeit und Ort: Mittwochs 16.00 18.00 Uhr Gebäude 101 HS 00-036 Informationen zur Vorlesung,
MehrRechnerstrukturen. Vorlesung (V4 + Ü2) im Sommersemester Prof. Dr. Felix C. Freiling. Martin Mink, Ralf Wienzek
Lehr- und Forschungsgebiet Informatik 4 Verlässliche Verteilte Systeme http://www-i4.informatik.rwth-aachen.de/lufg Rechnerstrukturen Vorlesung (V4 + Ü2) im Sommersemester 2005 Prof. Dr. Felix C. Freiling
MehrAngewandte Informatik, Master of Science
Universität Duisburg-Essen, Vorlesungsverzeichnis () Heisel Meis König Stückrath Angewandte Informatik, Master of Science Vertiefung der Informatik Distributed Systems VO, 3 SWS Do 12-15, LB 131 (5. -
MehrÜbungen zu Datenbanken
zu WS 2016/2017 Darina Benikova M.A. Michael Rist M.Sc. 26.+27. Oktober 2016 Kommunikation & Darina Benikova, LE 426, benikova@is.inf.uni-due.de Michael Rist, LE 423, rist@is.inf.uni-due.de Regelmäßig
MehrLogik für Informatiker
Logik für Informatiker Vorlesung im Sommersemester 2009 Martin Lange, Markus Latte, Matthias Andreas Benkard Institut für Informatik, LMU München 14. Mai 2009 Organisatorisches Logik für Informatiker,
MehrModulbeschreibung. Seite 1 von 5. Allgemeine Daten: Modulnummer: EI0310 Modulbezeichnung (dt.):
Modulbezeichnung (dt.): Diskrete Mathematik für Ingenieure Modulbezeichnung (en.): Discrete Mathematics for Engineers Modulniveau: BSc Kürzel: Untertitel: Semesterdauer: 1 Semester Häufigkeit: SS Sprache:
MehrInformatik I Felix Friedrich
1 Informatik I Felix Friedrich Vorlesung am D-ITET der ETH Zürich HS 2014 W i l l k o m m e n 2 zur Vorlesung Informatik I! am ITET Department der ETH Zürich. Ort und Zeit: Mittwoch 8:15-10:00, ETF E1.
MehrComputergestützte Modellierung und Verifikation
Computergestützte Modellierung und Verifikation Vorlesung mit Übungen SS 2007 Prof. F. von Henke mit Dr. H. Pfeifer Inst. für Künstliche Intelligenz Organisatorisches Vorlesung: Mi 14 16 Raum 3211 Do 14
MehrFormale Systeme. Prof. P.H. Schmitt. Winter 2007/2008. Fakultät für Informatik Universität Karlsruhe (TH) Voraussetzungen
Formale Systeme Prof. P.H. Schmitt Fakultät für Informatik Universität Karlsruhe (TH) Winter 2007/2008 Prof. P.H. Schmitt Formale Systeme Winter 2007/2008 1 / 12 Übungen und Tutorien Es gibt wöchentliche
MehrGrundlagen der Rechnerarchitektur
Grundlagen der Rechnerarchitektur [CS3100.010] Wintersemester 2014/15 Heiko Falk Institut für Eingebettete Systeme/Echtzeitsysteme Ingenieurwissenschaften und Informatik Universität Ulm Folie 2/12 Personen
MehrKapitel -1 Organisatorisches
Kapitel -1 Organisatorisches 1 Das Team Dozent: Prof. Dr. Friedrich Eisenbrand Übungsbetrieb: Dr. Kai Gehrs Tutoren Hans Biebinger Christian Heinemann Reiner Hermann Christian Michalke Thomas Rothvoß Alexander
MehrEinsatz und Realisierung von Datenbanken. Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme
Einsatz und Realisierung von Datenbanken Prof. Alfons Kemper Lehrstuhl für Informatik III: Datenbanksysteme kemper@in.tum.de Primärliteratur: Datenbanksysteme: Eine Einführung Alfons Kemper und Andre
MehrLogik für Informatiker
Logik für Informatiker Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 0. Organisatorisches Kontakt: Viorica Sofronie-Stokkermans sofronie@uni-koblenz.de Raum B 225 Sprechstunde: Montag: 16:00
MehrAngewandte Informatik - Ingenieurinformatik, Bachelor of Science
Universität Duisburg-Essen, Vorlesungsverzeichnis () Vinck Vinck Wiss. Mitarb. Hoeppner Hoeppner Angewandte Informatik - Ingenieurinformatik, Bachelor of Science 1. Fachsemester Digitaltechnische Grundlagen
MehrModulhandbuch. Brückenkurse. Sommersemester 2018
Modulhandbuch Brückenkurse Sommersemester 2018 Stand: 17. Januar 2018 Inhaltsverzeichnis 1 Grundlagen der BWL 3 2 Einführung in die Hochfrequenztechnik 5 3 Grundlagen der Mathematik 7 2 1 Grundlagen der
MehrAnwesenheit bei den Übungen. Aktive Teilnahme an den Übungen (Vorrechnen) Benotete Klausur am 4. April 2007, Uhr
Vorlesung Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard Zeit und Ort: Di+Do 11.00 13.00 Uhr, Gebäude 101, HS 026 Dozent: Prof. Dr. Wolfram Burgard
MehrAllgemeine Informationen zur Vorlesung
Allgemeine Informationen zur Vorlesung Lineare Algebra Stefan Ruzika Mathematisches Institut Universität Koblenz-Landau Campus Koblenz 11. April 2016 Stefan Ruzika Informationen 11. April 2016 1 / 9 Wenden
MehrÜbungen zu Datenbanken
zu WS 2014/2015 Dipl.-Inform. 16. Oktober 2014 Kommunikation &, LF 139, vtran@is.inf.uni-due.de Regelmäßig Webseite besuchen! http://www.is.inf.uni-due.de/courses/db_ws14/ Kommunikation Korrektur der Übungsabgaben
MehrEinführung in die Theoretische Informatik
Einführung in die Theoretische Informatik Stefan Rass System Security Research Group (syssec), Institute of Applied Informatics Alpen-Adria Universität Klagenfurt {stefan.rass}@aau.at 2017 WS 2017-09-29
MehrGültigkeit für Studienanfängerkohorte: ab WS 2012/ 2013 ab empf. Semester 1
Gültigkeit für Studienanfängerkohorte: ab WS 2012/ 2013 ab empf. Semester 1 Subject Module I mindestens 15 CTS Subject Module II mindestens 15 CTS Subject Module III mindestens 15 CTS Frei wählbar aus
MehrExperimentalphysik VI Einführung in und Grundlagen der Kern- und Teilchenphysik Prof. Markus Schumacher ALU Freiburg, Sommersemsester 2010
Experimentalphysik VI Einführung in und Grundlagen der Kern- und Teilchenphysik Prof. Markus Schumacher ALU Freiburg, Sommersemsester 2010 Vorbemerkungen Vorlesung und Übung Vorlesung: 26 Termine jeweils
MehrOrganisatorisches. Software Engineering 1 WS 2012/13. Prof. Dr.-Ing. Ina Schaefer. Institut für Softwaretechnik und Fahrzeuginformatik TU Braunschweig
Organisatorisches Software Engineering 1 WS 2012/13 Prof. Dr.-Ing. Ina Schaefer Institut für Softwaretechnik und Fahrzeuginformatik TU Braunschweig Ina Schaefer SE 1 - WS 2012/13 1 Allgemeine Informationen
MehrDatenbanken. Prof. Dr. Gerd Stumme Dipl.-Inform. Christoph Schmitz. FG Wissensverarbeitung FB Mathematik/Informatik
Datenbanken Prof. Dr. Gerd Stumme Dipl.-Inform. Christoph Schmitz FG Wissensverarbeitung FB Mathematik/Informatik 1 Organisatorisches Vorlesung Beginn: 12. April 2005 Dienstag, 14.00 16.00 Uhr, Raum 1332
MehrEinführung in die empirische Wirtschaftsforschung. Wintersemester 2017/2018 Syllabus und organisatorische Informationen
Einführung in die empirische Wirtschaftsforschung Wintersemester 2017/2018 Syllabus und organisatorische Informationen Prof. Dr. Almut Balleer Lehr- und Forschungsgebiet Empirische Wirtschaftsforschung
MehrModulbeschreibung. The course is principally designed to impart: technical skills 50%, method skills 40%, system skills 10%, social skills 0%.
Titel des Moduls: Parallel Systems Dt.: Parallele Systeme Verantwortlich für das Modul: Heiß, Hans-Ulrich E-Mail: lehre@kbs.tu-berlin.de URL: http://www.kbs.tu-berlin.de/ Modulnr.: 866 (Version 2) - Status:
MehrEinführung in die Programmierung. Organisatorisches. Skript zur Vorlesung Einführung in die Programmierung
LUDWIG- MAXIMILIANS- UNIVERSITY MUNICH DEPARTMENT INSTITUTE FOR INFORMATICS DATABASE Einführung in die Programmierung Organisatorisches Skript zur Vorlesung Einführung in die Programmierung im Wintersemester
MehrFormale Systeme. Organisatorisches. Prof. Dr. Bernhard Beckert, WS 2016/ KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2016/2017 Organisatorisches KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft Personen
MehrSEMINAR. FGI 3: Logik und Semantik von Programmen. Mi Uhr, C 221, Beginn: Rüdiger Valk
SEMINAR FGI 3: Logik und Semantik von Programmen Mi 12 14 Uhr, C 221, Beginn: 21.10.09 Rüdiger Valk Ziel des Seminars In dieser Veranstaltung werden Schlüsselqualifikationen durch selbstständiges Recherchieren,
MehrFormale Systeme. Organisatorisches. Prof. Dr. Bernhard Beckert, WS 2016/ KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft
Formale Systeme Prof. Dr. Bernhard Beckert, WS 2016/2017 Organisatorisches KIT I NSTITUT F U R T HEORETISCHE I NFORMATIK www.kit.edu KIT Die Forschungsuniversita t in der Helmholtz-Gemeinschaft Personen
MehrStudienordnung für den Studiengang Mathematik an der Technischen Universität Clausthal, Fachbereich Mathematik und Informatik. Vom 31.
Studienordnung für den Studiengang Mathematik an der Technischen Universität Clausthal, Fachbereich Mathematik und Informatik. Vom 31. März 2004 (Mitt. TUC 2004, Seite 259) Neufassung der Studienordnung
MehrProduktionswirtschaft 1
1 Dozent: Prof. Dr. Rainer Souren Vorlesung (V2) / Übung (Ü1 Folie 0/3) im Wintersemester 2016/17 Donnerstags, 9.00 10.30 Uhr (Audimax) Teilnehmer: Bachelor-Studiengänge MW / WI / WIW, Master-Studiengänge
MehrGEO-INFORMATIONSSYSTEME
LUDWIG- MAXIMILIANS- UNIVERSITY MUNICH DEPARTMENT INSTITUTE FOR INFORMATICS DATABASE GEO-INFORMATIONSSYSTEME Skript zur Vorlesung Geo-Informationssysteme Wintersemester 2015/16 Ludwig-Maximilians-Universität
MehrAlgebra/Geometrie I und Analysis I Mein Name: Prof. Vladimir Matveev
Algebra/Geometrie I und Analysis I Mein Name: Prof. Vladimir Matveev Algebra/Geometrie I und Analysis I Mein Name: Prof. Vladimir Matveev Ich bin für Algebra/Geometrie I zuständig, Algebra/Geometrie I
MehrInformationsveranstaltung. für Studierende in den Master Studiengängen
Informationsveranstaltung für Studierende in den Master Studiengängen Übersicht Überblick über den Master Studiengang Informatik Nebenfächer Prüfungsorganisation Spezialisierte Masterstudiengänge Allgemeines
MehrMaster of Engineering (Mechatronic Systems) in Kooperation mit der University of Ulster
Hochschule für angewandte Wissenschaften Hochschule Augsburg Fakultät für Elektrotechnik Prof. Dr.-Ing. Peter Kopystynski Prof. Dr.-Ing. Dr. h.c. Alfred Eder Master of Engineering (Mechatronic Systems)
MehrTheoretische Informatik 2 bzw. Formale Sprachen und Berechenbarkeit. Sommersemester Herzlich willkommen!
Theoretische Informatik 2 bzw. Formale Sprachen und Berechenbarkeit Sommersemester 2012 Prof. Dr. Nicole Schweikardt AG Theorie komplexer Systeme Goethe-Universität Frankfurt am Main Herzlich willkommen!
MehrAlgorithmen und Datenstrukturen (AuD) Prof. Dr. Claudia Eckert und Dr. Thomas Stibor
Algorithmen und Datenstrukturen (AuD) Prof. Dr. Claudia Eckert und Dr. Thomas Stibor Organisatorisches: Vorlesung 4 SWS, Zentralübung 2 SWS: 6 Credit Points Mi 9:45 11:15 Raum 1200 (Vorlesung) Do 8:00
MehrA Organisatorisches A.1 A.4
1 Dozent A Organisatorisches Prof. Dr.-Ing. Franz J. Hauck Institut für Verteilte Systeme (Prof. Dr. P. Schulthess) E-mail: franz.hauck@uni-ulm.de Web: http://www-vs.informatik.uni-ulm.de/~hauck/ Sprechstunde:
MehrErgänzung zum Modulhandbuch
Ergänzung zum Modulhandbuch des Bachelor- und Masterstudiengangs Angewandte Informatik zu den Prüfungs- und Studienordnungen von 2007 und 2008 Institut für Informatik an der Universität Bayreuth (Version
MehrZuletzt geändert durch Satzung vom 6. August 2015
Satzung des Fachbereichs Elektrotechnik und Informatik der Fachhochschule Lübeck über das Studium im Bachelor-Studiengang Informatik/Softwaretechnik (INF) (Studienordnung Informatik/Softwaretechnik (INF))
MehrGrundlagen der Rechnerarchitektur. Organisation
Grundlagen der Rechnerarchitektur Organisation Prof. Dr. Hannes Frey Raum: B 208 Mail: frey@uni koblenz.de Feste Sprechzeiten: Mi 14:00 15:00 oder am besten direkt nach der Vorlesung oder noch besser in
Mehr26.01.2009. Gliederung. Nebenläufigkeit und Fairness. 1. Nebenläufigkeit Lokalitätsprinzip. 2. Betrachtungsweisen von Nebenläufigkeit. 3.
Gliederung Lokalitätsprinzip Nebenläufigkeit und Fairness Seminar Model lchecking WS 08/09 Interleaving Halbordnung. Fairness Jan Engelsberg engelsbe@informatik.hu berlin.de Was ist Nebenläufigkeit? In
MehrMentoring für das 3. Semester
Mentoring für das 3. Semester Teresa Feldmaier Universität Stuttgart teresa.feldmaier@fmq.uni-stuttgart.de 25. Januar 2018 1 / 17 Ausblick 1 Was bringt das Mentoring? 2 Modulplan 3 Wahlfächer für das 4.
MehrProf. Dr. Th. Letschert CS5001. Verteilte Systeme. Master of Science (Informatik) - Einleitung - Th Letschert FH Gießen-Friedberg
Prof. Dr. Th. Letschert CS5001 Master of Science (Informatik) - - Th Letschert FH Gießen-Friedberg Modulnr.: CS5001 Verwendbar : Master of Science (Informatik) Master of Science (Wirtschaftsinformatik)
MehrSondertermin in der ersten Woche (statt Übungen) Webseite der Lehrveranstaltung www4.informatik.uni-erlangen.de/lehre/ss05/v_sos1/
B Organisatorisches B Organisatorisches B-1 Vorlesungsbetrieb Vorlesungstermine Montag 10:15-11:45 H7 Donnerstag 16:00-17:30 H7 Sondertermin in der ersten Woche (statt Übungen) Mittwoch 16:00-17:30 H7
MehrWarum Modellierung? OE-Vorlesung 2016 Einführung in Petrinetze. Was ist ein Modell? Und warum Petrinetze? Petrinetze sind ein Modellierungswerkzeug.
Warum Modellierung? OE-Vorlesung 016 Einführung in Petrinetze Dr. Lawrence Cabac cabac@informatik.uni-hamburg.de Folien: Dr. Frank Heitmann Fachbereich Informatik Universität Hamburg Petrinetze sind ein
MehrInformationsveranstaltung. für Studierende in den Master Studiengängen
Informationsveranstaltung für Studierende in den Master Studiengängen Übersicht Überblick über den Master Studiengang Informatik Anwendungsfächer Prüfungsorganisation Spezialisierte Masterstudiengänge
MehrGrundlagen von Datenbanken. Wolfram Wingerath, Steffen Friedrich, Fabian Panse Informationssysteme (ISYS)
Grundlagen von Datenbanken Wolfram Wingerath, Steffen Friedrich, Fabian Panse Informationssysteme (ISYS) Organisatorisches Arbeitsmaterial: http://vsis-www.informatik.uni-hamburg.de/teaching/ws-15.16/gdb
MehrÜberblick und Allgemeines
Vorlesung Schaltungstechnik Ziele der Vorlesung und Organisatorisches Roland Thewes TU Berlin Sommersemester 2016 1 Vorlesung und Übung Schaltungstechnik Kapitel 1 Überblick und Allgemeines Roland Thewes
MehrMathematik für Ingenieure Teil A: CE, EEI, ET, IuK, ME. Information zur Vorlesung und Übung. PD Dr. Markus Bause
Mathematik für Ingenieure Teil A: CE, EEI, ET, IuK, ME Information zur Vorlesung und Übung PD Dr. Markus Bause Universität Erlangen-Nürnberg Department Mathematik bause@am.uni-erlangen.de http://www1.am.uni-erlangen.de/
MehrInformations- und Kommunikationssysteme
Informations- und Kommunikationssysteme Zweiter Teil (zeitlich erster) Präambel! Wer sind wir?! Kurzübersicht Kommunikationssysteme! Formalitäten (Ressourcen, Prüfung) http://www.tu-ilmenau.de/telematik/lehre
MehrSoftwaretechnik. Überblick I. Prof. Dr. Rainer Koschke. Sommersemester 2007
Softwaretechnik Prof. Dr. Rainer Koschke Fachbereich Mathematik und Informatik Arbeitsgruppe Softwaretechnik Universität Bremen Sommersemester 2007 Überblick I 1 Vorbemerkungen Vorbemerkungen: Vorbemerkungen
MehrSoftwaretechnik. Prof. Dr. Rainer Koschke. Sommersemester Fachbereich Mathematik und Informatik Arbeitsgruppe Softwaretechnik Universität Bremen
Softwaretechnik Prof. Dr. Rainer Koschke Fachbereich Mathematik und Informatik Arbeitsgruppe Softwaretechnik Universität Bremen Sommersemester 2007 Überblick I 1 Vorbemerkungen Vorbemerkungen: Vorbemerkungen
MehrAMTLICHE BEKANNTMACHUNG
AMTLICHE BEKANNTMACHUNG NUMMER 2016/073 SEITEN 1-6 DATUM 25.07.2016 REDAKTION Glaser Berichtigung der 1. Ordnung zur Änderung der studiengangspezifischen Prüfungsordnung für den Bachelorstudiengang Informatik
MehrAG-F2 Georisiken / Modellierung. A) Georisiken und Massenbewegungen (2 V/Ü) oder B) 3D Modellierung (3 V/Ü) Prof. Dr. J. Rohn
1 Modulgruppe mit Wahlpflichtmodulen A und B AG-F2 Georisiken / Modellierung 2 Lehrveranstaltungen Wahlpflichtmodule A) Georisiken und Massenbewegungen (2 V/Ü) oder B) 3D Modellierung (3 V/Ü) 2,5 ECTS
MehrLogik für Informatiker
Logik für Informatiker Viorica Sofronie-Stokkermans e-mail: sofronie@uni-koblenz.de 1 0. Organisatorisches Kontakt: Viorica Sofronie-Stokkermans sofronie@uni-koblenz.de Sprechstunde: Mittwoch: 16:00 (Anmeldung
MehrDiskrete Strukturen WS 2012/13. Ernst W. Mayr. Wintersemester Fakultät für Informatik TU München
WS 2012/13 Diskrete Strukturen Ernst W. Mayr Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2012ws/ds/ Wintersemester 2012 Diskrete Strukturen Kapitel 0 Organisatorisches Vorlesung: Di
MehrFachbereich Informatik und Medien
Fachbereich Informatik und Medien Studiengang Bachelor Medieninformatik Erstsemesterinfo SS 2016 Übersicht Ansprechpersonen im Studiengang Aufbau des Studiengangs Stundenpläne Belegen von Modulen Beuth
MehrKlassische Experimentalphysik II
Klassische Experimentalphysik II SS 2014 Dozent: Prof. Übungsleitung: Dr. Martin Weides Modul 5520 Beschreibung Lernziele: Verständnis der experimentellen Grundlagen und deren mathematischer Beschreibung
MehrHerzlich willkommen!!!
Theoretische Informatik 2 Sommersemester 2013 Prof. Dr. Georg Schnitger AG Theoretische Informatik Johann Wolfgang Goethe-Universität Frankfurt am Main Herzlich willkommen!!! 1 / 19 Kapitel 1: Einführung
MehrAlgorithmen und Datenstrukturen
Algorithmen und Datenstrukturen Steffen Börm Christian-Albrechts-Universität zu Kiel Sommersemester 2013 S. Börm (CAU Kiel) Algorithmen und Datenstrukturen Sommersemester 2013 1 / 9 Ansprechpartner Hauptverantwortlicher:
MehrVeranstaltungen, SWS, ECTS, Prüfungsdauer
Anhang 1: 1 2 3 4 5 6 7 8 9 10 Veranstaltungen, SWS, ECTS, Pflichtveranstaltungen in Grundstudium Veranstaltung SWS ECTS (Klausur) (mündl.) Einführung in die Informatik I (LMU/TUM Alt) # 4V+3Ü 9 135-225
MehrEvaluationsergebnisse: 'Formale Spezifikation und Verifikation' (ss08) - Bernhard Beckert. Studiengang. 1 Diplom / Informatik mit Nebenfach 7 x
Evaluationsergebnisse: 'Formale Spezifikation und Verifikation' (ss08) - Bernhard Beckert Studiengang Ich studiere z.zt. im Studiengang 1 Diplom / Informatik mit Nebenfach 7 x 2 Diplom / Informatik mit
MehrVorlesung Makroökonomik I SS Prof. Dr. Ansgar Belke Makroökonomik I Sommersemester 2009 Folie 1
Vorlesung Makroökonomik I SS 2009 Prof. Dr. Ansgar Belke Makroökonomik I Sommersemester 2009 Folie 1 Kontaktdaten Professur für Makroökonomik Univ.-Prof. Dr. Ansgar Belke Torben Hendricks, Master Econ.
MehrDatenbanken. Prof. Dr. Gerd Stumme Dr. Andreas Hotho Dipl.-Inform. Christoph Schmitz. FG Wissensverarbeitung FB Mathematik/Informatik
Datenbanken Prof. Dr. Gerd Stumme Dr. Andreas Hotho Dipl.-Inform. Christoph Schmitz FG Wissensverarbeitung FB Mathematik/Informatik 1 Organisatorisches Vorlesung Beginn: 17. April 2006 Dienstag, 14.15
MehrEinführungsveranstaltung für den Lehramtsstudiengang Mathematik (Bachelor/Master)
Einführungsveranstaltung für den Lehramtsstudiengang Mathematik (Bachelor/Master) Prof. Sebastian Walcher, Dr. Wolfgang Herff 11. Oktober 2016 S. Walcher, W. Herff (Fachgr. Math.) Einführungsveranst. Lehramt
MehrHerzlich willkommen!!!
Theoretische Informatik 2 Sommersemester 2015 Prof. Dr. Georg Schnitger AG Theoretische Informatik Goethe-Universität Frankfurt am Main Herzlich willkommen!!! 1 / 19 Kapitel 1: Einführung Einführung 2
MehrGrundlagen der Bildverarbeitung: Informationen zur Übung
Grundlagen der Bildverarbeitung: Informationen zur Übung Michael Korn Raum: BC 414, Tel.: 0203-379 - 3583, E-Mail: michael.korn@uni-due.de Michael Korn (michael.korn@uni-due.de) GBV: Informationen zur
Mehr