عنوان

Informatik :

(Number (ISBN

3540586024

(Number (ISBN

3642976131

(Number (ISBN

9783540586029

(Number (ISBN

9783642976131

Number

b566571

Title Proper

Informatik :

General Material Designation

[Book]

Other Title Information

Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

First Statement of Responsibility

von Manfred Broy.

Place of Publication, Distribution, etc.

Berlin, Heidelberg

Name of Publisher, Distributor, etc.

Springer Berlin Heidelberg

Date of Publication, Distribution, etc.

1995

Series Title

Springer-Lehrbuch

Text of Note

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.

Text of Note

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.

Computer science.

Computer software.

Data structures (Computer science)

Class number

Book number

von Manfred Broy.

Manfred Broy

Electronic name

[Book]

Y