Lehrveranstaltungen früherer Semester

Prof. Dr. Sibylle Schwarz

Lehrveranstaltungen (Vorlesungen mit Übungen / Praktika) an der Hochschule für Technik, Wirtschaft und Kultur Leipzig:

Wintersemester: Modellierung WS 2014/15, WS 2015/16, WS 2016/17
Theoretische Informatik: Automaten und formale Sprachen WS 2015/16, WS 2016/17
Theoretische Grundlagen der Informatik WS 2013/14
Mobile Robotik (Oberseminar) WS 2014/15, WS 2015/16, WS 2016/17, SS 2017
Grundlagen des Semantic Web (Oberseminar) WS 2013/14
Sommersemester: Digitale Bildverarbeitung SS 2014, SS 2015, SS 2016, SS 2017
Grundlagen der Künstlichen Intelligenz SS 2017
Wissensrepräsentation und -verarbeitung SS 2017
Algorithmische Geometrie SS 2014, SS 2016
Deklarative Programmierung SS 2015
Computerlinguistik (Oberseminar) SS 2014
Autonomes Fahren (Oberseminar) SS 2016


Lehrveranstaltungen (Vorlesungen mit Übungen / Praktika) an der Westsächsischen Hochschule Zwickau:

Wintersemester: Logik (PTI892) WS 2008/2009, 2009/2010, 2010/11, 2011/12, 2012/13
Informationssicherheit (PTI893) WS 2009/2010, 2010/11, 2011/12, SS 2013
Deklarative Programmierung (PTI891) WS 2009/2010, 2010/11, 2011/12
Verifikations- und Spezifikationsmethoden (PTI992) WS 2009/2010, 2010/11, 2011/12, 2012/13
Wissensmanagement (PTI991) WS 2009/2010, 2010/11, 2011/12, 2012/13
Wissensbasierte Diagnosesysteme (PTI869) WS 2009/2010, 2010/11, 2011/12, 2012/13
Sommersemester: Theoretische Informatik (PTI818) SS 2009, 2010, 2011, 2012, 2013
Algorithmen und Datenstrukturen (PTI822) SS 2010, 2011, 2012, 2013
Grundlagen der Wissensverarbeitung (PTI826) SS 2010, 2011, 2012, 2013
Neuronale Netze (PTI890) SS 2009, 2010, 2011, 2012, 2013
Robotik-Projekte (PTI857) SS 2009, 2010, 2011, 2012
IT-Sicherheits-Management (PTI983) SS 2010


an der Martin-Luther-Universität Halle-Wittenberg:

Mathematische Grundlagen der Informatik Vorlesung: WS 2005/2006, WS 2006/2007
Übungen: WS 2003/2004, WS 2004/2005, WS 2007/2008, WS 2008/2009
Automaten und Logik Vorlesung: SS 2006
Mathematische Logik Vorlesung: SS 2005
Automaten und Berechenbarkeit Übungen: SS 2007, SS 2008
Logik und Berechenbarkeit Übungen: SS 2008
Algorithmen und Datenstrukturen Übungen: SS 2004


http://www.imn.htwk-leipzig.de/~schwarz mailto:sibylle.schwarz@htwk-leipzig.de