Theoretische Informatik: Berechenbarkeit und Formale Sprachen

Größe: px
Ab Seite anzeigen:

Download "Theoretische Informatik: Berechenbarkeit und Formale Sprachen"

Transkript

1 Theoretische Informatik: Berechenbarkeit und Formale Sprachen Prof. Dr. F. Otto Fachbereich Elektrotechnik/Informatik, Universität Kassel Kassel, Germany SS 2015 Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 1 / 313

2 Vorlesung mit Übungen im SS 2015 Vorlesung: Dienstag Donnerstag Beginn: 9-10 Uhr, Raum 1603 WA Uhr, Raum 1603 WA Dienstag, den , 9 15 Uhr. Übungen und Tutorien in 5 Gruppen (Beginn: ): Gruppe 1: Montag Uhr, Raum WA Gruppe 2: Dienstag Uhr, Raum WA Gruppe 3: Dienstag Uhr, Raum WA Gruppe 4: Freitag 8-10 Uhr, Raum WA Gruppe 5: Freitag Uhr, Raum WA Anmeldung: Ab , 10:30 Uhr, auf der Webseite der Vorlesung: veranstaltungen/theoinf-b+formspss2015/ Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 2 / 313

3 Wöchentliche Übungsaufgaben: KEINE Abgabe, aber selbständiges Bearbeiten als Vorbereitung auf die Übungen! Studienleistungen als Voraussetzung für die Teilnahme an der Modulprüfung (Klausur) [Voraussetzung: Anmeldung in einer Übungsgruppe]: 1. Probeklausur: Dienstag, , 9:15-10:00, in Raum 1603 WA 2. Probeklausur: Dienstag, , 9:15-10:00, in Raum 1603 WA 3. Probeklausur: Dienstag, , 9:15-10:00, in Raum 1603 WA Um zur Modulprüfung zugelassen zu werden, müssen mindestens zwei dieser Probeklausuren bestanden werden! Homepage: veranstaltungen/theoinf-b+formspss2015/ Abschlussklausur: Termin wird rechtzeitig bekannt gegeben. Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 3 / 313

4 Buch zur Vorlesung: Literatur: Uwe Schöning; Theoretische Informatik - kurzgefasst. Spektrum Akademischer Verlag, Heidelberg/Berlin, 5. Auflage, 2008, ISBN Ergänzende Literatur: J.E. Hopcroft, R. Motwani, J.D. Ullman; Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Oldenbourg Verlag, München, 4. Auflage, J. Hromkovič; Theoretische Informatik. Teubner Verlag, Wiesbaden, 3. Auflage, K. Wagner; Theoretische Informatik - Eine kompakte Einführung. Springer Verlag, Berlin/Heidelberg, 2. Auflage, u.v.m. Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 4 / 313

5 Juray Hromkovič; Algorithmic Adventures - From Knowledge to Magic, Springer Chapter 1: Chapter 3: Chapter 4: A Short Story About the Development of Computer Science or Why Computer Science Is Not a Computer Driving Licence Infinity Is Not Equal to Infinity, or Why Infinity Is Infinitely Important in Computer Science Limits of Computability or Why Do There Exist Tasks That Cannot Be Solved Automatically by Computers Online: link.springer.com/book/ / Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 5 / 313

6 Verstehen der verwendeten Sprache und Notation Vorbereitungskurs Theoretische Informatik und Diskrete Mathematik (FB ) Themen: mathematische Aussagen, Beweistechniken, Syntax und Semantik mathematischer Objekte,... Zeit: Mittwoch Uhr Ort: Raum 1114 Beginn: Mittwoch, Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 6 / 313

7 Einleitung Die Theoretische Informatik entwickelt formale Modelle für die Objekte und Methoden der Praktischen und Technischen Informatik. Modell: Beschreibung des Wesentlichen einer Klasse von verwandten realen Phänomenen unter Abstrahierung von technischen Details und zufälligen Eigenschaften. Nutzen: - besseres Verständnis der realen Phänomene - Entwicklung von Problemlösungen mit formalen Methoden Wo konkret werden in der Informatik formale Methoden benötigt? Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 7 / 313

8 Einleitung Die Theoretische Informatik entwickelt formale Modelle für die Objekte und Methoden der Praktischen und Technischen Informatik. Modell: Beschreibung des Wesentlichen einer Klasse von verwandten realen Phänomenen unter Abstrahierung von technischen Details und zufälligen Eigenschaften. Nutzen: - besseres Verständnis der realen Phänomene - Entwicklung von Problemlösungen mit formalen Methoden Wo konkret werden in der Informatik formale Methoden benötigt? Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 7 / 313

9 Einleitung Die Theoretische Informatik entwickelt formale Modelle für die Objekte und Methoden der Praktischen und Technischen Informatik. Modell: Beschreibung des Wesentlichen einer Klasse von verwandten realen Phänomenen unter Abstrahierung von technischen Details und zufälligen Eigenschaften. Nutzen: - besseres Verständnis der realen Phänomene - Entwicklung von Problemlösungen mit formalen Methoden Wo konkret werden in der Informatik formale Methoden benötigt? Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 7 / 313

10 Einleitung Die Theoretische Informatik entwickelt formale Modelle für die Objekte und Methoden der Praktischen und Technischen Informatik. Modell: Beschreibung des Wesentlichen einer Klasse von verwandten realen Phänomenen unter Abstrahierung von technischen Details und zufälligen Eigenschaften. Nutzen: - besseres Verständnis der realen Phänomene - Entwicklung von Problemlösungen mit formalen Methoden Wo konkret werden in der Informatik formale Methoden benötigt? Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 7 / 313

11 Problemstellung: umgangssprachlich beschrieben A1 Formale Problembeschreibung (Problemspezifikation) Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 8 / 313

12 Problemstellung: umgangssprachlich beschrieben A1 Formale Problembeschreibung (Problemspezifikation) Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 8 / 313

13 Beispiel: Auftragsplanung Eingaben: Aufträge A 1,...,A n (n 2), Bearbeitungsdauer l 1,...,l n N +, Deadlines d 1,...,d n N +, Profitwerte p 1,...,p n N +, identische Prozessoren P 1,...,P m (m 1). Aufgabe: Bedingungen: Ziel: Ordne jedem Auftrag A i (1 i n) einen Zeitpunkt z i 0 und einen Prozessor P j (1 j m) zu, der A i ab Zeitpunkt z i bearbeiten soll. Es muß z i +l i d i gelten! P j ist im Zeitraum z i bis z i +l i mit A i beschäftigt. Finde ein Z : {A 1,...,A n } ({P 1,...,P m } N), sodass der erzielte Profit maximiert wird! Für l 1 =... = l n = 1 = m gibt es ein effektives Verfahren! (siehe Entwurf und Analyse von Algorithmen ). Das allgemeine Problem selbst ist NP-hart. Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 9 / 313

14 Beispiel: Auftragsplanung Eingaben: Aufträge A 1,...,A n (n 2), Bearbeitungsdauer l 1,...,l n N +, Deadlines d 1,...,d n N +, Profitwerte p 1,...,p n N +, identische Prozessoren P 1,...,P m (m 1). Aufgabe: Bedingungen: Ziel: Ordne jedem Auftrag A i (1 i n) einen Zeitpunkt z i 0 und einen Prozessor P j (1 j m) zu, der A i ab Zeitpunkt z i bearbeiten soll. Es muß z i +l i d i gelten! P j ist im Zeitraum z i bis z i +l i mit A i beschäftigt. Finde ein Z : {A 1,...,A n } ({P 1,...,P m } N), sodass der erzielte Profit maximiert wird! Für l 1 =... = l n = 1 = m gibt es ein effektives Verfahren! (siehe Entwurf und Analyse von Algorithmen ). Das allgemeine Problem selbst ist NP-hart. Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 9 / 313

