Prof. Dr. Boris Hollas
Fakultät für Informatik/Mathematik, HTW Dresden
Email: <last name>@informatik.htw-dresden.de
Tel. 0351/462-2611
Lehrveranstaltungen im SS 2012
Theoretische Informatik
Inhalte:
- Formale Sprachen
- Grammatiken
- Automaten
- Berechenbarkeit und Entscheidbarkeit
- Komplexität
Literatur:
Aufgaben
Künstliche Intelligenz
Inhalte:
- Aussagenlogik
- Pädikatenlogik
- Resolution
- Prolog
- Suchverfahren
Literatur:
- Wolfgang Ertel: Grundkurs Künstliche Intelligenz
- Uwe Schöning: Logik für Informatiker
- Martin Kreuzer und Stefan Kühling: Logik für Informatiker
- Stuart J. Russell und Peter Norvig: Artificial Intelligence: A Modern Approach
- William F. Clocksin und Christopher S. Mellish: Programming in Prolog
Aufgaben und Programme
Formale Verifikation
An sichere und zuverlässige Systeme werden hohe Anforderungen gestellt, die sich durch Tests nur mit großem Aufwand erfüllen lassen. Seit
einigen Jahren ist das Interesse an Verfahren gestiegen, mit denen sich Korrektheitseigenschaften eines Systems oder einer Software
formal nachweisen lassen. Dazu werden Eigenschaften formal spezifiziert und durch Verifikationstools für ein Modell oder eine
Implementierung des Systems bewiesen. Derartige Verfahren werden von Intel, Siemens Transportation Systems, Airbus, Dassault und Microsoft
bereits eingesetzt.
Inhalte:
- Temporale Logik
- Model Checking
- Wp-Kalkül und Programmverifikation
Literatur:
- Huth and Ryan: Logic in Computer Science
- Frama-C
Programme
Lehrveranstaltungen im WS 2011/12
Grundlagen der Informatik
Inhalte:
- Beweistechniken
- Aussagenlogik
- O-Notation
- Relationen und Graphen
- Analyse von Algorithmen
Literatur:
- Boris Hollas: Grundkurs Theoretische Informatik
- Christoph Meinel, Martin Mundhenk: Mathematische Grundlagen der Informatik
- Uwe Schöning, Hans Kestler: Mathe-Toolbox. Mathematische Notationen, Grundbegriffe und Beweismethoden.
Aufgaben für Hörer, die die PVL im WS nicht erbracht haben.
Hinweis: Die Modulbeschreibung ist obsolet. Die Inhalte der Vorlesung sind oben angegeben.
Programmierung I
Inhalt: Programmierung in C
- Datentypen, Typkonversion
- Funktionen, Parameterübergabe durch Call by Value, lokale Variablen
- Kontrollstrukturen if-else, switch, for, while
- Arrays, Übergabe von Arrays
- Zeiger
- Modularisierung, Information Hiding, Modultest
- Strukturen und Objektorientierung
- Listen
- Rekursion
- Grundlegende Algorithmen
Prüfungen
Die nächsten Wiederholungsprüfungen GdI (AI) und Programmierung I (WI) finden in der Prüfungszeit im SS
statt. Die Termine werden vom Prüfungsamt festgelegt. Die Inhalte sind die
gleichen wie im WS.
Themen für Abschlußarbeiten
- Implementierung eines regelbasierten Systems, das Ursache-Wirkungs-Zusammenhänge beschreibt und darin neue Zusammenhänge
entdeckt. Die Daten der Ursache-Wirkungs-Zusammenhänge stammen aus einem betrieblichen Umfeld und werden von Prof. von der
Weth, Fakultät für Wirtschaftwissenschaften, geliefert.
- Entwurf und Implementierung eines Algorithmus zum kollisionsfreien Scheduling eines Roboters, der Biochips bestückt.
- Untersuchung von automatisierten Verfahren zur formalen Verifikation von C-Programmen mit dem Framework Frama-C. Dabei sollen
verschiedene Ansätze erprobt und quantitativ miteinander verglichen werden.
Research
Publications
B. Hollas. Grundkurs Theoretische Informatik mit Aufgaben und Prüfungsfragen.
Spektrum Akademischer Verlag, 2007.
B. Hollas. An analysis of the redundancy of graph invariants used in
chemoinformatics.
Discr. Appl. Math., 154:2484--2498, 2006.
B. Hollas. On the Redundancy of Topological Indices.
PhD thesis, Universität Ulm, 2005
B. Hollas, I. Gutman, and N. Trinajstic. Reducing correlations between topological indices.
Croatica Chemica Acta., 78:489--492, 2005.
B. Hollas. On the variance of topological indices that depend on the degree of a
vertex.
MATCH Commun. Math. Comput. Chem., 54:341--350, 2005.
B. Hollas. The covariance of topological indices that depend on the degree of a
vertex.
MATCH Commun. Math. Comput. Chem., 54:177--187, 2005.
B. Hollas. An asymptotically independent topological index on random trees.
J. Math. Chem., 38(3):379 -- 387, 2005.
B. Hollas and R. Schuler. A stochastic approach to count RNA molecules using DNA sequencing methods.
In G. Benson and R. Page (Editors): Algorithms in Bioinformatics (LNBI 2812), 55--62, 2003.
B. Hollas. Correlations in distance-based descriptors.
MATCH Commun. Math. Comput. Chem., 47:79--86, 2003.
B. Hollas. An analysis of the autocorrelation descriptor for molecules.
J. Math. Chem., 33(2):91--101, 2003.
B. Hollas. Correlation properties of the autocorrelation descriptor for
molecules.
MATCH Commun. Math. Comput. Chem., 45:27--33, 2002.
