Theoretische Grundlagen der Informatik

✍ Scribed by Dr. Clemens H. Cap (auth.)

• Publisher: Springer-Verlag Wien
• Year: 1993
• Tongue: German
• Leaves: 329
• Edition: 1
• Category: Library

✦ Synopsis

Angesichts der Komplexität der Produkte der modernen Informatik wird eine saubere, theoretische Fundierung immer wichtiger. Das Buch wendet sich an Studierende im ersten Studienabschnitt und an Praktiker und gibt eine Einführung in die theoretischen und zumeist mathematischen Grundlagen der Informatik. Lesern ohne mathematische Vorbildung wird eine Vorstellung von der Denk- und Arbeitsweise der theoretischen Informatik vermittelt. Angesichts der Stoffülle und Komplexität dieses Gebietes werden detaillierte oder auch nur ausführlichere Kenntnisse in theoretischer Informatik wohl dem Spezialisten vorbehalten bleiben. Das Buch ist deshalb betont breit gehalten und zielt auf einen Überblick unterschiedlichster Techniken und Ansätze ab. Der Autor behandelt nach einer Einführung in mathematische Grundbegriffe die klassischen Themen wie formale Sprachen oder Berechenbarkeit, wendet sich aber auch der Semantik von Programmiersprachen und der Codierungstheorie zu und beantwortet die Frage, wie Information gemessen werden kann.

✦ Table of Contents

Front Matter....Pages i-xiii
Logische Propädeutik....Pages 1-15
Mengenlehre....Pages 17-28
Quantoren....Pages 29-40
Relationen....Pages 41-63
Graphen....Pages 65-117
Sprachen....Pages 119-131
Maschinen....Pages 133-153
Maschinen und Sprachen....Pages 155-159
Techniken und Beispiele formaler Sprachen....Pages 161-189
Semantik von Programmiersprachen....Pages 191-209
Berechenbarkeit....Pages 211-233
Komplexitätstheorie....Pages 235-245
Information und Codierung....Pages 247-267
Logik....Pages 269-289
Grenzen von Computern....Pages 291-303
Back Matter....Pages 305-332

✦ Subjects

Mathematical Logic and Formal Languages; Computation by Abstract Devices; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Data Structures, Cryptology and Information Theory; Programming Languages, Compilers, I