Jessica Thalheimer

Tutorin im Bereich "Informatik 2 /Einführung in die Softwaretechnik". Inhalte: Softwareentwurf, Analyse- und Entwurfsmodell, UML, Objektorientierung, Entwurfsmuster, Grafische Benutzeroberfläche, Parallele Programmierung, persistente Datenhaltung, Datenbanken, XML, HTML. Sie verstehen die in Java oder einer ähnlichen objektorientierten Sprache zugrundeliegenden Konzepte und Modelle und sind in der Lage, andere objektorientierte Programmiersprachen eigenständig zu erlernen.

Arbeiten im Bereich der Verifizierung von SPS-Programmen. Dazu werden Eigenschaften der Programme in LTL formalisiert. Deren Gültigkeit wird dann mit dem interaktiven Beweiser KIV gezeigt, indem die LTL-Formeln algebraisch dargestellt und mithilfe der Rechenregeln einer Kleene-Algebra bewiesen werden.

Tutorin im Bereich "Logik für Informatiker". Diese Vorlesung behandelt Aussagenlogik und die Grundlagen der Prädikatenlogik erster Stufe; es wird gezeigt, wie man im Hilbert-Kalkül formale Beweise führen kann, der Gentzen-Kalkül und Resolution werden gestreift. Weiter behandelt die Vorlesung die Programm- und Systemverifikation mit Hoare-Logik bzw. temporaler Logik (LTL, CTL). Schließlich wird auch das Thema "Wissensmodellierung mit modaler Logik" angerissen. (Beschreibung WS 14/15; Zugriff am 27.03.15)

Tutorin im Bereich "Diskrete Sturkturen für Informatiker". Die Vorlesung stellt eine Reihe mathematischer Beschreibungsmittel zusammen, die sich in der Informatik als für viele Anwendungen wichtig herausgestellt haben. Häufig sind sind sie von diskreter Natur, d.h. sie arbeiten nicht mit kontinuierlich veränderlichen Größen. Weiter werden Graphen behandelt. (Beschreibung WS 15/16; Zurgriff 01.05.2016)

Im Fachbereich B2V Konnektivität wird eine Bildschirmpräsentation zum Monitoring der Zustände der verschiedenen Connected Drive Applikationen benötigt. Dazu müssen als Dashboards in HTML Format angezeigt werden und zu jeder Zeit auf dem aktuellen Stand sein. Dies wird im Rahmen eines eigenständigen Projektes realisiert.

Tutorin im Bereich "Diskrete Sturkturen für Informatiker". Die Vorlesung stellt eine Reihe mathematischer Beschreibungsmittel zusammen, die sich in der Informatik als für viele Anwendungen wichtig herausgestellt haben. Häufig sind sind sie von diskreter Natur, d.h. sie arbeiten nicht mit kontinuierlich veränderlichen Größen. Weiter werden Graphen behandelt. (Beschreibung WS 15/16; Zurgriff 01.05.2016)

Tutorin im Bereich "Logik für Informatiker". Diese Vorlesung behandelt Aussagenlogik und die Grundlagen der Prädikatenlogik erster Stufe; es wird gezeigt, wie man im Hilbert-Kalkül formale Beweise führen kann, der Gentzen-Kalkül und Resolution werden gestreift. Weiter behandelt die Vorlesung die Programm- und Systemverifikation mit Hoare-Logik bzw. temporaler Logik (LTL, CTL). Schließlich wird auch das Thema "Wissensmodellierung mit modaler Logik" angerissen. (Beschreibung WS 14/15; Zugriff am 27.03.15)

In dem einwöchigen Kurs werden in Teamarbeit einige komplexere Entwurfsmuster und praktisch relevante Problemstellungen unter Verwendung der Programmiersprache Java bearbeitet und die in Informatik II erworbenen Programmierkenntnisse vertieft. - Netzwerk-Kommunikation (z.B. E-Mail-Programm, Chat-Programm, ...) - Simulation paralleler Prozesse (z.B. Stau-Simulator, ...) - Grafische Oberflächen mit Swing

Tutorin im Bereich "Informatik 2 /Einführung in die Softwaretechnik". Inhalte: Softwareentwurf, Analyse- und Entwurfsmodell, UML, Objektorientierung, Entwurfsmuster, Grafische Benutzeroberfläche, Parallele Programmierung, persistente Datenhaltung, Datenbanken, XML, HTML. Sie verstehen die in Java oder einer ähnlichen objektorientierten Sprache zugrundeliegenden Konzepte und Modelle und sind in der Lage, andere objektorientierte Programmiersprachen eigenständig zu erlernen.

Tutorin im Bereich "Logik für Informatiker". Diese Vorlesung behandelt Aussagenlogik und die Grundlagen der Prädikatenlogik erster Stufe; es wird gezeigt, wie man im Hilbert-Kalkül formale Beweise führen kann, der Gentzen-Kalkül und Resolution werden gestreift. Weiter behandelt die Vorlesung die Programm- und Systemverifikation mit Hoare-Logik bzw. temporaler Logik (LTL, CTL). Schließlich wird auch das Thema "Wissensmodellierung mit modaler Logik" angerissen. (Beschreibung WS 14/15; Zugriff am 27.03.15)

Tutorin im Bereich "Informatik 2 /Einführung in die Softwaretechnik". Inhalte: Softwareentwurf, Analyse- und Entwurfsmodell, UML, Objektorientierung, Entwurfsmuster, Grafische Benutzeroberfläche, Parallele Programmierung, persistente Datenhaltung, Datenbanken, XML, HTML. Sie verstehen die in Java oder einer ähnlichen objektorientierten Sprache zugrundeliegenden Konzepte und Modelle und sind in der Lage, andere objektorientierte Programmiersprachen eigenständig zu erlernen.

Tutorin im Bereich "Logik für Informatiker". Diese Vorlesung behandelt Aussagenlogik und die Grundlagen der Prädikatenlogik erster Stufe; es wird gezeigt, wie man im Hilbert-Kalkül formale Beweise führen kann, der Gentzen-Kalkül und Resolution werden gestreift. Weiter behandelt die Vorlesung die Programm- und Systemverifikation mit Hoare-Logik bzw. temporaler Logik (LTL, CTL). Schließlich wird auch das Thema "Wissensmodellierung mit modaler Logik" angerissen. (Beschreibung WS 14/15; Zugriff am 27.03.15)

Pratkikatin im Bereich Webentwicklung: Realisierung neuer Internetseiten und Änderung bestehender Seiten auf Basis von HTML5, CSS, Javascrip und TYPO3

Softwaretechnik und Programmiersprachen, Theoretische Informatik