15 Beispiel: Auftragsplanung Eingaben: Aufträge A 1,...,A n (n 2), Bearbeitungsdauer l 1,...,l n N +, Deadlines d 1,...,d n N +, Profitwerte p 1,...,p n N +, identische Prozessoren P 1,...,P m (m 1). Aufgabe: Bedingungen: Ziel: Ordne jedem Auftrag A i (1 i n) einen Zeitpunkt z i 0 und einen Prozessor P j (1 j m) zu, der A i ab Zeitpunkt z i bearbeiten soll. Es muß z i +l i d i gelten! P j ist im Zeitraum z i bis z i +l i mit A i beschäftigt. Finde ein Z : {A 1,...,A n } ({P 1,...,P m } N), sodass der erzielte Profit maximiert wird! Für l 1 =... = l n = 1 = m gibt es ein effektives Verfahren! (siehe Entwurf und Analyse von Algorithmen ). Das allgemeine Problem selbst ist NP-hart. Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 9 / 313

16 Problemstellung: umgangssprachlich beschrieben A1 Formale Problembeschreibung (Problemspezifikation) A2 Formale Beschreibung einer Lösung (Algorithmus) A3 Programm (in einer gebräuchlichen Programmiersprache) A4 Interpretation der vom Programm gelieferten Ergebnisse im Sinne der ursprünglichen Problemstellung A1 und A4: A2 und A3: Informatiker gemeinsam mit Anwender Informatiker Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 10 / 313

17 Problemstellung: umgangssprachlich beschrieben A1 Formale Problembeschreibung (Problemspezifikation) A2 Formale Beschreibung einer Lösung (Algorithmus) A3 Programm (in einer gebräuchlichen Programmiersprache) A4 Interpretation der vom Programm gelieferten Ergebnisse im Sinne der ursprünglichen Problemstellung A1 und A4: A2 und A3: Informatiker gemeinsam mit Anwender Informatiker Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 10 / 313

18 Problemstellung: umgangssprachlich beschrieben A1 Formale Problembeschreibung (Problemspezifikation) A2 Formale Beschreibung einer Lösung (Algorithmus) A3 Programm (in einer gebräuchlichen Programmiersprache) A4 Interpretation der vom Programm gelieferten Ergebnisse im Sinne der ursprünglichen Problemstellung A1 und A4: A2 und A3: Informatiker gemeinsam mit Anwender Informatiker Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 10 / 313

19 Problemstellung: umgangssprachlich beschrieben A1 Formale Problembeschreibung (Problemspezifikation) A2 Formale Beschreibung einer Lösung (Algorithmus) A3 Programm (in einer gebräuchlichen Programmiersprache) A4 Interpretation der vom Programm gelieferten Ergebnisse im Sinne der ursprünglichen Problemstellung A1 und A4: A2 und A3: Informatiker gemeinsam mit Anwender Informatiker Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 10 / 313

20 Problemstellung: umgangssprachlich beschrieben A1 Formale Problembeschreibung (Problemspezifikation) A2 Formale Beschreibung einer Lösung (Algorithmus) A3 Programm (in einer gebräuchlichen Programmiersprache) A4 Interpretation der vom Programm gelieferten Ergebnisse im Sinne der ursprünglichen Problemstellung A1 und A4: A2 und A3: Informatiker gemeinsam mit Anwender Informatiker Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 10 / 313

21 Problemstellung: umgangssprachlich beschrieben A1 Korrektheit? Formale Problembeschreibung (Problemspezifikation) A2 Korrektheit? Logik Formale Beschreibung einer Lösung (Algorithmus) Berechenbarkeitstheorie, Algorithmentheorie A3 Korrektheit? Programm (in einer gebräuchlichen Programmiersprache) Formale Sprachen, Automatentheorie A4 Korrektheit? Interpretation der vom Programm gelieferten Ergebnisse im Sinne der ursprünglichen Problemstellung A1 und A4: A2 und A3: Informatiker gemeinsam mit Anwender Informatiker Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 11 / 313

22 Vorlesung (1.) Was ist ein Algorithmus? Theoretische Informatik: Berechenbarkeit und Formale Sprachen : Unter einem Algorithmus versteht man eine präzise, endliche Verarbeitungsvorschrift, die so formuliert ist, dass die in der Vorschrift notierten Elementaroperationen von einer mechanischen oder elektrisch arbeitenden Maschine durchgeführt werden können. Die Anzahl der verfügbaren Elementaroperationen ist beschränkt, ebenso ihre Ausführungszeit. Aus der sprachlichen Darstellung des A. muß die Abfolge der einzelnen Schritte eindeutig hervorgehen. Hierbei sind Wahlmöglichkeiten zugelassen, wobei aber genau festgelegt sein muß, wie diese Auswahl erfolgen soll (nach Appelrath und Ludewig 1991). Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 12 / 313

23 Vorlesung (1.) Was ist ein Algorithmus? Theoretische Informatik: Berechenbarkeit und Formale Sprachen : Unter einem Algorithmus versteht man eine präzise, endliche Verarbeitungsvorschrift, die so formuliert ist, dass die in der Vorschrift notierten Elementaroperationen von einer mechanischen oder elektrisch arbeitenden Maschine durchgeführt werden können. Die Anzahl der verfügbaren Elementaroperationen ist beschränkt, ebenso ihre Ausführungszeit. Aus der sprachlichen Darstellung des A. muß die Abfolge der einzelnen Schritte eindeutig hervorgehen. Hierbei sind Wahlmöglichkeiten zugelassen, wobei aber genau festgelegt sein muß, wie diese Auswahl erfolgen soll (nach Appelrath und Ludewig 1991). Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 12 / 313

24 Vorlesung (1.) Was ist ein Algorithmus? Theoretische Informatik: Berechenbarkeit und Formale Sprachen : Unter einem Algorithmus versteht man eine präzise, endliche Verarbeitungsvorschrift, die so formuliert ist, dass die in der Vorschrift notierten Elementaroperationen von einer mechanischen oder elektrisch arbeitenden Maschine durchgeführt werden können. Die Anzahl der verfügbaren Elementaroperationen ist beschränkt, ebenso ihre Ausführungszeit. Aus der sprachlichen Darstellung des A. muß die Abfolge der einzelnen Schritte eindeutig hervorgehen. Hierbei sind Wahlmöglichkeiten zugelassen, wobei aber genau festgelegt sein muß, wie diese Auswahl erfolgen soll (nach Appelrath und Ludewig 1991). Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 12 / 313

25 Vorlesung Theoretische Informatik: Berechenbarkeit und Formale Sprachen : (1.) Was ist ein Algorithmus? - Formale Modelle für den Begriff Berechenbarkeit : Welche Funktionen sind berechenbar, welche Mengen (Sprachen) sind entscheidbar? Gibt es Funktionen f : N N, die nicht berechenbar sind? Gibt es Mengen H N, die unentscheidbar sind? (2.) Mit welchen Mitteln lassen sich unendliche Sprachen endlich beschreiben? Programmiersprachen: syntaktische Korrektheit? Semantik? Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 13 / 313

