Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt. Diese grundlegende Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Dabei wird auf eine saubere, formale Fundierung und begriffliche Klarheit Wert gelegt.In diesem ersten von vier Bänden wird das gesamte Gebiet der problemnahen Programmierung dargestellt: Algorithmenbegriff, Techniken der funktionalen und der prozeduralen Programmierung, Datenstrukturen und ihre Darstellung in Programmiersprachen sowie Programmiermethodik.

Produktinformation

Utgivningsdatum:1992-09-11
Mått:155 x 235 x 15 mm
Vikt:406 g
Format:Häftad
Språk:Tyska
Serie:Springer-Lehrbuch
Antal sidor:250
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540551911

Utforska kategorier

Innehållsförteckning

1. Information und ihre Repräsentation.- 1.1 Der Begriff„Information“.- 1.2 Ein Beispiel für Information und Repräsentation: Aussageformen.- 1.3 Information und ihre Repräsentation in Normalform.- 2. Rechenstrukturen und Algorithmen.- 2.1 Zum Begriff „Algorithmus“.- 2.2 Rechenstrukturen.- 2.3 Algorithmen als Termersetzungssysteme.- 2.4 Aussagenlogik und Prädikatenlogik.- 3. Programmiersprachen und Programmierung.- 3.1 Syntax: Beschreibung formaler Sprachen durch BNF.- 3.2 Semantik.- 3.3 Zur Implementierung von Programmiersprachen.- 3.4 Methodik der Programmierung.- 4. Applikative Programmiersprachen.- 4.1 Elemente rein applikativer Programmiersprachen.- 4.2 Erweiterung applikativer Sprachen: Deklarationen.- 4.3 Rekursive Funktionsdeklarationen.- 4.4 Rekursionsformen.- 4.5 Techniken applikativer Programmierung.- 4.6 Beweistechniken für rekursive Programme.- 5. Zuweisungsorientierte Ablaufstrukturen.- 5.1 Zuweisungsorientierte Sprachelemente: Anweisungen.- 5.2 Einfache Anweisungen.- 5.3 Zusammengesetzte Anweisungen.- 5.4 Variablendeklarationen und Blöcke.- 5.5 Prozeduren.- 5.6 Abschnitte, Bindungen, Gültigkeit, Lebensdauer.- 5.7 Programmiertechniken für zuweisungsorientierte Programme.- 6. Sortendeklarationen.- 6.1 Deklarationen von Sorten.- 6.2 Felder.- 6.3 Endliche Mengen als Rechenstrukturen.- 7. Maschinennahe Sprachelemente: Sprünge und Referenzen.- 7.1 Kontrollfluß.- 7.2 Referenzen und Zeiger.- 8. Rekursive Sortendeklarationen.- 8.1 Sequenzartige Rechenstrukturen.- 8.2 Baumartige Rechenstrukturen.- 8.3 Rekursive Vereinbarungen von Sorten.- 8.4 Geflechte.- Literaturangaben.- Stichwortverzeichnis.

Mer från samma författare

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

Inbunden, 2001

572 kr

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Inbunden, 2005

2 268 kr

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

Häftad, 2005

2 268 kr

Engineering Theories of Software Intensive Systems

Tony Hoare, David Harel, Johannes Gruenbauer, Manfred Broy

E-bok

2005

2 948 kr

Specification and Development of Interactive Systems

Manfred Broy, Ketil Stølen

Häftad, 2012

572 kr

Specification and Development of Interactive Systems

Ketil Stolen, Manfred Broy

E-bok

2012

739 kr

Model-Based Engineering of Collaborative Embedded Systems

Wolfgang Böhm, Manfred Broy, Cornel Klein, Klaus Pohl, Bernhard Rumpe, Sebastian Schröck

Inbunden, 2020

556 kr

Model-Based Engineering of Collaborative Embedded Systems

Wolfgang Böhm, Manfred Broy, Cornel Klein

Häftad, 2021

446 kr

Design Thinking for Software Engineering

Jennifer Hehn, Daniel Mendez, Walter Brenner, Manfred Broy

Inbunden, 2022

2 042 kr

Design Thinking for Software Engineering

Manfred Broy, Walter Brenner, Daniel Mendez, Jennifer Hehn

E-bok

2022

2 599 kr

Mer från samma serie

Sozialpsychologie

Johannes Ullrich, Wolfgang Stroebe, Miles Hewstone

Inbunden, 2023

655 kr

Lineare Algebra

Gilbert Strang

Häftad, 2003

674 kr

Robotik: Programmierung intelligenter Roboter

Hans-Jürgen Siegert, Siegfried Bocionek

Häftad, 1996

469 kr

Werkstoffkunde

Hans-Jürgen Bargel

