Parameters
- 224 pages
- 8 hours of reading
More about the book
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 objektorientierte Programmierung behandelt. Ein Ausblick auf wichtige ökonomische, rechtliche und ethische Aspekte der Informatik rundet das Werk ab.
Book purchase
Informatik 4, Manfred Broy
- Language
- Released
- 1995
- product-detail.submit-box.info.binding
- (Paperback)
Payment methods
No one has rated yet.
- Title
- Informatik 4
- Subtitle
- Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung (Springer-Lehrbuch)
- Language
- German
- Authors
- Manfred Broy
- Publisher
- Springer
- Released
- 1995
- Format
- Paperback
- Pages
- 224
- ISBN10
- 3540586024
- ISBN13
- 9783540586029
- Series
- Tags
- Non-Fiction, Art & Culture, Social Sciences, Textbooks, Technology & Engineering, Science & Math, Literary Studies, References & Manuals, Computers & Internet, Mathematics, Western Europe, Artificial Intelligence, Logic, Operating Systems, Software Development, Databases, Algorithms, Translators, Combinatorics
- Description
- 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 objektorientierte Programmierung behandelt. Ein Ausblick auf wichtige ökonomische, rechtliche und ethische Aspekte der Informatik rundet das Werk ab.