26 Vorlesung Theoretische Informatik: Berechenbarkeit und Formale Sprachen : (1.) Was ist ein Algorithmus? - Formale Modelle für den Begriff Berechenbarkeit : Welche Funktionen sind berechenbar, welche Mengen (Sprachen) sind entscheidbar? Gibt es Funktionen f : N N, die nicht berechenbar sind? Gibt es Mengen H N, die unentscheidbar sind? (2.) Mit welchen Mitteln lassen sich unendliche Sprachen endlich beschreiben? Programmiersprachen: syntaktische Korrektheit? Semantik? Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 13 / 313

27 Vorlesung Theoretische Informatik: Berechenbarkeit und Formale Sprachen : (1.) Was ist ein Algorithmus? Kapitel 1: - Formale Modelle Berechenbarkeitstheorie Welche Funktionen sind berechenbar, welche Mengen (Sprachen) sind entscheidbar? Gibt es Funktionen f : N N, die nicht berechenbar sind? Gibt es Mengen H N, die unentscheidbar sind? (2.) Mit welchen Mitteln lassen sich unendliche Sprachen endlich beschreiben? Kapitel 2: Automatentheorie und Formale Sprachen Programmiersprachen: syntaktische Korrektheit? Semantik? Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 14 / 313

28 (3.) Welcher Bedarf an den Resourcen Rechenzeit und Speicherplatz entsteht bei der Lösung welcher Probleme? Gibt es Funktionen f : N N, die prinzipiell berechenbar sind, die aber dennoch praktisch nicht berechnet werden können? Kann man mit mehr Rechenzeit wirklich mehr Funktionen berechnen? siehe Vorlesungen: Komplexitätstheorie Entwurf und Analyse von Algorithmen Prof. Dr. F. Otto (Universität Kassel) Berechenbarkeit und Formale Sprachen 15 / 313

Organisatorisches. Informatik II Informationen und Daten. Organisatorisches. Organisatorisches. Rainer Schrader. 13. Oktober 2008

Organisatorisches. Informatik II Informationen und Daten. Organisatorisches. Organisatorisches. Rainer Schrader. 13. Oktober 2008 Dozent: Prof. Dr. Rainer Schrader Informatik II Informationen und Daten Rainer Schrader Zentrum für Angewandte Informatik Köln 13. Oktober 2008 Tel.: 470-6030 email: schrader@zpr.uni-koeln.de Sprechstunde:

Mehr

Algorithmen und Berechnungskomplexität I

Algorithmen und Berechnungskomplexität I Institut für Informatik I Wintersemester 2010/11 Organisatorisches Vorlesung Montags 11:15-12:45 Uhr (AVZ III / HS 1) Mittwochs 11:15-12:45 Uhr (AVZ III / HS 1) Dozent Professor für theoretische Informatik

Mehr

Logik und diskrete Strukturen

Logik und diskrete Strukturen Prof. Dr. Institut für Informatik Abteilung I Wintersemester 2012/13 Organisatorisches Vorlesung Dienstag und Donnerstag 10:15 11:45 Uhr (HS 1) und 12:30 14:00 Uhr (HS 2) Vorlesung am Vormittag = Vorlesung

Mehr

Theorie der Informatik

Theorie der Informatik Theorie der Informatik 0. Organisatorisches Malte Helmert Gabriele Röger Universität Basel 16. Februar 2015 Organisatorisches Personen Dozenten Prof. Dr. Malte Helmert E-Mail: malte.helmert@unibas.ch Büro:

Mehr

Theoretische Informatik

Theoretische Informatik Theoretische Informatik Sibylle Schwarz Westsächsische Hochschule Zwickau Dr. Friedrichs-Ring 2a, RII 263 http://www.fh-zwickau.de/~sibsc/ sibylle.schwarz@fh-zwickau.de SS 2012 1 Einordnung der Theoretischen

Mehr

Theoretische Informatik

Theoretische Informatik Theoretische Informatik für die Studiengänge Ingenieur-Informatik berufsbegleitendes Studium Lehramt Informatik (Sekundar- und Berufsschule) http://theo.cs.uni-magdeburg.de/lehre04s/ Lehrbeauftragter:

Mehr

Einführung in die Informatik

Einführung in die Informatik Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard 1.1 Vorlesung Zeit und Ort: Dienstags 10:00-12:00 Uhr Donnerstags 10:00-12:00 Uhr Gebäude 101 HS

Mehr

Module Angewandte Informatik 2. Semester

Module Angewandte Informatik 2. Semester Module Angewandte Informatik 2. Semester Automaten und formale n AF Helga Carls Bettina Buth, Helga Carls, Erhard Fähnders, Franz Korf, Reinhard Völler 1 SWS Übung mit ca. 16 Studierenden Übung = 16h Kreditpunkte

Mehr

Wintersemester 2010/2011 Rüdiger Westermann Institut für Informatik Technische Universität München

Wintersemester 2010/2011 Rüdiger Westermann Institut für Informatik Technische Universität München Informatik 1 Wintersemester 2010/2011 Rüdiger Westermann Institut für Informatik Technische Universität München 1 0 Allgemeines Zielgruppen Siehe Modulbeschreibung Studierende anderer (nicht Informatik)

Mehr

Institut für Telematik Universität zu Lübeck. Programmieren. Kapitel 0: Organisatorisches. Wintersemester 2008/2009. Prof. Dr.

Institut für Telematik Universität zu Lübeck. Programmieren. Kapitel 0: Organisatorisches. Wintersemester 2008/2009. Prof. Dr. Institut für Telematik Universität zu Lübeck Programmieren Kapitel 0: Organisatorisches Wintersemester 2008/2009 Prof. Dr. Christian Werner 1-2 Überblick Ziele Inhaltsüberblick Ablauf der Veranstaltung

Mehr

Kapitel 0: Organisatorisches

Kapitel 0: Organisatorisches Einführung in die Praktische Informatik Wintersemester 2009 / 2010 Kapitel 0: Organisatorisches Prof. Dr. Manfred Reichert Andreas Lanz, Rüdiger Pryss Universität Ulm Institut für Datenbanken und Informationssysteme

Mehr

Algorithmik - Kompaktkurs

Algorithmik - Kompaktkurs Algorithmik - Kompaktkurs Sommersemester 2012 Steffen Lange 0/1, Folie 1 2012 Prof. Steffen Lange - HDa/FbI - Algorithmik Organisatorisches Vorlesung Folien im Netz (/* bitte zur Vorlesung mitbringen */)

Mehr

Einführung in die Informatik

Einführung in die Informatik Einführung in die Informatik Einleitung Organisatorisches, Motivation, Herangehensweise Wolfram Burgard Cyrill Stachniss 0.1 Vorlesung Zeit und Ort: Mo 16.00 18.00 Uhr Gebäude 101, HS 00-026 Informationen

Mehr

Übersicht über die Einzelveranstaltungen im. B.Ed. Informatik 2+1. oder 2-stündige Klausur Rechnerstrukturen (V+Ü) 2+1 5 1

Übersicht über die Einzelveranstaltungen im. B.Ed. Informatik 2+1. oder 2-stündige Klausur Rechnerstrukturen (V+Ü) 2+1 5 1 1 Übersicht über die Einzelveranstaltungen im B.Ed. Informatik Modul 1: Theoretische Grundlagen Automatentheorie und Formale Sprachen Berechenbarkeit und Komplexitätstheorie 10 2 3 Modul 2: Technische

Mehr

Die Informatik als junge Wissenschaft