Inbunden, 2022

776 kr

Biologie für Mediziner

Werner Buselmaier, Joana Haussig

Häftad, 2018

409 kr

Teilchen und Kerne

Bogdan Povh, Klaus Rith, Christoph Scholz, Frank Zetsche, Werner Rodejohann

Häftad, 2013

520 kr

Recht der Ordnungswidrigkeiten

Wolfgang Mitsch

Häftad, 2005

365 kr

Rechnerorganisation

Hans Liebig

Häftad, 2003

520 kr

Empirische Wirtschaftsforschung

Thomas K. Bauer, Michael Fertig, Christoph M. Schmidt

Häftad, 2009

520 kr

Vergleichende Tierphysiologie

Gerhard Heldmaier, Gerhard Neuweiler

Inbunden, 2003

1 169 kr

Du kanske också är intresserad av

Boy Inside the American Businessman

Carl S. Horner

Häftad, 1992

888 kr

Del 2

Gesammelte Werke 02. Frühe Romane 2. Lushins Verteidigung. Der Späher. Die Mutprobe

Vladimir Nabokov

Inbunden, 1992

462 kr

Theorie der logischen Programmierung

Peter H. Schmitt

Häftad, 1992

588 kr

Finite Difference Equations

H. Levy, F. Lessman

Häftad, 1992

293 kr

Hidden Hardy

Joe Fisher

Inbunden, 1992

1 901 kr

Drogen und Naturstoffe

Gerhard Franz, Hildegard Koehler

Häftad, 1992

535 kr

Investitionsrechnungsverfahren Fur Offentliche Betriebe

Wolfgang Ossadnik

Häftad, 1992

869 kr

Informatik

Manfred Broy

E-bok

2013

559 kr

Informatik

Manfred Broy

Häftad, 1998

356 kr

Managing the Preservation of Serial Literature

Merrily A. Smith

Inbunden, 1992

1 586 kr

Informatik

Eine grundlegende Einführung Teil I. Problemnahe Programmierung

AvManfred Broy

Häftad, Tyska, 1992

Del i serien Springer-Lehrbuch

535 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

356 kr

301 kr

559 kr

542 kr

542 kr

Beskrivning

Produktinformation

Utgivningsdatum:1992-09-11
Mått:155 x 235 x 15 mm
Vikt:406 g
Format:Häftad
Språk:Tyska
Serie:Springer-Lehrbuch
Antal sidor:250
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540551911

Utforska kategorier

Innehållsförteckning

1. Information und ihre Repräsentation.- 1.1 Der Begriff„Information“.- 1.2 Ein Beispiel für Information und Repräsentation: Aussageformen.- 1.3 Information und ihre Repräsentation in Normalform.- 2. Rechenstrukturen und Algorithmen.- 2.1 Zum Begriff „Algorithmus“.- 2.2 Rechenstrukturen.- 2.3 Algorithmen als Termersetzungssysteme.- 2.4 Aussagenlogik und Prädikatenlogik.- 3. Programmiersprachen und Programmierung.- 3.1 Syntax: Beschreibung formaler Sprachen durch BNF.- 3.2 Semantik.- 3.3 Zur Implementierung von Programmiersprachen.- 3.4 Methodik der Programmierung.- 4. Applikative Programmiersprachen.- 4.1 Elemente rein applikativer Programmiersprachen.- 4.2 Erweiterung applikativer Sprachen: Deklarationen.- 4.3 Rekursive Funktionsdeklarationen.- 4.4 Rekursionsformen.- 4.5 Techniken applikativer Programmierung.- 4.6 Beweistechniken für rekursive Programme.- 5. Zuweisungsorientierte Ablaufstrukturen.- 5.1 Zuweisungsorientierte Sprachelemente: Anweisungen.- 5.2 Einfache Anweisungen.- 5.3 Zusammengesetzte Anweisungen.- 5.4 Variablendeklarationen und Blöcke.- 5.5 Prozeduren.- 5.6 Abschnitte, Bindungen, Gültigkeit, Lebensdauer.- 5.7 Programmiertechniken für zuweisungsorientierte Programme.- 6. Sortendeklarationen.- 6.1 Deklarationen von Sorten.- 6.2 Felder.- 6.3 Endliche Mengen als Rechenstrukturen.- 7. Maschinennahe Sprachelemente: Sprünge und Referenzen.- 7.1 Kontrollfluß.- 7.2 Referenzen und Zeiger.- 8. Rekursive Sortendeklarationen.- 8.1 Sequenzartige Rechenstrukturen.- 8.2 Baumartige Rechenstrukturen.- 8.3 Rekursive Vereinbarungen von Sorten.- 8.4 Geflechte.- Literaturangaben.- Stichwortverzeichnis.