Bøger i XTeubner Studienbucher Informatik serien

Das vorliegende Lehrbuch beschaftigt sich in mathematisch praziser Weise mit ei- nem ganz und gar praktischen Thema, namlich dem Entwurf von Hardware. Kapitel 1 enthalt eine Diskussion mathematischer Grundbegriffe. In den Kapiteln 2 bis 4 werden die notwendigen theoretischen Grundlagen uber Boole'sche Ausdrucke, Schaltkreiskomplexitat und Rechnerarithmetik behandelt. Der Ubergang von der abstrakten Schaltkreistheorie zum Entwurf konkreter Schaltungen findet nahtlos in Kapitel 5 statt, wo aus den Verzogerungszeiten von Gattern das zeitliche Verhal- ten von Flipflops und anderen Speicherbausteinen abgeleitet wird. Kapitel 6 enthalt dann das vollstandige Design eines einfachen Rechners. Das Lehrbuch ist aus Vorlesungen des zweiten Autors entstanden. Kapitel 2 bis 6 enthalten den Stoff fur eine einsemestrige Anfangervorlesung. Kapitel 1 ist mehr ein Nachschlagewerk fur nagende Fragen, die sich fruher oder spater einstellen. Kapitel und Abschnitte, die mit einem Stern gekennzeichnet sind, kann man uberspringen. Die Darstellung groer Teile der Kapitell, 5 und 6 ist neu. Die Kapitel 2 bis 4 haben einen erheblichen Anteil an fortgeschrittenem Material. Es hat sich jedoch gezeigt, da Erstsemester damit keine besonderen Schwierigkeiten haben. Im Einzelnen enthalt Kapitell eine Entwicklung des formalen Mengenkonzepts in einer fur Studienanfanger verstandlichen Form. Die Satze und Beweise in diesem Kapitel sind von vorne bis hinten klassische Mathematik. Der Standpunkt, von dem aus wir sie interpretieren, ist bewut ubermutig und nicht klassisch. Wir wollen damit den Studierenden schmackhaft machen, von Zeit zu Zeit auch Wohlvertrautes von einem frischen - naturlich nicht unsinnigen - Standpunkt aus zu betrachten. Das ist insbesondere beim Forschen manchmal sehr nutzlich.

Der fachliche Entwurf eines Anwendungssystems läßt sich als ein sprachlicher Konstruktionsprozeß auffassen. Sowohl die Erschließung eines Anwendungsbe­ reichs als auch die Spezifikation und die anschließende Nutzung eines Anwen­ dungssystems erfolgen in sprachlichen Handlungen. Objekte dieses Sprechens und Handeins sind die Dinge und Geschehnisse des jeweiligen Anwendungsbereichs. Deren Ordnung im Rahmen der informationsverarbeitenden Aktivitäten eines Anwendungsbereichs wird durch die eingeführte Fachterminologie bestimmt. Betrachtet man Anwendungsentwicklung als einen Prozeß der Konstruktion und Transformation sprachlicher Ausdrücke, so läßt sich eine sichere Fundierung des Fachentwurfs von Anwendungen durch die systematische Rekonstruktion der Fachbegriffe eines Anwendungsbereichs erreichen. Das vorliegende Buch zeigt, wie durch die Rekonstruktion der Terminologie eines Anwendungsbereichs das fachliche Lösungskonzept eines geplanten Anwendungs­ systems entwickelt werden kann. Der Fachentwurf wird unterteilt in eine Phase der Rekonstruktion und eine Phase der Spezifikation. In der Rekonstruktionsphase steht die Untersuchung des Anwendungsbereichs und der im Zusammenhang mit informationsverarbeitenden Tätigkeiten übliche Gebrauch fachsprachlicher Ter­ mini im Vordergrund. Gegenstand dieser Phase ist die Rekonstruktion derjenigen Fachbegriffe, welche die Informationsverarbeitung im Anwendungsbereich steu­ ern. In der folgenden Spezifikationsphase dienen diese Fachbegriffe und die rekon­ struierten Aussagen zur objektorientierten Spezifikation des Fachkonzepts. Dieses Fachkonzept spezifiziert die Struktur und das Verhalten der gewünschten Anwen­ dung umfassend und eindeutig in einer für die Systementwicklung geeigneten Form.