Die Informatik als junge Wissenschaft Die Informatik als junge Wissenschaft Die Informatik ist die Wissenschaft von der automatischen Informationsverarbeitung. Die Informatik befasst sich mit den Gesetzmäßigkeiten und Prinzipien informationsverarbeitender

Mehr

1. Einführung Einführung in die Programmierung (fbw) Sommersemester 2008 Prof. Dr. Bernhard Humm Hochschule Darmstadt, fbi

1. Einführung Einführung in die Programmierung (fbw) Sommersemester 2008 Prof. Dr. Bernhard Humm Hochschule Darmstadt, fbi 1. Einführung Einführung in die Programmierung (fbw) Sommersemester 2008 Prof. Dr. Bernhard Humm Hochschule Darmstadt, fbi 1 Prof. Dr. Bernhard Humm, Hochschule Darmstadt, FB Informatik: Einführung in

Mehr

1 Vom Problem zum Programm

1 Vom Problem zum Programm 1 Vom Problem zum Programm Ein Problem besteht darin, aus einer gegebenen Menge von Informationen eine weitere (bisher unbekannte) Information zu bestimmen. 1 Vom Problem zum Programm Ein Algorithmus ist

Mehr

Das Studium im Fach Informatik

Das Studium im Fach Informatik [Projekttage Studien- und Berufsorientierung der Jgst. 12] Fachbereich Informatik Fakultät für Mathematik und Informatik FernUniversität Hagen 22. Februar 2007 Was Informatik nicht ist Was ist Informatik?

Mehr

Bioinformatik I (Einführung)

Bioinformatik I (Einführung) Kay Diederichs, Sommersemester 2015 Bioinformatik I (Einführung) Algorithmen Sequenzen Strukturen PDFs unter http://strucbio.biologie.unikonstanz.de/~dikay/bioinformatik/ Klausur: Fr 17.7. 10:00-11:00

Mehr

4.Grundsätzliche Programmentwicklungsmethoden

4.Grundsätzliche Programmentwicklungsmethoden 4.Grundsätzliche Programmentwicklungsmethoden 1.1 Grundlage strukturierter und objektorientierter Programmierung Begriff Software Engineering - umfaßt den gezielten Einsatz von Beschreibungsmitteln, Methoden

Mehr

Evolutionäre Strategien. Informatik Unterricht in der SII. ausreichende Programmierkenntnisse zur Implementierung der Evolutionären Strategien (ES)

Evolutionäre Strategien. Informatik Unterricht in der SII. ausreichende Programmierkenntnisse zur Implementierung der Evolutionären Strategien (ES) 1 Voraussetzungen an den Kurs: ausreichende Programmierkenntnisse zur Implementierung der Evolutionären Strategien (ES) Kenntnisse über Sortierverfahren ggf. hilfreich Somit: idealer Zeitpunkt zur Durchführung

Mehr

Informatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit

Informatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit Informatik IV Theoretische Informatik: Formale Sprachen und Automaten, Berechenbarkeit und NP-Vollständigkeit Sommersemester 2011 Dozent: Prof. Dr. J. Rothe, Prof. Dr. M. Leuschel J. Rothe (HHU Düsseldorf)

Mehr

Algorithmik II. SS 2003 Prof. Dr. H. Stoyan Lehrstuhl für Informatik 8 ( Künstliche Intelligenz) Email: stoyan@informatik.uni-erlangen.

Algorithmik II. SS 2003 Prof. Dr. H. Stoyan Lehrstuhl für Informatik 8 ( Künstliche Intelligenz) Email: stoyan@informatik.uni-erlangen. Algorithmik II SS 2003 Prof. Dr. H. Stoyan Lehrstuhl für Informatik 8 ( Künstliche Intelligenz) Email: stoyan@informatik.uni-erlangen.de Homepage der Vorlesung Vorbemerkungen I http://www8.informatik.uni-erlangen.de/immd8

Mehr

Studieninformationsveranstaltung. Informatik. Institut für Informatik IV Universität Bonn. Tel.: 0228/73-4118 e-mail

Studieninformationsveranstaltung. Informatik. Institut für Informatik IV Universität Bonn. Tel.: 0228/73-4118 e-mail Studieninformationsveranstaltung Informatik Vortrag am Dies Academicus (1.12.99) Prof. Dr.. Peter Martini Institut für Informatik IV Universität Bonn Tel.: 0228/73-4118 e-mail mail: martini@informatik

Mehr

Informatikgrundlagen (WS 2015/2016)

Informatikgrundlagen (WS 2015/2016) Informatikgrundlagen (WS 2015/2016) Klaus Berberich (klaus.berberich@htwsaar.de) Wolfgang Braun (wolfgang.braun@htwsaar.de) 0. Organisatorisches Dozenten Klaus Berberich (klaus.berberich@htwsaar.de) Sprechstunde

Mehr

Mündliche Prüfung zum Praxismodul III des Studienjahrgangs 2011 von Montag, 22.9. bis Freitag, 26.9.2014 Kurse MA-WIN11A, F

Mündliche Prüfung zum Praxismodul III des Studienjahrgangs 2011 von Montag, 22.9. bis Freitag, 26.9.2014 Kurse MA-WIN11A, F Prüfungsausschuss B1, Montag, 22. September 2014, Raum: 403D 09:30-10:00 4678276 Rechnungswesen / Materialwirtschaft A 10:10-10:40 5659097 Marketing / Rechnungswesen F 10:50-11:20 9077545 Rechnungswesen

Mehr

Webbasierte Programmierung

Webbasierte Programmierung Webbasierte Programmierung Eine Einführung mit anschaulichen Beispielen aus der HTML5-Welt apl. Prof. Dr. Achim Ebert Inhalt Kapitel 0: Organisation Allgemeine Informationen Wer sind wir? Anforderungen

Mehr

(Stand: 13.10.201508.10.2015)

(Stand: 13.10.201508.10.2015) Universität Hildesheim Fachbereich 4 Seite 1 von 8 Studienordnung und Modulhandbuch für das Wahlpflichtfach Informationstechnologie im Bachelor-Studiengang Internationales Informationsmanagement (IIM)

Mehr

Mathematik für Studierende der Wirtschaftswissenschaften und Gesundheitsökonomie

Mathematik für Studierende der Wirtschaftswissenschaften und Gesundheitsökonomie für Studierende der Wirtschaftswissenschaften und Gesundheitsökonomie Prof. Dr. Maragreta Heilmann Teresa M.Sc. Marco, M.Sc. Bergische Universität Wuppertal Fachbereich C - und Informatik Arbeitsgruppe

Mehr

Algorithmen und Datenstrukturen

Algorithmen und Datenstrukturen Algorithmen und Datenstrukturen Wintersemester 2012/13 Organisatorisches Vorlesung: Übungsbetreuung: Übungen: Programmierübungen: Alexander Wolff (E29) Jan Haunert (E27) Markus Ankenbrand Titus Dose Alexej

Mehr

Datum Wochen Band DVD Band eingelegt Protokoll kontr. Recovery kontr. Tag Nr. RW Sign. Sign. Sign.

Datum Wochen Band DVD Band eingelegt Protokoll kontr. Recovery kontr. Tag Nr. RW Sign. Sign. Sign. Monat: Januar Anzahl Bänder: 9 01.01.2015 Donnerstag Do DO 02.01.2015 Freitag Fr FR 03.01.2015 Samstag 04.01.2015 Sonntag 05.01.2015 Montag Mo1 MO 06.01.2015 Dienstag Di DI 07.01.2015 Mittwoch Mi MI 08.01.2015

