• Produktbild: Origins of Programming
  • Produktbild: Origins of Programming

Origins of Programming Discourses on Methodology

Fr. 72.90

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.09.2011

Verlag

Springer Us

Seitenzahl

280

Maße (L/B/H)

23.5/15.5/1.7 cm

Gewicht

452 g

Auflage

Softcover reprint of the original 1st edition 1990

Übersetzt von

Robert H. Silverman

Sprache

Englisch

ISBN

978-1-4612-7947-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

26.09.2011

Verlag

Springer Us

Seitenzahl

280

Maße (L/B/H)

23.5/15.5/1.7 cm

Gewicht

452 g

Auflage

Softcover reprint of the original 1st edition 1990

Übersetzt von

Robert H. Silverman

Sprache

Englisch

ISBN

978-1-4612-7947-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)

  • Produktbild: Origins of Programming
  • Produktbild: Origins of Programming
  • 1 Storage Allocation in Program Schemas.- 1.- Descriptive Analysis of the Problem.- 1.1. Brief Review of Computer Programming.- 1.2. Some Facts About Linear Programs.- 1.3. Some Facts About the General Form of a Program.- 1.4. Summary.- 2.- Statement of the Problem and General Theory.- 2.1 Brief Review of Mathematical Foundations.- 2.2. Initial Definitions.- 2.3. General Theory.- 3.- Algorithmization.- 3.1. Data Flow Graph.- 3.2. Incompatibility Graph.- 3.3. Coloring the Vertices of a Graph. General Remarks.- 3.4. Coloring the Vertices of a Graph. The Search for an Algorithm.- 4.- Implementation.- 4.1. Introduction.- 4.2. Structured Programming.- 4.3. General Organization of the Storage Packing Process.- 4.4. Canonical Storage allocation.- 4.5. Creating the Incompatibility Graph.- 4.6. Coloring the Vertices of a Graph.- 5.- Concluding Analysis.- 5.1. The Relationship Between Theory and Practice.- 5.2. Historical Survey.- II Transformations of Yanov Schemas.- 6.- Brief Review of Mathematical Logic.- 6.1. Logical Formulas and Boolean Functions.- 6.2. Algebraic Logic.- 6.3. Propositional Calculus.- 7.- Yanov Schemas.- 7.1. Initial Observations.- 7.2. Search for Basic Definitions.- 7.3. Equivalence of Yanov Schemas.- 8.- Calculus of Equivalence Transformations.- 8.1. Construction of Calculus.- 8.2. Well-Formedness of the Calculus.- 8.3. Canonical Schemas and Technical Theorems.- 8.4. Completeness of Calculus.- 8.5. A Final Historical Survey.