It will not be our purpose in this chapter to give an introduction to the field of abstract data types proper. There are many such introductions - see the references in the bibliography. We intend rather to provide a beginner's guide to the 870 papers cited there. For experts, the 1 i st of those programmi ng languages and systems which appear in the titles should prove useful. We shall not recommend one single paper as a starting point but mention several papers which cover various aspects of the theory. Historically, the papers of [PARNAS 70] and [HOARE 72] are generally regarded as the...

Das vor1iegende Skriptum ist der erste Tei1 ei.ner 4-semestrigen V- n 1esung nMathematik fur Informatiker, die seit WS 79/80 an der Universitat Linz neu aufgebaut wird. Die Autoren wurden bei. der Strukturierung des Gesamtzyk1us und insbesondere bei der Konzeption dieses ersten Tei1s von fo1genden Grundgedanken ge1eitet: 1. Mathematik ist die Technik des rationa1en Prob1em1osens. Der Vor gang des Prob1em1osens in seiner Ganzheit, beginnend bei der Analyse des meist nur sehr diffus geste11ten Problems bis zur ubersicht1ichen Prasentation des fertigen Losungsverfahrens und der Ergebnisse sollte...