Mehr

1. Grundlegende Konzepte der Informatik

1. Grundlegende Konzepte der Informatik 1. Grundlegende Konzepte der Informatik Inhalt Algorithmen Darstellung von Algorithmen mit Programmablaufplänen Beispiele für Algorithmen Aussagenlogik Zahlensysteme Kodierung Peter Sobe 1 Algorithmen

Mehr

Faktor Mensch in der Informationssicherheit

Faktor Mensch in der Informationssicherheit Faktor Mensch in der Informationssicherheit SS 2016 Prof. Dr. holger.schmidt[at]hs-duesseldorf.de Hochschule Düsseldorf Fachbereich Medien Professur für Informatik, insb. IT-Sicherheit http://medien.hs-duesseldorf.de/schmidt

Mehr

Einführung in die Technische Informatik [TI]

Einführung in die Technische Informatik [TI] Computer and Communication Systems (Lehrstuhl für Technische Informatik) Einführung in die Technische Informatik [TI] Falko Dressler und Stefan Podlipnig Universität Innsbruck [TI] Winter 2012/2013 Einleitung

Mehr

Approximationsalgorithmen

Approximationsalgorithmen Ausarbeitung zum Thema Approximationsalgorithmen im Rahmen des Fachseminars 24. Juli 2009 Robert Bahmann robert.bahmann@gmail.com FH Wiesbaden Erstellt von: Robert Bahmann Zuletzt berarbeitet von: Robert

Mehr

Verlässliche Echtzeitsysteme

Verlässliche Echtzeitsysteme Verlässliche Echtzeitsysteme Grundlagen der statischen Programmanalyse Peter Ulbrich Friedrich-Alexander-Universität Erlangen-Nürnberg Lehrstuhl Informatik 4 (Verteilte Systeme und Betriebssysteme) www4.informatik.uni-erlangen.de

Mehr

Einleitung. Einführung in die Technische Informatik Falko Dressler und Stefan Podlipnig Universität Innsbruck

Einleitung. Einführung in die Technische Informatik Falko Dressler und Stefan Podlipnig Universität Innsbruck Einleitung Einführung in die Technische Informatik Falko Dressler und Stefan Podlipnig Universität Innsbruck Früher Prozessor: ~ 1 MHz Speicher: 8-64 kb Datenträger: Magnetband, Floppy Disk (~1 MB) Einleitung

Mehr

Universität Koblenz-Landau, Abteilung Koblenz FB 4 Informatik. Seminar Entscheidungsverfahren für logische Theorien. Endliche Modelle.

Universität Koblenz-Landau, Abteilung Koblenz FB 4 Informatik. Seminar Entscheidungsverfahren für logische Theorien. Endliche Modelle. Universität Koblenz-Landau, Abteilung Koblenz FB 4 Informatik Seminar Entscheidungsverfahren für logische Theorien Tobias Hebel Koblenz, am 18.02.2005 Inhaltsverzeichnis 1 Einleitung... 3 2 Grundlagen...

Mehr

Fallstudienseminar Cases in Finance

Fallstudienseminar Cases in Finance Fallstudienseminar Cases in Finance TUM BSc: Seminar in Finance & Mgmt. Accounting Lehrstuhl für Finanzmanagement und Kapitalmärkte Professor Dr. Christoph Kaserer Wintersemester 2015/2016 Inhalt Im Wintersemester

Mehr

Algorithmen und Datenstrukturen Laufzeitabschätzung

Algorithmen und Datenstrukturen Laufzeitabschätzung Algorithmen und Datenstrukturen Laufzeitabschätzung Matthias Teschner Graphische Datenverarbeitung Institut für Informatik Universität Freiburg SS 12 Lernziele der Vorlesung Algorithmen Sortieren, Suchen,

Mehr

Formale Grundlagen der Informatik 1 Kapitel 12 Zusammenfassung

Formale Grundlagen der Informatik 1 Kapitel 12 Zusammenfassung Formale Grundlagen der Informatik 1 Kapitel 12 Zusammenfassung Frank Heitmann heitmann@informatik.uni-hamburg.de 13. Mai 2014 Frank Heitmann heitmann@informatik.uni-hamburg.de 1/17 Überblick Wir hatten

Mehr

effektives Verfahren ~ Algorithmus (Al Chwarismi) Regelsystem, Methode, Rezept, Gebrauchsanleitung Programm (griech. προγραφω, vor-schreiben)

effektives Verfahren ~ Algorithmus (Al Chwarismi) Regelsystem, Methode, Rezept, Gebrauchsanleitung Programm (griech. προγραφω, vor-schreiben) effektive Verfahren Ein Verfahren ist effektiv, wenn es für jeden Fall, der in einem zuvor abgegrenzten Bereich von eindeutigen Unterscheidungen auftreten kann, eine eindeutige und ausführbare Handlungsanweisung

Mehr

Gliederung. Tutorium zur Vorlesung. Gliederung. Gliederung. 1. Gliederung der Informatik. 1. Gliederung der Informatik. 1. Gliederung der Informatik

Gliederung. Tutorium zur Vorlesung. Gliederung. Gliederung. 1. Gliederung der Informatik. 1. Gliederung der Informatik. 1. Gliederung der Informatik Informatik I WS 2012/13 Tutorium zur Vorlesung 1. Alexander Zietlow zietlow@informatik.uni-tuebingen.de Wilhelm-Schickard-Institut für Informatik Eberhard Karls Universität Tübingen 11.02.2013 1. 2. 1.

Mehr

Fortgeschrittene Programmiertechniken

Fortgeschrittene Programmiertechniken FERNSTUDIUM INFORMATIK an Fachhochschulen Fortgeschrittene Programmiertechniken Studienplan SS 2016 Inhalt Der Modulablauf im Überblick... 1 Ihre Kursbetreuer... 1 Wo finde ich das Lehrmaterial?... 2 Zusatzaufgaben...

Mehr

Kapitel 6. Komplexität von Algorithmen. Xiaoyi Jiang Informatik I Grundlagen der Programmierung

Kapitel 6. Komplexität von Algorithmen. Xiaoyi Jiang Informatik I Grundlagen der Programmierung Kapitel 6 Komplexität von Algorithmen 1 6.1 Beurteilung von Algorithmen I.d.R. existieren viele Algorithmen, um dieselbe Funktion zu realisieren. Welche Algorithmen sind die besseren? Betrachtung nicht-funktionaler

Mehr

Differenzengleichungen. und Polynome

Differenzengleichungen. und Polynome Lineare Differenzengleichungen und Polynome Franz Pauer Institut für Mathematik, Universität Innsbruck Technikerstr. 13/7, A-600 Innsbruck, Österreich franz.pauer@uibk.ac.at 1 Einleitung Mit linearen Differenzengleichungen

Mehr

Leistungs- und Bewertungskonzept. im Fach Informatik

Leistungs- und Bewertungskonzept. im Fach Informatik Leistungs- und Bewertungskonzept im Fach Informatik Nach Beschluss der Fachkonferenz Informatik vom 14.06.2011 wird das folgende fachspezifische Leistungs- und Leistungsbewertungskonzept ab dem Schuljahr

Mehr

Modellierung Prof. Dr. Uwe Kastens WS 2011 / 2012

Modellierung Prof. Dr. Uwe Kastens WS 2011 / 2012 Modellierung Prof. Dr. Uwe Kastens WS 2011 / 2012 Mod-1.0 Begründung der Vorlesung Mod-1.1 Das Modellieren ist eine für das Fach Informatik typische Arbeitsmethode. Mit der Modellierung einer Aufgabe zeigt

Mehr

1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen. I.2. I.2. Grundlagen von von Programmiersprachen.

1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen. I.2. I.2. Grundlagen von von Programmiersprachen. 1. Der Begriff Informatik 2. Syntax und Semantik von Programmiersprachen I.2. I.2. Grundlagen von von Programmiersprachen. - 1 - 1. Der Begriff Informatik "Informatik" = Kunstwort aus Information und Mathematik

Mehr

Vorlesung Programmieren

Vorlesung Programmieren Vorlesung Programmieren Einführung 21.10.2015 Prof. Dr. Ralf H. Reussner Version 1.0 LEHRSTUHL FÜR SOFTWARE-DESIGN UND QUALITÄT (SDQ) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION (IPD), FAKULTÄT

Mehr

Programmierung. Prof. Dr. Michael Hanus mh@informatik.uni-kiel.de, Tel. 880-7271, R. 706 / CAP-4

Programmierung. Prof. Dr. Michael Hanus mh@informatik.uni-kiel.de, Tel. 880-7271, R. 706 / CAP-4 Programmierung Prof. Dr. Michael Hanus mh@informatik.uni-kiel.de, Tel. 880-7271, R. 706 / CAP-4 Fabian Reck fre@informatik.uni-kiel.de, Tel. 880-7262, R. 701 / CAP-4 Institut für Informatik Christian-Albrechts-Universität

Mehr

Informatik II Datenstrukturen und Algorithmen

Informatik II Datenstrukturen und Algorithmen Informatik II Datenstrukturen und Algorithmen Prof. Dr. Xiaoyi Jiang Institut für Informatik Universität Münster SS 2009 1 Organisation Organisation ist ein Mittel, die Kräfte des einzelnen zu vervielfältigen.

Mehr

Kombinatorische Optimierung Vorlesung für den Bereich Diplom/Master Informatik

Kombinatorische Optimierung Vorlesung für den Bereich Diplom/Master Informatik Kombinatorische Optimierung Vorlesung für den Bereich Diplom/Master Informatik Dozent: Juniorprof. Dr. Henning Meyerhenke PARALLELES RECHNEN INSTITUT FÜR THEORETISCHE INFORMATIK, FAKULTÄT FÜR INFORMATIK

Mehr

International Accounting

International Accounting Sommersemester 2015 International Accounting Modul l Rechnungswesen und Steuern (M4) Studiengang (Bachelor) l International Management (BIM) Dr. Michael Tschöpel l Fachbereich 7 l Wirtschaft Prof. Dr.

Mehr

Einführung in die Programmierung

Einführung in die Programmierung Einführung in die Programmierung PD Dr. Peer Kröger, Dr. Andreas Züfle, Daniel Kaltenthaler, Klaus Schmid Ludwig-Maximilians-Universität München, Institut für Informatik, LFE Datenbanksysteme Wintersemester

Mehr

Informatik und Informationstechnik (IT)

Informatik und Informationstechnik (IT) Informatik und Informationstechnik (IT) Abgrenzung Zusammenspiel Übersicht Informatik als akademische Disziplin Informations- und Softwaretechnik Das Berufsbild des Informatikers in der Bibliothekswelt

Mehr

Referat rekursive Mengen vs. rekursiv-aufzählbare Mengen

Referat rekursive Mengen vs. rekursiv-aufzählbare Mengen Kapitel 1: rekursive Mengen 1 rekursive Mengen 1.1 Definition 1.1.1 informal Eine Menge heißt rekursiv oder entscheidbar, wenn ihre charakteristische Funktion berechenbar ist. 1.1.2 formal Eine Menge A

Mehr

Induktive Definitionen

Induktive Definitionen Induktive Definitionen Induktive Definition: Konstruktive Methode zur Definition einer Menge M von Objekten aus Basisobjekten mittels (Erzeugungs-) Regeln Slide 1 Rekursion über den Aufbau: Konstruktive

Mehr

Programmierung 1 für Wirtschaftsinformatik Wintersemester 2013/14

Programmierung 1 für Wirtschaftsinformatik Wintersemester 2013/14 Programmierung 1 für Wirtschaftsinformatik Wintersemester 2013/14 Prof. Dr.-Ing. habil. Peter Sobe Fakultät Informatik / Mathematik Programmierung 1: Programmierung 1 - Ziele Vermittlung von Grundkenntnissen

Mehr

Teil II: Konzepte imperativer Sprachen

Teil II: Konzepte imperativer Sprachen Teil II: Konzepte imperativer Sprachen Imperative Konzepte und Techniken Eine Einführung am Beispiel von Java K. Bothe, Institut für Informatik, HU Berlin, GdP, WS 2015/16 Version: 2. Nov. 2015 II. Konzepte

Mehr

Programmierung 2. Organisatorisches. Sebastian Hack. Klaas Boesche. Sommersemester 2012. hack@cs.uni-saarland.de. boesche@cs.uni-saarland.

Programmierung 2. Organisatorisches. Sebastian Hack. Klaas Boesche. Sommersemester 2012. hack@cs.uni-saarland.de. boesche@cs.uni-saarland. 1 Programmierung 2 Organisatorisches Sebastian Hack hack@cs.uni-saarland.de Klaas Boesche boesche@cs.uni-saarland.de Sommersemester 2012 2 Wer sind wir? Dozent Assistent Sebastian Hack Gebäude E1 3 Raum

Mehr

Grundlagen der Informatik

Grundlagen der Informatik : : : : : : : : : : : : : : : : : : : : : : Grundlagen der Informatik Unter Verwendung von Folien von Prof. Helmut Balzert MICHAEL M. RESCH (HLRS) Rechnersysteme II : : : : : : : : : : : : : : : : : :

Mehr

Komplexitätstheorie Einführung und Überblick (Wiederholung)

Komplexitätstheorie Einführung und Überblick (Wiederholung) Literatur C. Papadimitriou UC Berkeley Zum Komplexitätsbegriff Strukturelle Komplexität Average Case Analyse Effiziente Algorithmen Logische Komplexität Beschreibungssprachen: SQL Kolmogorov Komplexität

Mehr

Übung zur Vorlesung Einführung in die Computerlinguistik und Sprachtechnologie

Übung zur Vorlesung Einführung in die Computerlinguistik und Sprachtechnologie Übung zur Vorlesung Einführung in die Computerlinguistik und Sprachtechnologie Wintersemester 2009/10, Prof. Dr. Udo Hahn, Erik Fäßler Übungsblatt 3 vom 19.11.2009 Abgabe bis 26.11.2009, 14:30 Uhr; per

Mehr

Theoretische Informatik 1

Theoretische Informatik 1 Theoretische Informatik 1 Bernhard Nessler Institut für Grundlagen der Informationsverabeitung TU Graz SS 2007 Übersicht 1 Allgemein Teilgebiete der Informatik ohne Theoretische Grundlagen 2 Fragen an

Mehr

Informatik I. Grundlagen der systematischen Programmierung. Peter Thiemann WS 2008/09. Universität Freiburg, Germany

Informatik I. Grundlagen der systematischen Programmierung. Peter Thiemann WS 2008/09. Universität Freiburg, Germany Informatik I Grundlagen der systematischen Programmierung Peter Thiemann Universität Freiburg, Germany WS 2008/09 Organisatorisches Vorlesung Di und Do, 11-13 Uhr, HS 101-00-036 Dozent Prof. Dr. Peter

