Abstract-Band - Fakultät für Informatik, TU Wien - Technische ...

erstrebenswert. In dieser Diplomarbeit erweiterten wir eine systematische
Prozedur, die Hilbert-Axiome in äquivalente analytische Regeln umformt, auf
die Familie der Axiome (Bdk) mit k 1. Um die Prozedur auf diese Axiome zu
erweitern, definierten wir zunächst einen neuen Formalismus, den
Nichtkommutativen Hypersequenzkalkül, und erstellten geeignete Regeln
entsprechend den Axiomen (Bdk). Für diese Regeln bewiesen wir Korrektheit,
Vollständigkeit und Schnittelimination. Zusätzlich entwickelten wir einen
Algorithmus auf Basis der systematische Prozedur und implementierten
diesen in PROLOG.
Harald Andreas Zumpf
Theorien und Modelle der Kommunikation
Studium: Masterstudium Informatikmanagement
Betreuer: Ao.Univ.Prof. Dr. Rudolf Freund
Die vorliegende Magisterarbeit befasst sich mit der Betrachtung und Analyse
gängiger Theorien und Modelle der Kommunikationstheorie. Der
Schwerpunkt liegt hierbei auf der Systembetrachtung von Wechselwirkungen
zwischen weit verbreiteten Modellen der Analyse, deren Kongruenz und der
daraus resultierenden Anwendbarkeit im Kontext der didaktischen Implikation.
Es wird untersucht, inwieweit gebräuchliche Modelle im Lehr- und
Vortragsbereich sinnvoll umgesetzt und logisch verknüpft werden können.
Des Weiteren werden neue Modelle und Hilfsmodelle erstellt, die sich durch
eine bessere Anwendbarkeit in den Bereichen der Erwachsenenbildung und
der Lehre auszeichnen. Zu diesem Zweck ist es mein Ziel, die von mir
erstellten Brücken- und Metamodelle anhand von exemplarischen
Anwendungen auf Ihre Umsetzbarkeit zu überprüfen. Dabei wird besonderes
Augenmerk auf das Fragestellen gelegt, weil dadurch oftmals eine Steuerung
bei verbal-kommunikativen Wechselwirkungen stattfindet. Durch meine
langjährige Tätigkeit im Bereich der Erwachsenenbildung bieten sich
zahlreichen Möglichkeiten, die hier vorgestellten Modelle zu erproben, um
möglichst effiziente Wege zu deren Vermittlung und Anwendbarkeit zu
realisieren. Die hier vorgestellten und entwickelten Modelle können zwar
oftmals auch auf andere Sprachen angewendet werden, jedoch konzentriert
sich diese Arbeit ausschließlich auf die Implikationen und Effekte im Kontext
der deutschen Sprache.
53