Einführung in die Informatik

Algorithmenentwicklung

Häftad, Tyska, 1991

679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Das Buch ist eine moderne algorithmenorientierte Einf}hrungin die Informatik: Im Vordergrund stehen Konzepte, Methodenund Techniken der Algorithmenentwicklung. AlgorithmischeKonzepte und ihre Verwendung werden formal und zun{chst ohneBezugnahme auf eine konkrete Programmiersprache dargestellt.Ihre grundlegende Bedeutung wird dadurch deutlich getrenntvon einer im letzten Kapitel vorgenommenen exemplarischenRealisierung in Modula-2.

Produktinformation

Utgivningsdatum1991-02-28
Mått155 x 235 x 19 mm
Vikt505 g
FormatHäftad
SpråkTyska
SerieSpringer-Lehrbuch
Antal sidor318
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540533030

Tillhör följande kategorier

Tillämpad datateknik inom Data och IT
Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT
Referensverk och tvärvetenskap inom Samhälle och politik

1 Mathematische Grundlagen.- 1.1 Einige mathematische Grundbegriffe.- 1.2 Strikte und nicht-strikte Abbildungen.- 1.3 Boolesche Algebra.- 1.4 Induktion und Rekursion.- 1.5 Tupel und endliche Folgen.- 1.6 Induktive Definitionen von Folgen.- 1.7 Binärbäume.- 2 Daten und Algorithmen.- 2.1 Zeichenreihen.- 2.2 Datendarstellung durch Zeichenreihen.- 2.3 Syntaxdefinitionen.- 2.4 Algorithmen.- 2.5 Darstellung von Algorithmen.- 3 Konzepte applikativer Algorithmen.- 3.1 Grundoperationen.- 3.2 Funktionen.- 3.3 Terme.- 3.4 Rekursion.- 3.5 Terminierung und Korrektheit rekursiver Funktionen.- 3.6 Konstanten.- 4 Konzepte imperativer Algorithmen.- 4.1 Prozeduren, Variablen, Zuweisungen.- 4.2 Prozeduraufrufe.- 4.3 Kombinierbarkeit applikativer und imperativer Konzepte.- 4.4 Bedingte Anweisungen und Rekursion.- 4.5 Iteration.- 4.6 Terminierung und Korrektheit rekursiver Prozeduren und Schleifen.- 5 Datenstrukturen.- 5.1 Sequenzen.- 5.2 Stapel und Schlangen.- 5.3 Reihungen.- 5.4 Tupel.- 5.5 Binärbäume.- 6 Methoden und Techniken der Algorithmenentwicklung.- 6.1 Schrittweise Verfeinerung.- 6.2 Datenaustausch über globale Größen.- 6.3 Rekursion und Iteration als Entwurfskonzepte.- 6.4 Entrekursivierung von Algorithmen.- 6.5 Entrekursivierung mit Kellern.- 6.6 Nicht-Determinismus.- 7 Komplexität von Algorithmen.- 7.1 Grundbegriffe.- 7.2 Entwicklung effizienter Algorithmen.- 7.3 Suchalgorithmen.- 7.4 Backtracking-Algorithmen.- 7.5 Parallelität.- 8 Darstellung von Algorithmen in MODULA-2.- 8.1 Funktionen und Prozeduren.- 8.2 Programme und Moduln.- 8.3 Datenstrukturen.- 8.4 Verweise.- 8.5 Geflechte.- 8.6 Darstellung von Mengen und Multimengen.

Mer från samma författare

Temporal Logic and State Systems

Fred Kröger, Stephan Merz

Inbunden, 2008

1 109 kr

Temporal Logic and State Systems

Fred Kröger, Stephan Merz

Häftad, 2010

1 109 kr

Del 8

Temporal Logic of Programs

Fred Kröger

Häftad, 2011

749 kr

Mer från samma serie

Recht der Ordnungswidrigkeiten

Wolfgang Mitsch

Häftad, 2005

479 kr

Rechnerorganisation

Hans Liebig

Häftad, 2003

679 kr

Empirische Wirtschaftsforschung

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

Häftad, 2009

679 kr

Vergleichende Tierphysiologie

Gerhard Heldmaier, Gerhard Neuweiler

Inbunden, 2003

1 519 kr

Komplexitätstheorie

Ingo Wegener

Häftad, 2003

969 kr

Operations Research

Theodor Ellinger, Günter Beuermann, Rainer Leisten

Häftad, 2003

529 kr

Makroökonomik

Gustav Dieckheuer

Häftad, 2003

489 kr

Molekulare Pflanzenvirologie

Gerhart Drews, Günter Adam, Cornelia Heinze

Häftad, 2003

479 kr

Finanzwirtschaft

Matthias Lehmann

Häftad, 2003

349 kr

Vergleichende und funktionelle Anatomie der Wirbeltiere

Milton Hildebrand, George Goslow

Inbunden, 2003

1 149 kr

Du kanske också är intresserad av

Temporal Logic and State Systems

Fred Kröger, Stephan Merz

Häftad, 2010

1 109 kr

Del 8

Temporal Logic of Programs

Fred Kröger

Häftad, 2011

749 kr

Temporal Logic and State Systems

Fred Kröger, Stephan Merz

Inbunden, 2008

1 109 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Ruth Kvarnström-Jones - Väninnorna på Nordiska Kompaniet, Pocket

4 pocket för 3

Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

Pocket, 2025

129 kr

Katarina Wennstam - Moder blod, Inbunden

Nyhet

Del 4

Moder blod

Katarina Wennstam

Inbunden, 2026

269 kr299 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Del 1

Sly

Sara Strömberg

Pocket, 2022

79 kr129 kr

Nyhet

Threshing Day (Limited Deluxe Edition)

Rebecca Yarros

Inbunden, 2026

339 kr

Del i serien Springer-Lehrbuch

Einführung in die Informatik

Algorithmenentwicklung

Häftad, Tyska, 1991

AvFred Kröger

679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1991-02-28
Mått155 x 235 x 19 mm
Vikt505 g
FormatHäftad
SpråkTyska
SerieSpringer-Lehrbuch
Antal sidor318
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540533030

Tillhör följande kategorier

Tillämpad datateknik inom Data och IT
Programvaruutveckling inom Data och IT
Programmeringsböcker inom Data och IT
Referensverk och tvärvetenskap inom Samhälle och politik

1 Mathematische Grundlagen.- 1.1 Einige mathematische Grundbegriffe.- 1.2 Strikte und nicht-strikte Abbildungen.- 1.3 Boolesche Algebra.- 1.4 Induktion und Rekursion.- 1.5 Tupel und endliche Folgen.- 1.6 Induktive Definitionen von Folgen.- 1.7 Binärbäume.- 2 Daten und Algorithmen.- 2.1 Zeichenreihen.- 2.2 Datendarstellung durch Zeichenreihen.- 2.3 Syntaxdefinitionen.- 2.4 Algorithmen.- 2.5 Darstellung von Algorithmen.- 3 Konzepte applikativer Algorithmen.- 3.1 Grundoperationen.- 3.2 Funktionen.- 3.3 Terme.- 3.4 Rekursion.- 3.5 Terminierung und Korrektheit rekursiver Funktionen.- 3.6 Konstanten.- 4 Konzepte imperativer Algorithmen.- 4.1 Prozeduren, Variablen, Zuweisungen.- 4.2 Prozeduraufrufe.- 4.3 Kombinierbarkeit applikativer und imperativer Konzepte.- 4.4 Bedingte Anweisungen und Rekursion.- 4.5 Iteration.- 4.6 Terminierung und Korrektheit rekursiver Prozeduren und Schleifen.- 5 Datenstrukturen.- 5.1 Sequenzen.- 5.2 Stapel und Schlangen.- 5.3 Reihungen.- 5.4 Tupel.- 5.5 Binärbäume.- 6 Methoden und Techniken der Algorithmenentwicklung.- 6.1 Schrittweise Verfeinerung.- 6.2 Datenaustausch über globale Größen.- 6.3 Rekursion und Iteration als Entwurfskonzepte.- 6.4 Entrekursivierung von Algorithmen.- 6.5 Entrekursivierung mit Kellern.- 6.6 Nicht-Determinismus.- 7 Komplexität von Algorithmen.- 7.1 Grundbegriffe.- 7.2 Entwicklung effizienter Algorithmen.- 7.3 Suchalgorithmen.- 7.4 Backtracking-Algorithmen.- 7.5 Parallelität.- 8 Darstellung von Algorithmen in MODULA-2.- 8.1 Funktionen und Prozeduren.- 8.2 Programme und Moduln.- 8.3 Datenstrukturen.- 8.4 Verweise.- 8.5 Geflechte.- 8.6 Darstellung von Mengen und Multimengen.