Vom Problem zum Programm: Eine Einführung in die Informatik - Brossura

Klaeren, Herbert

Brossura

ISBN 10: 3519022427 ISBN 13: 9783519022428

Casa editrice: Vieweg+Teubner Verlag, 1990

Riassunto

Dieses Buch entstand aus Manuskripten des Autors zu Informatik-I-Vor­ lesungen an der Christian-Albrechts-Universität Kiel und der Eberhard­ Karls-Universität Tübingen. An diesen Universitäten wird die Informatik­ I-Vorlesung außer von den Hauptfachstudenten der Informatik und den Ne­ benfachstudenten aus der Mathematik und Physik und ggf. weiterer N atur­ wissenschaften auch von "fachfremden" Studenten der Studiengänge Wirt­ schaftswissenschaften (Kiel) und Allgemeine Sprachwissenschaft (Tübingen) besucht. Es kommt daher darauf an, neben einer allgemeinen Einführung in Methoden der Informatik und speziell der Programmierung Verständnis für das Wesen der Informatik als einer formalen, der Mathematik nahe verwand­ ten Wissenschaft zu wecken und im übrigen die notwendigen mathematischen Grundlagen innerhalb der Vorlesung selbst anzubieten. Das Buch eignet sich zu Informatik-Grundkursen für Natur-und Geistes­ wissenschaftler, aber auch zur Informatik-Nebenfachausbildung allgemein sowie, je nach Studienplan, auch für Informatik-I-Vorlesungen. Darüber hin­ aus ist es auch zu einem Selbststudium von Informatik-Grundkenntnissen ge­ eignet; hierzu dienen unter anderem auch die aufgeführten Übungen und ihre im Anhang vorgestellten Lösungen. Es muß jedoch entsprechend dem Cha­ rakter der Informatik ein gewisses mathematisches Rüstzeug mitgebracht werden oder doch zumindest die Bereitschaft, sich dieses anzueignen. Im Anhang listen wir (im Sinne einer Festlegung von Notationen) die notwen­ digsten mathematischen Konstruktionen auf; darüber hinaus wird auf die angegebenen Lehrbücher verwiesen.

Su questo libro

Contenuti

1 Einführung.- 1.1 Was ist Informatik?.- 1.2 Geschichte der Programmierung.- 1.3 Problemlösen durch Algorithmen.- 2 Algorithmen und Spezifikationen.- 2.1 Spezifikationen.- 2.2 Algorithmen.- 2.3 Verifikation von Algorithmen.- 2.4 Termination.- 2.5 Aufgaben.- 3 Registermaschinen als Computermodell.- 3.1 Aufgaben.- 4 Eine einfache Programmiersprache.- 4.1 Syntaktische Beschreibungsmittel.- 4.1.1 Backus-Naur-Form.- 4.1.2 Erweiterte BNF.- 4.1.3 Syntaxdiagramme.- 4.2 Syntax von Mini-Pascal.- 4.3 Semantik von Mini-Pascal.- 4.4 Übersetzung von Mini-Pascal in Maschinencode.- 4.5 Aufgaben.- 5 Von Mini-Pascal zu Pascal.- 5.1 Aufgaben.- 6 Abstrakte Datentypen.- 6.1 Einführung.- 6.2 Natürliche Zahlen.- 6.3 Wortmengen.- 6.4 Terme.- 6.5 Spezifikation abstrakter Datentypen.- 6.6 Anwendungen abstrakter Datentypen.- 6.6.1 Folgen.- 6.6.2 Binärbäume.- 6.7 Aufgaben.- A Mathematische Grundlagen.- A.1 Mengen, Relationen, Abbildungen.- A.2 Logik.- A.2.1 Aussagenlogik.- A.2.2 Prädikatenlogik.- A.3 Halbordnungen.- A.4 Aufgaben.- B Lösung der Übungen.- C Literaturverzeichnis.

Dettagli dell'edizione

• Editore: Vieweg+Teubner Verlag
• Data di pubblicazione: 1990
• Lingua: Tedesco
• ISBN 10: 3519022427
• ISBN 13: 9783519022428
• Rilegatura: Copertina flessibile
• Numero di pagine: 236
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile