Skriptum Informatik: eine konventionelle Einfhrung [Paperback]

1. Grundlagen.- 1.1 Algorithmus und Berechenbarkeit.- 1.2 Sprache und Grammatik.- 1.3 Rechner.- 1.4 Informatik als Wissenschaft.- 2. Imperative Programmierung  die Sprache MODULA-2.- 2.1 Syntaxdarstellungen.- 2.2 Elementare funktionale Modula-2-Programme.- 2.3 Iterative Programme.- 2.4 Komplexe Datentypen.- 3. Abstraktion.- 3.1 Abstraktionskonzepte in Programmiersprachen.- 3.2 Abstraktion in MODULA-2.- 4. Semantik, Verifikation und Test.- 4.1 Konzepte f?r eine Semantikdefinition.- 4.2 Spezifikation und Verifikation von Programmen.- 4.3 Test.- 5. Programmierparadigmen und -sprachen.- 5.1 Programmierparadigmen.- 5.2 ?bersicht ?ber Programmiersprachen.- 6. Datenstrukturen und Algorithmen.- 6.1 Komplexit?t und Effizienz.- 6.2 Graphen und B?ume.- 6.3 Suchen in gegebenen Datenstrukturen.- 6.4 Datenorganisationen f?r effizientes Suchen.- 6.5 Sortieren.- 6.6 Speicherverwaltung.- Anhang A: Mathematische Grundbegriffe und Formeln.- Anhang B: Syntaxdiagramme f?r MODULA-2.- Literatur.- Abk?rzungsverzeichnis.- MODULA-2-Index.