Mehr

Einführung in Eclipse und Java

Einführung in Eclipse und Java Universität Bayreuth Lehrstuhl für Angewandte Informatik IV Datenbanken und Informationssysteme Prof. Dr.-Ing. Jablonski Einführung in Eclipse und Java Dipl.Inf. Manuel Götz Lehrstuhl für Angewandte Informatik

Mehr

Datenbanksysteme (5 LP) Softwaretechnik (5 LP) Kommunikationssysteme (5 LP) Automaten und Sprachen. Diskrete Strukturen (5 LP)

Datenbanksysteme (5 LP) Softwaretechnik (5 LP) Kommunikationssysteme (5 LP) Automaten und Sprachen. Diskrete Strukturen (5 LP) Datenbanksysteme I Prof. Dr. E. Rahm Wintersemester 2015/2016 DBS 1 Universität Leipzig Institut für Informatik http://dbs.uni-leipzig.de 15/16, Prof. Dr. E. Rahm 0-1 BACHELOR Informatik Algorithmen und

Mehr

Programmieren Formulierung eines Algorithmus in einer Programmiersprache

Programmieren Formulierung eines Algorithmus in einer Programmiersprache Zum Titel der Vorlesung: Programmieren Formulierung eines in einer Programmiersprache Beschreibung einer Vorgehensweise, wie man zu jedem aus einer Klasse gleichartiger Probleme eine Lösung findet Beispiel:

Mehr

Mathematik für Wirtschaftswissenschaftler. gehalten von Claus Diem

Mathematik für Wirtschaftswissenschaftler. gehalten von Claus Diem Mathematik für Wirtschaftswissenschaftler gehalten von Claus Diem Übungen Die Seminare / Übungsgruppen / Tutorien finden wöchentlich statt. Alle zwei Wochen am Montag wird ein Übungsblatt ausgegeben. Dies

Mehr

Lehrstuhl für Produktionswirtschaft Prof. Dr. Marion Steven PRODUKTIONSLOGISTIK. Produktionswirtschaft. Sommersemester 2015

Lehrstuhl für Produktionswirtschaft Prof. Dr. Marion Steven PRODUKTIONSLOGISTIK. Produktionswirtschaft. Sommersemester 2015 Lehrstuhl für Produktionswirtschaft Prof. Dr. Marion Steven PRODUKTIONSLOGISTIK Produktionswirtschaft Sommersemester 2015 Vorstellung Prof. Dr. Marion Steven Sekretariat: GC 4/60 Tel.: 0234/32-28010 Sprechstunde:

Mehr

Grundlagen der Informatik II. Teil I: Formale Modelle der Informatik

Grundlagen der Informatik II. Teil I: Formale Modelle der Informatik Grundlagen der Informatik II Teil I: Formale Modelle der Informatik 1 Einführung GdInfoII 1-2 Ziele/Fragestellungen der Theoretischen Informatik 1. Einführung abstrakter Modelle für informationsverarbeitende

Mehr

Informationssysteme. PD Dr. Andreas Behrend. 7. Mai 2014. Abgegebene Fragebögen: 36

Informationssysteme. PD Dr. Andreas Behrend. 7. Mai 2014. Abgegebene Fragebögen: 36 Informationssysteme PD Dr. Andreas Behrend 7. Mai 2014 Abgegebene Fragebögen: 36 1 Multiple Choice 1.1 Bitte beurteile die Gestaltung der Veranstaltung durch die Dozentin / den Dozenten. 1.1.1 Verständlichkeit

Mehr

I. Einführung. 1. Ziel und Motivation. Ingenieur, Programmieren?? Ingenieur, Programmieren?? Technische Informatik für Ingenieure (TIfI) WS 2005/2006

I. Einführung. 1. Ziel und Motivation. Ingenieur, Programmieren?? Ingenieur, Programmieren?? Technische Informatik für Ingenieure (TIfI) WS 2005/2006 Technische Informatik für Ingenieure (TIfI) WS 2005/2006 I. Einführung Ekkart Kindler Ziel und Motivation Grundbegriffe Praxis Zwischendurch: Organisatorische Hinweise und Ablauf der Veranstaltung 1. Ziel

Mehr

Induktive Beweise und rekursive Definitionen

Induktive Beweise und rekursive Definitionen Induktive Beweise und rekursive Definitionen Vorlesung Logik in der Informatik, HU Berlin 1. Übungsstunde Beweis durch vollständige Induktion über N Aufgabe 1 Zeige, dass für alle n N gilt: n 2 i = 2 n+1

Mehr

Klausurplan Mathematik

Klausurplan Mathematik Klausurplan Mathematik SS 16 Stand: 4. Juli 2016 Zuordnung: Studenten Montag, der 18. Juli 2016 9:30 10:30 Schadenversicherungsmathematik Hilfsmittel: etr, esa: 2 A4-Blätter S103/123 Dienstag, der 19.

Mehr

BWL B/BWL II ABSATZ UND BESCHAFFUNG

BWL B/BWL II ABSATZ UND BESCHAFFUNG BWL B/BWL II ABSATZ UND BESCHAFFUNG LEHRINHALTE UND ORGANISATORISCHES UNIV.-PROF. DR. DANIEL WENTZEL Fakultät für Wirtschaftswissenschaften TIME Research Area Lehrstuhl für Marketing (MAR) Kontakt: Marcel

Mehr

Vom Abitur zur Informatik (computer science)

Vom Abitur zur Informatik (computer science) Vom Abitur zur Informatik (computer science) André Frimberger, andre@frimberger.de 16.06.2009 André Frimberger Vom Abitur zur Informatik (computer science) 1 1 Einleitung Was ist Informatik? 2 Das Informatikstudium:

Mehr

Programmierkurs I Große Übung

Programmierkurs I Große Übung Programmierkurs I Große Übung Programmierkurs I - Übung 0 p. 1/14 Veranstaltungen und Veranstalter Vorlesung Montag 10.15-11.45 Uhr B6, A1.01 Dr. Heinz Kredel Große Übung Mittwoch 10.15-11.45 Uhr A5, C014

Mehr

Mathematische Grundlagen

Mathematische Grundlagen Mathematische Grundlagen für Wirtschaftsinformatiker Prof. Dr. Peter Becker Fachbereich Informatik Hochschule Bonn-Rhein-Sieg Wintersemester 2015/16 Peter Becker (H-BRS) Mathematische Grundlagen Wintersemester

Mehr

Einführungslehrgang Zivilrecht. Besprechung Klausurenkurs Zivilrecht (13) Einführungslehrgang Zivilrecht. Besprechung Klausurenkurs Strafrecht (14)

Einführungslehrgang Zivilrecht. Besprechung Klausurenkurs Zivilrecht (13) Einführungslehrgang Zivilrecht. Besprechung Klausurenkurs Strafrecht (14) November 2015 Montag 02.11. 08.30 13.30 Klausurenkurs Strafrecht (14) Abgabe bis 04.11. Bekanntgabe 28.10. 09.30 13.00 Einführungslehrgang Zivilrecht Dienstag 03.11. 09.30 13.00 Einführungslehrgang Zivilrecht

Mehr

Programmieren was ist das genau?

Programmieren was ist das genau? Programmieren was ist das genau? Programmieren heisst Computerprogramme herstellen (von griechisch programma für Vorschrift). Ein Computerprogramm ist Teil der Software eines Computers. Als Software bezeichnet

Mehr

Wärme- und Stoffübertragung für CBI, LSE, ET, CE und MB

Wärme- und Stoffübertragung für CBI, LSE, ET, CE und MB Wärme- und Stoffübertragung für CBI, LSE, ET, CE und MB Andreas Paul Fröba Michael Rausch Prof. Dr.-Ing. A. P. Fröba und Dr.-Ing. Michael Rausch Wärme- und Stoffübertragung Folie 1 Erreichbarkeit, Ortsplan

Mehr

Software-Engineering Einführung

Software-Engineering Einführung Software-Engineering Einführung 1. Übung (23.10.2014) Dr. Gergely Varró, gergely.varro@es.tu-darmstadt.de Erhan Leblebici, erhan.leblebici@es.tu-darmstadt.de Tel.+49 6151 16 4388 ES Real-Time Systems Lab

Mehr

Allgemeine Informatik Thema 1 Informatik; Konzepte

Allgemeine Informatik Thema 1 Informatik; Konzepte Conf. dr. I. Intorsureanu Wirtschaftsakademie Bukarest Allgemeine Informatik Thema 1 Informatik; Konzepte Inhalt: Informatik Information und Daten Computer Hardware und Software Historischer Überblick

Mehr

Dienstag, 3. September Mittwoch, 4. September Donnerstag, 5. September Freitag, 6. September. Mittwoch, 25. September.

Dienstag, 3. September Mittwoch, 4. September Donnerstag, 5. September Freitag, 6. September. Mittwoch, 25. September. 3. Semester Montag, 2. September Dienstag, 3. September Mittwoch, 4. September Donnerstag, 5. September Freitag, 6. September Montag, 9. September Dienstag, 10. September Mittwoch, 11. September Donnerstag,

Mehr

Vorlesung Programmieren

Vorlesung Programmieren Vorlesung Programmieren Einführung 20.10.2014 Prof. Dr. Ralf H. Reussner Version 1.0 LEHRSTUHL FÜR SOFTWARE-DESIGN UND QUALITÄT (SDQ) INSTITUT FÜR PROGRAMMSTRUKTUREN UND DATENORGANISATION (IPD), FAKULTÄT

Mehr

Übung zur Vorlesung Berechenbarkeit und Komplexität

Übung zur Vorlesung Berechenbarkeit und Komplexität RWTH Aachen Lehrgebiet Theoretische Informatik Reidl Ries Rossmanith Sanchez Tönnis WS 2012/13 Übungsblatt 9 10.12.2012 Übung zur Vorlesung Berechenbarkeit und Komplexität Aufgabe T20 Beweisen Sie die

Mehr

Hinweise zur Vorlesung: Einsatz IT-gestützter Methoden im Accounting und Controlling

Hinweise zur Vorlesung: Einsatz IT-gestützter Methoden im Accounting und Controlling Dr. Alp Kor Universität Hamburg Institut für Revisions- und Treuhandwesen Wintersemester 2012 / 2013 Hinweise zur Vorlesung: Einsatz IT-gestützter Methoden im Accounting und Controlling Ziel der Lehrveranstaltung

Mehr

Entwurf von Algorithmen - Kontrollstrukturen

Entwurf von Algorithmen - Kontrollstrukturen Entwurf von Algorithmen - Kontrollstrukturen Eine wichtige Phase in der Entwicklung von Computerprogrammen ist der Entwurf von Algorithmen. Dieser Arbeitsschritt vor dem Schreiben des Programmes in einer

Mehr

Softwaretechnik WS 2013/14. Fomuso Ekellem

Softwaretechnik WS 2013/14. Fomuso Ekellem WS 2013/14 Organisatorisches Dozentin : Ango (Raum 2.250) Fragen und Übungen: mathe_ekellem@yahoo.com (Nur hier, sonst wird nicht bewertet) Folien: http://www.gm.fh-koeln.de/~afomusoe/softwaretechnik.html

Mehr

Praktische Informatik 1

Praktische Informatik 1 Praktische Informatik 1 Imperative Programmierung und Objektorientierung Karsten Hölscher und Jan Peleska Wintersemester 2011/2012 Session 1 Ziele der Veranstaltung Imperative Programmierung... Konzepte

Mehr

Eine Einführung in die Idee des Wissensmanagements

Eine Einführung in die Idee des Wissensmanagements Eine Einführung in die Idee des Wissensmanagements Vortrag an der Universität Potsdam im Rahmen des Kurses "Doing Knowledge" am 25.01.2013 Dr. Alexander Klier Zwei Begriffe Management und Wissen Episteme

Mehr

JAVA als erste Programmiersprache Semesterkurs

JAVA als erste Programmiersprache Semesterkurs JAVA als erste Programmiersprache Semesterkurs 0 - Einstieg WS 2012 / 2013 Prof. Dr. Bodo Kraft Prof. Dr. Bodo Kraft FH Aachen University of Applied Sciences Fachbereich Medizintechnik und Technomathematik

Mehr

Das P versus N P - Problem

Das P versus N P - Problem Das P versus N P - Problem Dr. Michael Huber Habilitationsvortrag eines der sieben Milleniumsprobleme des Clay Mathematics Institute A gift to Mathematics from Computer Science (Steve Smale) Überblick

Mehr

Programmieren Tutorium Wintersemester 2008/2009

Programmieren Tutorium Wintersemester 2008/2009 Micha Bruns, Philipp Tölle, Markus Roth 1 Programmieren Tutorium Wintersemester 2008/2009 Markus Roth Tutorium Nr. 10 28.10.2008 Micha Bruns, Philipp Tölle, Markus Roth 2 Übersicht Organisatorisches Über

Mehr

Einführung in die Informatik I

Einführung in die Informatik I Einführung in die Informatik I Algorithmen und deren Programmierung Prof. Dr. Nikolaus Wulff Definition Algorithmus Ein Algorithmus ist eine präzise formulierte Handlungsanweisung zur Lösung einer gleichartigen

Mehr

Software Engineering II Projektorganisation und Management Organisatorische Hinweise

Software Engineering II Projektorganisation und Management Organisatorische Hinweise Technische Universität München Software Engineering II Projektorganisation und Management Organisatorische Hinweise Prof. Dr. Dr. h.c. Manfred Broy Agenda Organisatorisches Team Termine Anmeldungen Übungsbetrieb

Mehr

4. Semester Freitag, 1. März

4. Semester Freitag, 1. März 4. Semester Freitag, 1. März Semesterbeginn Montag, 4. März Dienstag, 5. März Mittwoch, 6. März Donnerstag, 7. März Freitag, 8. März 14.00 17.00 Uhr 14.00 17.00 Uhr 15.45 18.00 Uhr Montag, 11. März Dienstag,

Mehr

Hinweise zu Ablauf und Anforderungen der Seminare UK: Aktuelle Fälle (Bachelor) und UK: Aktuelle M&A-Fälle (Master) im Sommersemester 2016

Hinweise zu Ablauf und Anforderungen der Seminare UK: Aktuelle Fälle (Bachelor) und UK: Aktuelle M&A-Fälle (Master) im Sommersemester 2016 Hinweise zu Ablauf und Anforderungen der Seminare UK: Aktuelle Fälle (Bachelor) und UK: Aktuelle M&A-Fälle (Master) im Sommersemester 2016 1 UK-Seminar Allgemeine Informationen Das Seminar zeichnet sich

Mehr