Grundlagen der Informatik I “Programmierung”
Grundlagen der Informatik I “Programmierung”
Grundlagen der Informatik I “Programmierung”
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Einige empfehlenswerte Bücher<br />
Die Vorlesung “Grundzüge <strong>der</strong> <strong>Informatik</strong> I” wird sich in vielen Teilen an dem Buch Object-oriented Software<br />
Construction von B. Meyer orientieren, allerdings darüber hinaus noch den Aspekt <strong>der</strong> Verifikation betonen,<br />
<strong>der</strong> in diesem Buch nicht behandelt wird. Da das Buch zudem die erste Version <strong>der</strong> Sprache Eiffel benutzt,<br />
wird als Sprachreferenz zum Nachschlagen das Buch Eiffel the Language empfohlen. Beide Bücher sind nicht<br />
billig.<br />
Allgemein<br />
1. H.J. Appelrath, Ludwig: Skriptum <strong>Informatik</strong> - eine konventionelle Einführung; Teubner, 1991<br />
2. H.J. Appelrath, Ludwig, a. Spiegel: Aufgaben zum Skriptum <strong>Informatik</strong>; Teubner, 1991<br />
3. F. L. Bauer, G. Goos: <strong>Informatik</strong>, eine einführende Übersicht; in zwei Teilen, Springer-Verlag, 3. Auflage<br />
1990<br />
4. F. L. Bauer, R. Gnatz, V. Hill: <strong>Informatik</strong>, Aufgaben und Lösungen; in zwei Teilen, Springer-Verlag,<br />
1975<br />
5. F. L. Bauer, H. Wössner: Algorithmische Sprache und Programmentwicklung; Springer-Verlag, 1981<br />
6. O. Dahl, E. W. Dijkstra, C. A. R. Hoare: Structured Programming; Academic Press, 1972<br />
7. H.-J. Hoffmann: Grundzüge <strong>der</strong> <strong>Informatik</strong> I + II, Interner Bericht, Kopiervorlage im LZI<br />
8. W, Henhapl: Grundzüge <strong>der</strong> <strong>Informatik</strong> I + II, Interner Bericht, Kopiervorlage im LZI<br />
9. G. Hommel, S. Jähnichen, C. H. A. Koster: Methodisches Programmieren; de Gruyter, 1983<br />
10. D. Knuth: The art of computer programming; Vol 1: Fundamental algorithms; Addison-Wesley, ab 1968<br />
ein Klassiker, aber immer noch sehr empfehlenswert<br />
11. B. Meyer: Object-oriented Software Construction; Prentice Hall International, 1988.<br />
Auch in Deutsch erhältlich, aber nicht gut übersetzt<br />
12. H. Noltemeier, R. Laue: <strong>Informatik</strong> II; Hanser, 1984<br />
13. H.-J. Schnei<strong>der</strong> (Hrsg.): Lexikon <strong>der</strong> <strong>Informatik</strong> und Datenverarbeitung; Oldenbourg, 2. Auflage, 1986<br />
14. E. H. Waldschmidt, H. K.-G. Walter: Grundzüge <strong>der</strong> <strong>Informatik</strong> I; BI-Wissenschaftsverlag, 1984<br />
15. N. Wirth: Systematisches Programmieren; Teubner Studienbücher, 1972<br />
eine gute Einführung, inzwischen etwas veraltet<br />
16. N. Wirth: Algorithmen und Datenstrukturen; Teubner Studienbücher, 1983<br />
Verifikation<br />
1. D. Gries: The Science of Programming, Springer-Verlag 1981<br />
Eine extrem geduldige Einführung in Systematik und Verifikation<br />
2. E. Dijkstra: A Discipline of Programming, Prentice Hall 1976<br />
3. B Hohlfeld, W. Struckmann: Einführung die Programmverifikation, Reihe <strong>Informatik</strong> 88, BI-Wissenschaftsverlag<br />
92