Allgemeine Informationen

Veranstaltungsname	Vorlesung: Formale Sprachen/Petrinetze
Veranstaltungsnummer	INF.06234.01
Semester	WS 2017/18
Aktuelle Anzahl der Teilnehmenden	6
erwartete Teilnehmendenanzahl	50
Heimat-Einrichtung	Institut für Informatik
beteiligte Einrichtungen	Theoretische Informatik
Veranstaltungstyp	Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin	Mittwoch, 11.10.2017 14:15 - 15:45, Ort: (HS 3.31)
Art/Form	3 Vorlesungsstunden + 1 Übungsstunde
Voraussetzungen	Grundkenntnisse über Formale Sprachen z.B. aus der Vorlesung Automaten und Berechenbarkeit
Studiengänge (für)	Bachelor Informatik/Bioinformatik
SWS	3V + 1Ü
ECTS-Punkte	5

Lehrende

apl. Prof. Dr. Klaus Reinhardt

Räume und Zeiten

(HS 3.31): Mittwoch: 14:15 - 15:45, wöchentlich (15x)
(HS 3.04): Freitag: 12:15 - 13:45, wöchentlich (15x)

Studienbereiche

Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik

Modulzuordnungen

Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2018/19 - WS 2022/23) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 2: Übung (Übung)
Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2016/17 - SS 2018) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 2: Übung (Übung)
Informatik Informatik180, Akkreditierungsfassung (WS 2012/13 - SS 2016) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 2: Übung (Übung)
Informatik Informatik180, Akkreditierungsfassung (WS 2016/17 - SS 2018) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 2: Übung (Übung)
Informatik Informatik180, Akkreditierungsfassung (WS 2018/19 - WS 2022/23) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 2: Übung (Übung)
Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2012/13 - SS 2016) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 2: Übung (Übung)
Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2018/19 - WS 2022/23) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 1: Vorlesung (Vorlesung)
Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2016/17 - SS 2018) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 1: Vorlesung (Vorlesung)
Informatik Informatik180, Akkreditierungsfassung (WS 2012/13 - SS 2016) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 1: Vorlesung (Vorlesung)
Informatik Informatik180, Akkreditierungsfassung (WS 2016/17 - SS 2018) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 1: Vorlesung (Vorlesung)
Informatik Informatik180, Akkreditierungsfassung (WS 2018/19 - WS 2022/23) > Bereich Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 1: Vorlesung (Vorlesung)
Bioinformatik Bioinformatik180, Akkreditierungsfassung (WS 2012/13 - SS 2016) > Informatik > INF.06234.04 - Formale Sprachen/Petrinetze, gültig ab WS 2016/17 > LV 1: Vorlesung (Vorlesung)

Kommentar/Beschreibung

Schaltverhalten von Petrinetzen, Invarianten, Lebendigkeit, Beschränktheit, Modellierung von Prozessen in verschiedenen Bereichen, Zusammenhang zu Formalen Sprachen und linearer Algebra, Entscheidungsalgorithmen.