Grundlagen und Konzepte der Modellierung
Vorlesung Grundlagen und Konzepte der Modellierung
Inhaltsverzeichnis
Klausurtermine
Die Klausur findet am Treitag, den 9. Februar 2007, i m Gebäude der Inforamtik statt.
Klausur "Grundlagen und Konzepte der Modellierung"
(2 Stunden, Raum 5.09/5.10):
*Studierende in Bachelorstudiengängen aller Fachrichtungen, die die
Zulassung zur Klausur erreicht haben
Achtung: mit der Anmeldung zum Modul ist man automatisch zur Klausur
angemeldet. Ein Nicht-Erscheinen bedeutet automatisch, dass man in der
Klausur durchgefallen ist.
* Studierende, die im SS in den Bachelorstudiengang wechseln und
Informatik 1 noch nicht bestanden haben.
* Studierende der Bioinformatik (Diplom) im 1. Fachsemester.
Klausur "Informatik 1" (2 Stunden, HS 3.28):
* Studierende der Wirtschaftsinformatik
* Studierende Informatik (Diplom), die nicht in Bachelor gewechselt sind
und die Zulassung zur Informatik 1 bekommen haben.
* Studierende Bioinformatik (Diplom) in Fachsemester 3 oder höher, die
Zulassung zur Informatik 1 bekommen haben.
* Studierende Wirtschaftsmathematik (Diplom) in Fachsemester 3 oder
höher, die Zulassung zur Informatik 1 bekommen haben.
* Studierende Mathematik (Diplom) mit Wahlpflichtfach Informatik in
Fachsemester 3 oder höher, die Zulassung zur Informatik 1 bekommen haben.
Klausur "Mathematische Grundlagen der Informatik" (2 Stunden, HS 3.28):
* Studierende Informatik (Diplom), die nicht in Bachelor gewechselt sind
und die Zulassung zu "Mathematischen Grundlagen der Informatik" erhalten
haben.
Teilklausur "Mathematische Grundlagen der Informatik"
(1 Stunde, HS 3.07):
* Studierende Informatik (Diplom), die im SS in den Bachelor wechseln
und die "Informatik 1" bestanden haben.
Teilklausur "Konzepte der Modellierung" (1 Stunde, HS 3.07)
* Studierende Informatik (Diplom), die im SS nicht in den Bachelor
wechseln und noch keine Zulassung zur Informatik 1 erworben haben
* Studierende Bioinformatik (Diplom) im 3. oder höheren Fachsemester,
die noch keine Zulassung zur Informatik 1 erworben haben.
Hinweis: Diese Studierenden müssen im SS noch das Modul "Konzepte der
Programmierung" erfolgreich absolvieren.
Ort, Zeit
Vorlesung: Di 14-16 Uhr, HS 3.28 und Do 14-16 Uhr, HS 3.28
Übungen: Mi 12-14 Uhr, SR 1.30
Di 16.15 - 17.00 Uhr, HS 3.28
Do 8-10 Uhr, SR 1.04
Mi 8-10 Uhr, SR 1.30
Do 10-12 Uhr, SR 1.30
Vorlesungsinhalte
Lernziele:
- Verständnis für abstrakte Zusammenhänge, Kenntnis grundlegender mathematischer Methoden, Fähigkeit zum logischen Denken
- mathematisches Grundlagenwissen als Voraussetzung für selbständiges Lernen und Arbeiten
- Beherrschen der mathematischen Sprache
- exaktes und gründliches Arbeiten
- Anwendung verschiedener Problemlösestrategien und Beweisverfahren
- Erkennen von Zusammenhängen zwischen verschiedenen Gebieten und Konzepten der Mathematik und Informatik
- Förderung des logischen Denkens und Abstraktionsvermögens
- Kenntnisse und Verständnis über die Grundkonzepte der Modellierung
- Überblick über grundlegende Modellierungsmethoden
- Verständnis für Validierung
- Fähigkeiten einfacher Modelle mit Hilfe von Kalkülen zu validieren
Inhalte:
Dieses Modul besteht aus zwei aufeinander aufbauenden Lehrveranstaltungen. Die Lehrveranstaltung mathematische Grundlagen der Informatik hat zum Ziel die Grundlagen aus Mengenlehre, Logik und diskreter Mathematik zu legen, die dann in der zweiten Lehrveranstaltung Konzepte der Modellierung verwendet werden.
1. Einführung in die Informatik
2. Mathematische Grundlagen der Informatik
- Mengen, Relationen, Graphen
- Logik
- Diskrete Mathematik
- Algebren
3. Konzepte der Modellierung - Textersetzungssysteme und Grammatiken
- Modellierung von Abläufen
- Abstrakte Datentypen
- Logik zur Spezifikation von Problemen
- Objekt-Orientiertes Modellieren: UML Klassendiagramme
Folien
Allgemeines und Organisatorisches
slides-4.pdf
(externe Datei)
Einführung in die Informatik
einleitung-4.pdf
(externe Datei)
Konzepte der Modellierung
Kapitel 1: Einleitung
intro-4.pdf
(externe Datei)
Kapitel 2: Abstrakte Datentypen
aktualisierte und vollständige Folien
adt-4.pdf
(externe Datei)
Kapitel 3: Modellierung von Texten
text-4.pdf
(externe Datei)
Kapitel 4: Modellierung technischer Systeme
zustand-4.pdf
(externe Datei)
Kapitel 5: Objektorientierte Modellierung
aktualisierte und vollständige Folien
oo.pdf
(externe Datei)
Übungen
Übungsserie 11
ueb01.pdf
(95,9 KB) vom 15.12.2006
Übungsserie 13
uebung13.pdf
(495,2 KB) vom 05.01.2007
Übungsserie 15
uebung15.pdf
(505,8 KB) vom 13.01.2007
Übungsserie 16
ueb02.pdf
(89,7 KB) vom 19.01.2007
Hilfen und sonstige Materialien
Markov-Automat
markov.jar
(externe Datei)
Tutorial zum Markov-Automat
markov.pdf
(externe Datei)
Exportierte Beispiel-Datei des Tutorials
markov1.mkv
(externe Datei)
Folgende Links wurden im Tutorial verwendet: