eBook.de : Ihr Online Shop für eBooks, Reader, Downloads und Bücher

Connect 01/2015 eBook-Shops: Testsieger im epub Angebot, Testurteil: gut Die Welt: Kundenorientierte Internetseiten Prädikat GOLD
+49 (0)40 4223 6096
€ 0,00

Zur Kasse

Informatik 2

Eine einführende Übersicht. 'Springer-Lehrbuch'. 4. Auf…
Sofort lieferbar
Buch (kartoniert)
Buch € 24,95* inkl. MwSt.
Portofrei*
Produktdetails
Titel: Informatik 2
Autor/en: Friedrich L Bauer, Gerhard Goos

ISBN: 3540555676
EAN: 9783540555674
Eine einführende Übersicht.
'Springer-Lehrbuch'.
4. Auflage.
135 Abbildungen, 4 Tabellen, zahlreiche Programmbeisp.
Bearbeitet von Friedrich L. Bauer, W. Dosch
Springer-Verlag GmbH

Januar 1992 - kartoniert - XVI

Informatik. Eine einführende Übersicht hat sich als Standardwerk für das Studium der Informatik bewährt. Der vorliegende zweite Teil steht unter dem Leitgedanken "Strukturen", der das Grundthema "Algorithmen" des ersten Teils ergänzt. Zunächst werden Programmstrukturen und Datenstrukturen einschließlich der Techniken ihrer Implementierung behandelt. Sodann werden formale (Sprach-)Systeme, die zur Beschreibung solcher Strukturen dienen, auf relationentheoretischer Grundlage dargestellt. Ein weiteres Kapitel behandelt die Formalisierung der Syntax und der Semantik algorithmischer Sprachen, mit einem Abschnitt über abstrakte Datentypen. Den Abschluß bilden die Anhänge "Korrespondenzen und Funktionen", "Datenendgeräte" und "Zur Geschichte der Informatik" sowie Syntaxdiagramme für die ALGOL 68- und die PASCAL-Notation, die im Buch verwendet werden.
Vorbemerkung.- 5. Blockstruktur und dynamische Speicherverteilung.- 5.1 Blöcke und Speicherverteilung.- 5.1.1 Blockstruktur.- 5.1.2 Pulsierende Speicherverteilung.- 5.1.3 Wortorganisierte Speicher.- 5.1.4 Relative Adressierung.- 5.1.5 Felder mit dynamisch errechneten Indexgrenzen.- 5.1.6 Abschließende Bemerkungen.- 5.2 Prozeduren und Blockstruktur.- 5.2.1 Einbeziehung von Prozeduren in die Blockstruktur.- 5.2.2 Ergänzung des Blockstrukturbaums durch Aufrufpfeile.- 5.2.3 Dynamischer Blockstrukturbaum.- 5.2.4 Statische und dynamische Verweisketten.- 5.2.5 Dynamische Speicherverteilung im Falle des Vorkommens von Prozeduren.- 6. Hintergrundspeicher und Verkehr mit der Außenwelt, Datenstrukturen, Speicherorganisation.- 6.1 Technische Charakteristika von Hintergrundspeichern und E/A-Geräten.- 6.1.1 Speicher mit direktem Zugriff.- 6.1.2 Speicher mit indirektem Zugriff.- 6.1.3 Transport-und Übertragungseinheiten.- 6.2 Funktionelle Beschreibung von Hintergrundspeichern und E/A-Geräten.- 6.2.1 Lochkarten und Lochkartenstöße, Lochstreifen/Nicht wiederverwendbare Medien.- 6.2.2 Magnetbandspeicher mit Blöcken wechselnden Umfangs / Wiederverwendbare Medien mit sequentiellem Zugriff auf Blöcke wechselnden Umfangs.- 6.2.3 Magnetband-und Scheibenspeicher mit fester Blockeinteilung / Wiederverwendbare Medien mit sequentiellem Zugriff auf fest eingeteilte Blöcke, organisierte Speicher.- 6.2.4 Magnetplattenspeicher/Wiederverwendbare Medien mit rotierendem Zugriff.- 6.3 Einführung neuer Rechenstrukturen.- 6.3.1 Teilstrukturen.- 6.3.2 Operative Anreicherung.- 6.3.3 Paar-und Tupelbildung.- 6.3.4 Variantenbildung.- 6.3.5 Rekursive Definition von Rechenstrukturen: Rekursive Datenstrukturen.- 6.3.5.1 Stapel.- 6.3.5.2 Beblätterte Binärbäume.- 6.3.5.3 Bezeichnete Binärbäume.- 6.3.5.4 Allgemeine beblätterte Bäume.- 6.3.5.5 Algorithmen auf rekursiven Datenstrukturen.- 6.3.6 Terme und Diagramme.- 6.3.6.1 Aufbau und Auswertung von Termen.- 6.3.6.2 Kantorovic-Bäume und Gabelbilder.- 6.3.6.3 Terme und Schachteldiagramme.- 6.3.6.4 Benutzung des Assoziativgesetzes.- 6.4 Datenorganisation: Listen und Zeiger.- 6.4.1 Listen.- 6.4.1.1 Referenzen.- 6.4.1.2 Unendliche Listen.- 6.4.2 Organisierte Speicher.- 6.4.2.1 Errechnete Variablenbezeichnungen.- 6.4.2.2 Der Übergang von zusammengesetzten Objekten zu organisierten Speichern.- 6.4.2.3 Gleichbesetzungs-Tabu, Seiteneffekte.- 6.4.3 Zeiger.- 6.4.3.1 Zeigergeflechte.- 6.4.3.2 Deklaration einer Zeigersorte.- 6.4.3.3 Schaffung von Variablen und Zeigern.- 6.4.3.4 Gleichheit von Zeigern.- 6.4.4 Geflechtbildende Variabelensätze.- 6.5 Zeiger-Implementierungen organisierter Speicher.- 6.5.1 Implementierung von Stapeln.- 6.5.1.1 Stapel als Einweg-Listen.- 6.5.1.2 Verkettung zweier Einweg-Listen.- 6.5.1.3 Prozeduren des Moduls KELLER.- 6.5.2 Implementierung von Sequenzen.- 6.5.2.1 Sequenzen als lineare Zweiweg-Listen.- 6.5.2.2 Kopieren von linearen Zweiweg-Listen.- 6.5.2.3 Prozeduren mit Sequenz-Variablen.- 6.5.3 Implementierung von beblätterten Bäumen.- 6.5.3.1 Beblätterte Binärbäume als Listen mit Varianten Zeigern.- 6.5.3.2 Allgemeine beblätterte Bäume als Listen mit Varianten Zeigern.- 6.6 Implementierung organisierter Speicher mittels linearer Speicher.- 6.6.1 Gestreute Speicherung.- 6.6.2 Sequentielle Speicherung.- 7. Formale Sprachen.- 7.1 Relationen und formale Systeme.- 7.1.1 Dyadische Relationen und gerichtete Graphen.- 7.1.1.1 Mengeneigenschaft der Relationen.- 7.1.1.2 Das Produkt zweier Relationen.- 7.1.1.3 Die konverse Relation.- 7.1.1.4 Maximale und größte, minimale und kleinste Elemente.- 7.1.1.5 Reflexivität.- 7.1.1.6 Transitivität.- 7.1.1.7 Hüllen.- 7.1.1.8 Äquivalenzklassen.- 7.1.2 Noethersche und konfluente Relationen.- 7.1.2.1 Wege.- 7.1.2.2 Noethersche Relationen und Graphen.- 7.1.2.3 Hüllen einer Noetherschen Relation.- 7.1.2.4 Irreduzible Elemente, terminierende Wege.- 7.1.2.5 Der nichtdeterministische Ersetzungsalgorithmus.- 7.1.2.6 Konfluente Relationen, eindeutige Normalformen.- 7.1.2.7 Church-Rosser-Eigenschaft.- 7.1.3 Formale Sprachen-allgemeine Begriffe.- 7.2 Formale Sprachen über Zeichenfolgen.- 7.2.1 Kompatible Ersetzungssysteme.- 7.2.2 Semi-Thue-Systeme.- 7.2.3 Semi-Thue-Algorithmen.- 7.2.4 Chomsky-Sprachen und-Grammatiken.- 7.2.4.1 Kontext-sensitive Chomsky-Grammatiken.- 7.2.4.2 Kontextfreie Chomsky-Grammatiken.- 7.2.4.3 Reguläre Grammatiken.- 7.2.4.4 Endliche Grammatiken.- 7.2.5 Backus-Notation und erweiterte Backus-Notation.- 7.2.5.1 Varianten.- 7.2.5.2 Syntax-Diagramme.- 7.2.5.3 Replikationsstern.- 7.2.5.4 Verallgemeinerte Syntax-Diagramme.- 7.2.5.5 Adjunktion und Elimination von Hilfszeichen.- 7.2.6 Reguläre Ausdrücke.- 7.2.7 Substitution von Grammatiken.- 7.3 Strukturgraph und Strukturbaum eines Ersetzungswegs.- 7.3.1 Bipartite Graphen.- 7.3.2 Strukturgraphen und Strukturbäume.- 7.3.3 Konstruktion des Strukturgraphen.- 7.3.4 Eindeutigkeit.- 7.3.5 Ein Eindeutigkeitskriterium.- 7.3.6 Die Strukturgrammatik einer Grammatik.- 7.4 Das Zerteilungsproblem.- 7.4.1 Sackgassen.- 7.4.1.1 Abschneiden von Sackgassen.- 7.4.1.2 Kontext-sensitive Grammatiken mit konfluenter Ersetzungsrelation.- 7.4.1.3 Sackgassen in regulären Grammatiken.- 7.4.2 Sequentielle Zerteilungsverfahren für reguläre Grammatiken.- 7.4.2.1 Zustands-Übergänge.- 7.4.2.2 Der Äquivalenzsatz von KupLEENE.- 7.4.2.3 Endliche Automaten.- 7.4.3 Sequentielle Zerteilungsverfahren für kontextfreie Grammatiken.- 7.4.3.1 Kellerzustands-Übergänge.- 7.4.3.2 Keller-Automaten.- 7.4.3.3 LR(k)-Grammatiken.- 7.4.4 Sequentielle zielbezogene Zerteilungsverfahren.- 7.4.4.1 Konverse Zustandsübergänge.- 7.4.4.2 LL(k)-Grammatiken.- 7.4.5 Verfahren des rekursiven Abstiegs.- 7.5 Berechenbarkeit und Entscheidbarkeit.- 8. Syntaktische und semantische Definition algorithmischer Sprachen.- 8.1 Syntax algorithmischer Sprachen.- 8.1.1 Syntaktische Beschreibung zusammengesetzter Objekte.- 8.1.2 Syntaktische Beschreibung von Kantorovic-Bäumen.- 8.2 Operative Semantik.- 8.2.1 Aufbau und Berechnung von Formeln.- 8.2.2 Partielle Definiertheit.- 8.2.3 Nicht-strikte Operationen.- 8.2.4 Nichtdeterminismus.- 8.2.5 Semantik der Parameterübergabe bei Rechenvorschriften.- 8.2.6 Operative Semantik der Rekursion.- 8.2.7 Reduktionsmaschinen.- 8.3 Zustandssemantik.- 8.3.1 Zustandskalkül nach MCCARTHY.- 8.3.2 Zusicherungskalkül nach FLOYD, HOARE UNDDIJKSTRA.- 8.3.2.1 Das Zuweisungsaxiom.- 8.3.2.2 Das Zusammensetzungsaxiom.- 8.3.2.3 Die Fallunterscheidungs-Axiome.- 8.3.2.4 Das Wiederholungs-Axiom.- 8.3.2.5 Allgemeine Regeln.- 8.3.2.6 Verifikation von Programmen.- 8.3.2.7 Sprünge und Schleifeninvarianten.- 8.4 Mathematische Semantik.- 8.4.1 Fixpunkttheorie.- 8.4.1.1 Fixpunkttheorie der Rekursion.- 8.4.1.2 Fixpunkttheorie im wp-Kalkül.- 8.4.1.3 Rekursive Definition der Semantik einer algorithmischen Sprache.- 8.4.2 Abstrakte (Daten-)Typen.- 8.4.2.1 Der Signaturgraph.- 8.4.2.2 Die Termalgebra eines abstrakten Typs.- 8.4.2.3 Rechenstrukturen als endlich erzeugte Modelle eines abstrakten Typs.- 8.4.2.4 Beispiele polymorpher Typen.- 8.4.3 Abstrakte Typen und die Charakterisierung primitiver Rechenstrukturen.- 8.4.4 Abstrakte Typen und die Charakterisierung der Syntax und Semantik von Programmiersprachen.- Ergônzende Literatur.- Namen- und Sachverzeichnis.

