Vorlesung Automaten und Formale Sprachen Sommersemester 2018
|
|
- Alma Fried
- vor 5 Jahren
- Abrufe
Transkript
1 Vorlesung Automaten und Formale Sprachen Sommersemester 2018 Prof. Barbara König Übungsleitung: Christina Mika-Michalski Barbara König Automaten und Formale Sprachen 1
2 Das heutige Programm: Organisatorisches Vorstellung Ablauf der Vorlesung und der Übungen Prüfung & Klausur Literatur & Folien Einführung und Motivation: Automaten und Formale Sprachen Inhalt der Vorlesung Barbara König Automaten und Formale Sprachen 2
3 Wer sind wir? Dozentin: Prof. Barbara König Raum LF barbara Übungsleitung: Christina Mika-Michalski Raum LF 261 Web-Seite: Barbara König Automaten und Formale Sprachen 3
4 Vorlesungstermine Termin: Dienstag, 12:15-13:45 Uhr im Raum LB 104 Barbara König Automaten und Formale Sprachen 4
5 Termine der Übungsgruppen Übungsgruppen: Gruppe Tag Uhrzeit Raum Sprache 1 Di 8:00 10:00 LE 120 Englisch 2 Di 16:00 18:00 LE 103 Deutsch 3 Mi 10:00 12:00 LB 117 Deutsch 4 Mi 12:00 14:00 LC 137 Deutsch 5 Mi 12:00 14:00 LK 063 Deutsch 6 Fr 10:00 12:00 LC 137 Deutsch Barbara König Automaten und Formale Sprachen 5
6 Hinweise zu den Übungen Die Übungen beginnen in der dritten Vorlesungswoche am Dienstag, den 24. April. Bitte versuchen Sie, sich möglichst gleichmäßig auf die Übungen zu verteilen. Besuchen Sie die Übungen! Diesen Stoff kann man nur durch regelmäßiges Üben erlernen. Auswendiglernen hilft nicht besonders viel. Die Übungsblätter (in Deutsch und Englisch) werden jeweils am Dienstag der Vorwoche ins Netz gestellt. Das erste Übungsblatt wird am bereitgestellt. Barbara König Automaten und Formale Sprachen 6
7 Hinweise zu den Übungen Abgabe der gelösten Aufgaben bis Dienstag der folgenden Woche, 8:15 Uhr. Einwurf in den Briefkasten neben dem Raum LF 259. Bitte geben Sie auf Ihrer Lösung deutlich die Vorlesung, Ihren Namen, Ihre Matrikelnummer und Ihre Gruppennummer an. Sie dürfen in Zweier-Gruppen abgeben. Plagiate oder das Kopieren alter Musterlösungen sind selbstverständlich nicht erlaubt! In diesem Fall vergeben wir keine Punkte. Barbara König Automaten und Formale Sprachen 7
8 Tutorium Die Vorlesung wird von einem Tutorium begleitet, das von Christina Mika-Michalski gehalten wird. Termin: Donnerstag, 14:00 16:00, LK 052 Das Tutorium beginnt in der dritten Semesterwoche. Die Teilnahme ist nicht verpflichtend. Barbara König Automaten und Formale Sprachen 8
9 Hinweise zu den Übungen Wir verwenden Moodle, um: die Aufgabenblätter zur Verfügung zu stellen und um Diskussionsforen bereitzustellen. Moodle-Plattform an der Universität Duisburg-Essen: (siehe auch Link auf der Webseite) Tragen Sie sich in den Kurs Automaten und Formale Sprachen 2018 (Sommersemester 2018 Ingenieurwissenschaften Informatik und Angewandte Kognitionswissenschaft) ein. Bitte mit Uni-Kennung anmelden! Zugangsschlüssel:... Barbara König Automaten und Formale Sprachen 9
10 Prüfung Es gibt mehrere Möglichkeiten, die Vorlesung prüfen zu lassen... Klausur (für BAI & ISE & Nebenfach-Studierende). Termin: 17. August 2018, 15:30 Uhr Mündliche Prüfung (für BAIs, die diese Vorlesung mündlich prüfen lassen; Alternative: mündliche Prüfung in Rechnernetze und Sicherheit ) Voraussichtlicher Termin: August 2018 Im Allgemeinen findet diese mündliche Prüfung als Kombiprüfung/Modulprüfung Theoretische Informatik gemeinsam mit Berechenbarkeit und Komplexität statt. Es gibt Ausnahmen für Studierende, die im Sommersemester beginnen und beide Vorlesungen in größerem Abstand hören. Anmeldung über das Prüfungsamt Barbara König Automaten und Formale Sprachen 10
11 Prüfung Wenn Sie 50% der Übungspunkte erzielt haben, so erhalten Sie einen Bonus für die Prüfung. (Für das Vorrechnen in der Übung gibt es 10 Extrapunkte.) Auswirkung: Verbesserung um eine Notenstufe; z.b. von 2,3 auf 2,0 Bonuspunkte aus dem SS 2017 (oder früher) gelten nicht mehr! Für die mündliche Modulprüfung Theoretische Informatik (Kombiprüfung) ist es erforderlich, den Bonus für jede der beiden Vorlesungen ( Automaten und Formale Sprachen & Berechenbarkeit & Komplexität ) zu erzielen, um eine bessere Note zu erhalten. Der Bonus ist keine Voraussetzung für die Teilnahme an einer Prüfung. Barbara König Automaten und Formale Sprachen 11
12 Literatur Die Vorlesung basiert im wesentlichen auf folgendem Buch: Uwe Schöning: Theoretische Informatik kurzgefaßt. Spektrum, (5. Auflage) Weitere relevante Bücher: Neuauflage eines alten Klassikers: Hopcroft, Motwani, Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, Auf Deutsch: Hopcroft, Motwani, Ullman: Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie, Pearson, Vossen, Witt: Grundkurs Theoretische Informatik, vieweg, Asteroth, Baier: Theoretische Informatik, Pearson, Barbara König Automaten und Formale Sprachen 12
13 Literatur Barbara König Automaten und Formale Sprachen 13
14 Literatur Barbara König Automaten und Formale Sprachen 14
15 Literatur Barbara König Automaten und Formale Sprachen 15
16 Folien Folien werden auf der Webseite bereitgestellt regelmäßig aktualisiert Die Folien werden sich gegenüber dem Jahr 2016 nur leicht verändern. Sie können daher bei Bedarf auf die Folien des Vorjahrs zurückgreifen ( Unter gibt es auch eine englische Übersetzung der Folien aus dem Jahr Barbara König Automaten und Formale Sprachen 16
17 Studie zum Thema e-learning Im Rahmen der Vorlesung im Sommersemester 2018 wird eine Studie zu e-learning durch einen Mitarbeiter der TU Berlin durchgeführt. Es geht darum, Online-Lerneinheiten zum Stoff zu bearbeiten und anschließend einen Fragebogen auszufüllen. Die Teilnahme ist freiwillig. Mehr dazu ab Mitte Mai. Barbara König Automaten und Formale Sprachen 17
Vorlesung 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 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 Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen. Wintersemester 2013/14
Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: und effiziente Algorithmen Wintersemester 2013/14 Prof. Barbara König Übungsleitung: Henning Kerstan & Sebastian Küpper Barbara
MehrVorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: Komplexitätstheorie und effiziente Algorithmen. Wintersemester 2011/12
Vorlesung Berechenbarkeit und Komplexität alias Theoretische Informatik: und effiziente Algorithmen Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Jan Stückrath Barbara König BeKo/TI 1 Willkommen
MehrVorlesung Logik Wintersemester 2015/16 Universität Duisburg-Essen
Vorlesung Logik Wintersemester 2015/16 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Dr. Harsh Beohar Barbara König Logik 1 Barbara König Logik 2 Das heutige Programm: Organisatorisches
MehrVorlesung Logik Wintersemester 2016/17 Universität Duisburg-Essen
Vorlesung Logik Wintersemester 2016/17 Universität Duisburg-Essen Barbara König Übungsleitung: Dennis Nolte, Harsh Beohar Barbara König Logik 1 Das heutige Programm: Organisatorisches Vorstellung Ablauf
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 Modellierung Modellierungsmethoden der Informatik. Wintersemester 2011/12
Vorlesung Modellierung Modellierungsmethoden der Informatik Wintersemester 2011/12 Prof. Barbara König Übungsleitung: Dr. Sander Bruggink Barbara König Modellierung 1 Das heutige Programm Organisatorisches
MehrAutomaten und Formale Sprachen alias Theoretische Informatik. Sommersemester 2012
Automaten und Formale Sprachen alias Theoretische Informatik Sommersemester 2012 Dr. Sander Bruggink Übungsleitung: Jan Stückrath Sander Bruggink Automaten und Formale Sprachen 1 Wer sind wir? Dozent:
MehrVorlesung 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 nebenläufiger Systeme Sommersemester 2014 Universität Duisburg-Essen
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 Das
MehrVorlesung Modellierung Wintersemester 2014/15. Organisatorisches (Folien teilw. von Prof. B. König) Wer sind wir? Wer sind wir? Das heutige Programm
Vorlesung Modellierung Wintersemester 2014/15 Organisatorisches (Folien teilw. von Prof. B. König) Prof. Norbert Fuhr Übungsleitung: Thomas Beckers Das heutige Programm Organisatorisches Vorstellung Ablauf
MehrVorlesung Modellierung Wintersemester 2014/15. Organisatorisches (Folien teilw. von Prof. B. König)
Vorlesung Modellierung Wintersemester 2014/15 Organisatorisches (Folien teilw. von Prof. B. König) Prof. Norbert Fuhr Übungsleitung: Thomas Beckers 1 / 23 Das heutige Programm Organisatorisches Vorstellung
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
MehrInformatik III. 1. Motivation und Organisation. Christian Schindelhauer
1. Motivation und Organisation Albert-Ludwigs-Universität Freiburg Institut für Informatik Wintersemester 2007/08 1 Organisation Motivation 2 2 Inhalt Endliche Automaten und Formale Sprachen Berechenbarkeitstheorie
MehrInformatik IV Theoretische Informatik
Informatik IV Theoretische Informatik Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit Sommersemester 2019 Dozent: Prof. Dr. J. Rothe im Wechsel mit Jun.-Prof. Dr. D. Baumeister Prof.
MehrTheoretische Informatik
Theoretische Informatik Wintersemester 2016/2017 2V, Mittwoch, 12:00-13:30 Uhr, F303 2Ü, Dienstag, 12:00-13:30 Uhr, BE08 2Ü, Dienstag, 15:00-16:30 Uhr, B212 2Ü, Mittwoch, 8:30-10:00 Uhr, B312 Fachprüfung:
MehrTheoretische Informatik II
Theoretische Informatik II Sommersemester 2006 Christoph Kreitz / Holger Arnold Theoretische Informatik http://www.cs.uni-potsdam.de/ti/lehre/06-theorie-ii 1. Das Team 2. Lernziele und Lehrinhalte 3. Organisatorisches
MehrTheoretische Informatik II
Theoretische Informatik II Sommersemester 2006 Christoph Kreitz / Holger Arnold Theoretische Informatik http://www.cs.uni-potsdam.de/ti/lehre/06-theorie-ii 1. Das Team 2. Lernziele und Lehrinhalte 3. Organisatorisches
MehrDank. Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I. Kontakt. Teil I. Einführung.
Dank Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Diese Vorlesungsmaterialien basieren ganz wesentlich auf den Folien zu den Vorlesungen
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!
MehrTheoretische Informatik: Berechenbarkeit und Formale Sprachen
Theoretische Informatik: Berechenbarkeit und Formale Sprachen Prof. Dr. F. Otto Fachbereich Elektrotechnik/Informatik, Universität Kassel 34109 Kassel, Germany E-mail: otto@theory.informatik.uni-kassel.de
MehrEinführung in die theoretische Informatik
SS 2015 Einführung in die theoretische Informatik Ernst W. Mayr Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2015ss/theo/ Sommersemester 2015 THEO Kapitel 0 Organisatorisches Vorlesungen:
MehrEinführung in die Informatik IV
SS 2006 Einführung in die Informatik IV Ernst W. Mayr Fakultät für Informatik TU München http://www14.in.tum.de/lehre/2006ss/info4/ Sommersemester 2006 c Ernst W. Mayr Kapitel 0 Organisatorisches Vorlesungen:
MehrTheoretische Informatik: Berechenbarkeit und Formale Sprachen
Theoretische Informatik: Berechenbarkeit und Formale Sprachen Prof. Dr. F. Otto Fachbereich Elektrotechnik/Informatik, Universität Kassel 34109 Kassel, Germany E-mail: otto@theory.informatik.uni-kassel.de
MehrWS 2013/14. Diskrete Strukturen: Organisation
WS 2013/14 Diskrete Strukturen: Organisation Prof. Dr. Javier Esparza Dr. Michael Luttenberger Dr. Werner Meixner Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät
MehrAutomaten und Formale Sprachen
Automaten und Formale Sprachen Einführung Ralf Möller Hamburg Univ. of Technology Übung Fr. 14:30-15:15 Max Berndt, D1025 Literatur Gottfried Vossen, Kurt-Ulrich Witt: Grundkurs Theoretische Informatik,
MehrHardwarearchitekturen und Rechensysteme
Lehrstuhl für Eingebettete Systeme Hardwarearchitekturen und Rechensysteme Sommersemester 2009 Folien zur Vorlesung Hardwarearchitekturen und Rechensysteme von Prof. Dr. rer. nat. U. Brinkschulte Prof.
MehrTheoretische Informatik: Berechenbarkeit und Formale Sprachen
Theoretische Informatik: Berechenbarkeit und Formale Sprachen Prof. Dr. F. Otto Fachbereich Elektrotechnik/Informatik, Universität Kassel 34109 Kassel, Germany E-mail: otto@theory.informatik.uni-kassel.de
MehrTheoretische Informatik
Theoretische Informatik H. Peter Gumm Philipps-Universität Marburg Sommersemester 2008 Inhalt 1. Automatentheorie und Formale Sprachen Überblick: Sprachen und Compiler Reguläre Sprachen und Endliche Automaten
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
MehrTheoretische Informatik
Theoretische Informatik Sommersemester 2004 Christoph Kreitz Theoretische Informatik, Raum 1.18, Telephon 3060 kreitz@cs.uni-potsdam.de http://www.cs.uni-potsdam.de/ti/kreitz 1. Themen und Lernziele 2.
MehrEinführung in die Programmierung
Einführung in die Programmierung Organisatorisches Prof. Dr. Peer Kröger, Florian Richter, Michael Fromm Wintersemester 2018/2019 Allgemeine Informationen zum Studium Studiengangskoordinator (Hauptfach
MehrWS 2015/16 Diskrete Strukturen Organisatorisches
WS 2015/16 Diskrete Strukturen Organisatorisches Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_15
MehrPhysik I Dynamik der Teilchen und Teilchensysteme
Westfälische Wilhelms-Universität Münster Wintersemester 2016/17 Physik I Dynamik der Teilchen und Teilchensysteme Peter Krüger, Alexander Kappes http://www.uni-muenster.de/physik.ft/studium/ aktuellessemester/physik1-116116.html
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,
MehrInformationen zur Veranstaltung Datenbanken
Informationen zur Veranstaltung WS 2018/2019 Ioannis Karatassis M.Sc. Dipl.-Inform. Vu Tran 11. Oktober 2018 Kommunikation Übung Ioannis Karatassis, LF 138, karatassis@is.inf.uni-due.de Vu Tran, LF 140,
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
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
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
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
MehrInformatik II Algorithmen & Datenstrukturen
lausthal Informatik II Algorithmen & Datenstrukturen Organisatorisches. Zachmann lausthal University, ermany zach@in.tu-clausthal.de Ziel der Vorlesung 1. Eine (kleine) Anzahl von sehr grundlegenden Algorithmen
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
MehrEinführung in die Programmierung Wintersemester 2008/09
Einführung in die Programmierung Wintersemester 2008/09 Prof. Dr. Günter Rudolph Lehrstuhl für Algorithm Engineering (LS 11) Fakultät für Informatik TU Dortmund Gliederung Organisatorisches Technisches
MehrSeminar Spiele in der Informatik (BAI-Seminar & BAI-Seminar) Organisatorisches & Tipps zum Halten eines Vortrags
Seminar Spiele in der Informatik (BAI-Seminar & BAI-Seminar) Organisatorisches & Tipps zum Halten eines Vortrags Barbara König, Harsh Beohar, Benjamin Cabrera, Richard Eggert, Christina Mika-Michalski,
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
MehrAlgorithmentheorie 1. Vorlesung
Algorithmentheorie 1. Vorlesung Martin Dietzfelbinger 6. April 2006 FG KTuEA, TU Ilmenau AT 06.04.2006 Methode, Material Vorlesung Vorlesungsskript (Netz, Copyshop) Folien (im Netz) Vorlesung nachbereiten!
MehrPersonen. Grundlagen der Programmierung 2. Webseite und . Vorlesung
Personen Grundlagen der Programmierung 2 Oganisatorisches Prof. Dr. Manfred Schmidt-Schauß (Künstliche Intelligenz und Softwaretechnologie) Dr. Karsten Tolle (Datenbanken und Informationssysteme) Teil
MehrFormale Systeme, Automaten, Prozesse
Formale Systeme, Automaten, Prozesse Peter Rossmanith Theoretische Informatik, RWTH Aachen 28. April 2009 Organisatorisches Termine (Folie 1, Seite 1 im Skript) Vorlesung Dienstags, 8:15-9:00 Uhr, Grüner
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:
MehrEndliche Automaten. Grundlagen: Alphabet, Zeichenreihe, Sprache. Karin Haenelt
Endliche Automaten Grundlagen: Alphabet, Zeichenreihe, Sprache Karin Haenelt 1 Alphabet, Zeichenreihe und Sprache Alphabet unzerlegbare Einzelzeichen Verwendung: als Eingabe- und Ausgabezeichen eines endlichen
MehrVorlesung Algorithmen und Datenstrukturen (Wintersemester 2017/2018)
Lehrstuhl für Informatik I Algorithmen, Komplexität und wissensbasierte Systeme Universität Würzburg Würzburg, den 31. Januar 2018 Prof. Dr. Alexander Wolff Fabian Lipp, M. Sc. Andre Löffler, M. Sc. Johannes
MehrVorlesung Programmieren
Vorlesung Programmieren Organisation Dr. Dennis Pfisterer Institut für Telematik, Universität zu Lübeck http://www.itm.uni-luebeck.de/people/pfisterer Ziele dieser Veranstaltung Ziel: Wissen, wie man Computerprogramme
MehrEinführung in die Programmierung
Einführung in die Programmierung Prof. Dr. Peer Kröger, Janina Bleicher, Florian Richter Ludwig-Maximilians-Universität München, Institut für Informatik, LFE Datenbanksysteme Wintersemester 2016/2017 Peer
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 Informatik: Programmierung und Softwareentwicklung
Einführung in die Informatik: Programmierung und Softwareentwicklung Wintersemester 2018/19 Begrüßung Prof. Dr. David Sabel und Dr. Philipp Wendler WS 2018/19 Personen Vorlesung: Prof. Dr. David Sabel
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
MehrTheoretische Informatik II
Theoretische Informatik II Wintersemester 2003 Christoph Kreitz / Eva Richter Theoretische Informatik, Raum 1.19, Telephon 3064 {kreitz,erichter}@cs.uni-potsdam.de http://www.cs.uni-potsdam.de/ti 1. Das
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
MehrAlgorithmentheorie 1. Vorlesung
Algorithmentheorie. Vorlesung Martin Dietzfelbinger 6. April 2006 Methode, Material Vorlesung Vorlesungsskript (Netz, Copyshop) Folien (im Netz) Vorlesung nachbereiten! Übung Übungsblätter (im Netz) Übung
MehrLogik. Prof. Dr. Thomas Schneider AG Theorie der künstlichen Intelligenz Cartesium, Raum 2.56 ts[ät]informatik.uni-bremen.de
Logik WiSe 2017/18 Prof. Dr. Thomas Schneider AG Theorie der künstlichen Intelligenz Cartesium, Raum 2.56 ts[ät]informatik.uni-bremen.de Homepage der Vorlesung: http://tinyurl.com/ws1718-logik Organisatorisches
MehrGrundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I
Vorlesung Grundlagen der Theoretischen Informatik / Einführung in die Theoretische Informatik I Bernhard Beckert Institut für Informatik Sommersemester 2007 B. Beckert Grundlagen d. Theoretischen Informatik:
MehrTheoretische Informatik I
Theoretische Informatik I Wintersemester 2004/05 Christoph Kreitz / Holger Arnold Theoretische Informatik {kreitz,arnold}@cs.uni-potsdam.de http://www.cs.uni-potsdam.de/ti/lehre/04-ws-theorie-i 1. Lehrziele
MehrVorlesung Programmierung
- 1 - Vorlesung Programmierung Inhalt der Vorlesung Was ist ein Programm? Was sind grundlegende Programmierkonzepte? Wie konstruiert (entwickelt) man ein Programm? Welche Programmier-Paradigmen gibt es?
MehrEinführung in Berechenbarkeit, Formale Sprachen und Komplexitätstheorie
Einführung in Berechenbarkeit, Formale Sprachen und Komplexitätstheorie Wintersemester 2005/2006 17.10.2005 1. Vorlesung 1 Kapitel I Motivation Motivation Komplexitätstheorie 01-2 Automaten und Formale
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
MehrOrganisatorisches. Gilbert Beyer und Annabelle Klarl. Einführung in die Informatik. Zentralübung zur Vorlesung Einführung in die Informatik
Zentralübung zur Vorlesung Einführung in die Informatik http://www.pst.ifi.lmu.de/lehre/wise-11-12/infoeinf WS11/12 Termine Vorlesung: Mi 14ct 17 Uhr, Audimax (Prof. Dr. Hennicker) Zentralübung: Mi 17st
MehrHerzlich willkommen!!!
Theoretische Informatik 2 Sommersemester 2016 Prof. Dr. Georg Schnitger AG Theoretische Informatik Goethe-Universität Frankfurt am Main Herzlich willkommen!!! 1 / 24 Kapitel 1: Einführung Einführung 2
MehrVorlesung Berechenbarkeit und Komplexität. Motivation, Übersicht und Organisatorisches
Berechenbarkeit und Komplexität: Motivation, Übersicht und Organisatorisches Prof. Dr. Berthold Vöcking Lehrstuhl Informatik 1 Algorithmen und Komplexität RWTH Aachen Berechenbarkeit die absoluten Grenzen
MehrGrundlagen der Informationsverarbeitung:
Grundlagen der Informationsverarbeitung: Einleitung Prof. Dr.-Ing. habil. Ulrike Lucke Durchgeführt von Prof. Dr. rer. nat. habil. Mario Schölzel Maximaler Raum für Titelbild (wenn kleiner dann linksbündig
MehrTheoretische Informatik für Medieninformatiker
Theoretische Informatik für Medieninformatiker Jan Johannsen Lehrveranstaltung im Sommersemester 27 / 6 Organisatorisches: Jede Lehrveranstaltungsstunde gliedert sich in einen Vorlesungsteil, dessen Länge
MehrSecurity - 04 Cryptology #1
Security - 04 Cryptology #1 Wer ist das da vorne? Für was? (Was mache ich hier?) WTF? Thema? (Was will der von mir?) Security - 04 Cryptology #2 Vorlesung Programmieren Organisation Prof. Dr. Stefan Fischer
MehrVorlesung Berechenbarkeit und Komplexität Wintersemester 2017/18
Vorlesung Berechenbarkeit und Komplexität Wintersemester 2017/18 Prof. Barbara König Übungsleitung: Christina Mika-Michalski Barbara König BeKo/TI 1 Das heutige Programm Organisatorisches Vorstellung Ablauf
MehrStatistik 2. Herbstsemester Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker
Statistik 2 Herbstsemester 2017 Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker Allgemeine Hinweise S&S (2017) für Stocker, T. C. und Steinke I. (2017): Statistik
MehrEINFÜHRUNG IN DIE THEORETISCHE INFORMATIK 0. ORGANISATORISCHES UND ÜBERBLICK
EINFÜHRUNG IN DIE THEORETISCHE INFORMATIK Prof. Dr. Klaus Ambos-Spies Sommersemester 2014 0. ORGANISATORISCHES UND ÜBERBLICK Theoretische Informatik (SoSe 2014) 0. Organisatorisches und Überblick 1 / 16
MehrTheoretische Informatik
Theoretische Informatik Sibylle Schwarz Westsächsische Hochschule Zwickau Dr. Friedrichs-Ring 2a, RII 263 http://wwwstud.fh-zwickau.de/~sibsc/ sibylle.schwarz@fh-zwickau.de SS 2011 1 Einordnung der Theoretischen
MehrTheoretische Informatik 2. Sommersemester 2018
Theoretische Informatik 2 Sommersemester 2018 Prof. Dr. Georg Schnitger AG Theoretische Informatik Goethe-Universität Frankfurt am Main 1 / 24 Theoretische Informatik 2 Sommersemester 2018 Prof. Dr. Georg
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
MehrInformatik I. 0. Organisation. Jan-Georg Smaus. Albert-Ludwigs-Universität Freiburg. 19. Oktober 2010
Informatik I 0. Organisation Jan-Georg Smaus Albert-Ludwigs-Universität Freiburg 19. Oktober 2010 Jan-Georg Smaus (Universität Freiburg) Informatik I 19. Oktober 2010 1 / 18 Informatik I 19. Oktober 2010
MehrFormale Systeme, Automaten, Prozesse
Peter Rossmanith Theoretische Informatik, RWTH Aachen 13. Juni 2017 Organisatorisches Termine (Folie 1, Seite 1 im Skript) Vorlesung Montags, 10:15-11:45 Uhr, Grüner Hörsaal Dienstags, 10:15-11:00 Uhr,
MehrStatistik 2. Herbstsemester Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker
Statistik 2 Herbstsemester 2018 Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker Allgemeine Hinweise S&S (2017) für Stocker, T. C. und Steinke I. (2017): Statistik
MehrA1.1 Organisatorisches
Algorithmen und Datenstrukturen 28. Februar 2018 A1. Organisatorisches Algorithmen und Datenstrukturen A1. Organisatorisches A1.1 Organisatorisches Marcel Lüthi and Gabriele Röger Universität Basel A1.2
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,
MehrGrundlagen des betriebswirtschaftlichen Rechnungswesens
Vorlesung und Tutorien BWL 2 Sommersemester 2017 Grundlagen des betriebswirtschaftlichen Rechnungswesens Organisatorisches Prof. Dr. Wolfgang Berens insb. Controlling Vorlesung» Immer mittwochs: 7.30 10.00
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.
MehrÜbungsbetrieb zu Grundlagen: Datenbanken
Übungsbetrieb zu Grundlagen: Datenbanken Moritz Sichert, Lukas Vogel Technische Universität München Fakultät für Informatik Lehrstuhl III Datenbanksysteme 17. Oktober 2018 Übungen Allgemein Wöchentliches
MehrEinführung in die Praktische Informatik WS 09/10
Einführung in die Praktische Informatik WS 09/10 Prof. Dr. Christian Sengstock Institut für Informatik Neuenheimer Feld 348 69120 Heidelberg http://dbs.ifi.uni-heidelberg.de sengstock@informatik.uni-heidelberg.de
MehrBachelor Angewandte Informatik Ingenieur- oder Medieninformatik (BAI) Grundstudiumseinführung SS Dr. Werner Otten
Bachelor Angewandte Informatik Ingenieur- oder Medieninformatik (BAI) Grundstudiumseinführung SS 2009 Dr. Werner Otten Bachelor Angewandte Informatik BAI was ist das? Veranstaltungstypen Wichtige Unterlagen
MehrAntrag auf Festlegung von Studienleistungen
Bachelorstudiengg Informatik Antragsteller/in: Dr. Thoralf Räsch Datum: 07.01.19 Modul: BA-INF 021, Lineare Algebra Semester: Sommersemester 2019 Zwei Wochen vor dem Termin der ersten Klausur müssen 50
MehrEs gibt drei verschiedene Veranstaltungen, die wir in dem Modul "Programmierung" anbieten
Programmierung Informationen für Kursteilnehmer Veranstaltungen Es gibt drei verschiedene Veranstaltungen, die wir in dem Modul "Programmierung" anbieten 1. Vorlesung Die Vorlesung findet zweimal pro Woche
MehrAlgorithmen und Datenstrukturen
Algorithmen und Datenstrukturen A1. Organisatorisches Marcel Lüthi and Gabriele Röger Universität Basel 28. Februar 2018 Organisatorisches Personen: Dozenten Marcel Lüthi Gabriele Röger Dozenten Dr. Marcel
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.
MehrGrundlagen der Programmierung 2
Grundlagen der Programmierung 2 Oganisatorisches Prof. Dr. Manfred Schmidt-Schauß (Künstliche Intelligenz und Softwaretechnologie) Dr. Karsten Tolle (Datenbanken und Informationssysteme) Sommersemester
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,
MehrStatistik 1. Frühjahrssemester Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker
Statistik 1 Frühjahrssemester 2018 Universität Mannheim Abteilung Volkswirtschaftslehre Lehrstuhl für Statistik Toni Stocker Allgemeine Hinweise S&S (2017) für Stocker, T. C. und Steinke I. (2017): Statistik
MehrAngewandte Informatik, Bachelor of Science, PO 2012
König Krüger Krüger NN Meis Angewandte Informatik, Bachelor of Science, PO Einführungsveranstaltung Bachelor Angewandte Informatik Einführung EinzelT: Mi 10-13, LB 134, Termin: 02.04.2014 EinzelT: Mi 12-18,
Mehr