|
" Informatik : "
von Manfred Broy.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
746621
|
| Doc. No
|
:
|
b566571
|
| Main Entry
|
:
|
von Manfred Broy.
|
| Title & Author
|
:
|
Informatik : : Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung\ von Manfred Broy.
|
| Publication Statement
|
:
|
Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
|
| Series Statement
|
:
|
Springer-Lehrbuch
|
| ISBN
|
:
|
3540586024
|
|
|
:
|
: 3642976131
|
|
|
:
|
: 9783540586029
|
|
|
:
|
: 9783642976131
|
| Contents
|
:
|
1. Formale Sprachen --; 1.1 Relationen und Graphen --; 1.2 Grammatiken --; 1.3 Chomsky-3-Sprachen und endliche Automaten --; 1.4 Kontextfreie Sprachen und Kellerautomaten --; 1.5 Kontextsensitive Grammatiken --; 2. Berechenbarkeit --; 2.1 Hypothetische Maschinen --; 2.2 Rekursive Funktionen --; 2.3 Äquivalenz der Berechenbarkeitsbegriffe --; 2.4 Entscheidbarkeit --; 3. Komplexitätstheorie --; 3.1 Komplexitätsmaße --; 3.2 NP-Vollständigkeit --; 3.3 Effiziente Algorithmen für NP-vollständige Probleme --; 4. Effiziente Algorithmen und Datenstrukturen --; 4.1 Ausgewählte Algorithmen --; 4.2 Bäume --; 4.3 Effiziente Darstellung von Mengen --; 5. Beschreibungstechniken in der Programmierung --; 5.1 Formalismen für die Spezifikation --; 5.2 Datenbanken und Informationssysteme --; 5.3 Logikprogrammierung --; 5.4. Objektorientierte Programmierung --; 6. Abschließende Bemerkungen zur Informatik --; 6.1 Anwendungen der Informatik --; 6.2 Informatik und Recht --; 6.3 Soziale Kompetenz der Informatiker --; 6.4 Informatik und Ükonomie --; 6.5 Informatik, Wissenschaftstheorie und Philosophie --; 6.6 Zur Verantwortung des Informatikers --; Literaturangaben --; Stichwortverzeichnis.
|
| Abstract
|
:
|
Dieser abschließende vierte Band der Einführung in die Informatik behandelt die theoretische Informatik und ausgewählte fundamentale Algorithmen, Datenstrukturen, Beschreibungs- und Programmierstile, die jeder Informatiker kennen sollte. Ausgehend von einem kurzen Kapitel über Relationenalgebra und Ordnungstheorie werden die Themen Grammatiken zur Beschreibung formaler Sprachen, Berechenbarkeit sowie Rechen- und Speicherkomplexität von Algorithmen und Problemstellungen besprochen. Techniken der axiomatischen Spezifikation und der Entity-Relationship-Modellierung werden eingeführt und Logik- und Objekt-orientierte Programmierung behandelt. Ein Ausblick auf wichtige ökonomische, rechtliche und ethische Aspekte der Informatik rundet das Werk ab.
|
| Subject
|
:
|
Computer science.
|
| Subject
|
:
|
Computer software.
|
| Subject
|
:
|
Data structures (Computer science)
|
| LC Classification
|
:
|
QA76.9.A43V666 1995
|
| Added Entry
|
:
|
Manfred Broy
|
| |