Gedruckte Welten


 
Bücher bei eBook.de entdecken.

 

Jetzt die besten Bücher entdecken!

Kunden, die diesen Artikel gekauft haben, kauften auch

Autoren und Apparate
Buch (gebunden)
von Monika Domman…
Serenade a 13 No. 10 B-Dur
Buch (kartoniert)
von Wolfgang Amad…
Freddy the Magician
Taschenbuch
von Walter R. Bro…
The Rising of the Shield Hero 01
Taschenbuch
von Yusagi Aneko,…

Kundenbewertungen zu Friedrich L Bauer, … „Informatik 2“

Noch keine Bewertungen vorhanden
Zur Rangliste der Rezensenten
Veröffentlichen Sie Ihre Kundenbewertung:
Kundenbewertung schreiben

Diese Artikel könnten Sie auch interessieren

Prometheus 05. Sarkophag
Buch (gebunden)
von Christophe Be…
111 Orte im Chiemgau, die man gesehen haben muss
Taschenbuch
von Dorothea Stei…
Officer and a Spy
Buch (gebunden)
von Harris Robert
Easystart: Hannah and the Hurricane
- 5% **
Buch (kartoniert)
von John Escott
Bisher € 8,49
Innovationsmanagement 2.0
Buch (kartoniert)

Unsere Leistungen auf einen Klick

Unser Service für Sie

Zahlungsmethoden
Bequem, einfach und sicher mit eBook.de. mehr Infos akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal mehr Infos
Geprüfte Qualität
  • Schnelle Downloads
  • Datenschutz
  • Sichere Zahlung
  • SSL-Verschlüsselung
Servicehotline
+49 (0)40 4223 6096
Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 18.00 Uhr
Chat
Ihre E-Mail-Adresse eintragen und kostenlos informiert werden:
* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.
Bei als portofrei markierten Produkten bezieht sich dies nur auf den Versand innerhalb Deutschlands.

** im Vergleich zum dargestellten Vergleichspreis.
eBook.de - Meine Bücher immer dabei
eBook.de ist eine Marke der Hugendubel Digital GmbH & Co. KG
Folgen Sie uns unter: