Origins of Programming: Discourses on Methodology - Rilegato

Ershov, Andrei Petrovich

 
9780387970615: Origins of Programming: Discourses on Methodology
Rilegato
ISBN 10: 0387970614 ISBN 13: 9780387970615
Casa editrice: Springer Verlag, 1990

Sinossi

The book begins with a detailed discussion of two problems that have played an extremely important role in the emergence of theoretical programming as an independent discipline. The principal goals in this book are to explain the line of thought that was followed in solving these problems, demonstrate the workings of the mathematical way of thinking, carefully analyze the different stages of descriptive analysis and problem formulation, and reveal the aesthetic component in the search for solutions - in other words, to try to turn the reader into a true witness of the process of discovering mathematical results. In the first part of the book the author considers the storage minimization packing, or storage problem schemas. The problem of storage packing is treated as an example that illustrates how to solve an application problem by means of mathematical methods. In the second part the author presents the theory of Yanov program schemas, a classical theory generally recognized as having served as a foundation of the mathematical theory of programming. This is analyzed as a methodological example that illustrates how a fully developed theory can be extended to a new class of phenomena and objects: program schemas and configurations of program schemas.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Contents: Part 1: Storage Allocation in Program Schemas.- Descriptive Analysis of the Problem.- Statement of the Problem and General Theory.- Algorithmization.- Implementation.- Concluding Analysis.- Part II: Transformations of Yanov Schemas.- Brief Review of Mathematical Logic.- Yanov Schemas.- Calculus of Equivalence Transformations.- Bibliography.- Index.

Product Description

Book by Ershov Andrei P

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer Verlag
Data di pubblicazione
1990
Lingua
Inglese
ISBN 10 
0387970614
ISBN 13 
9780387970615
Rilegatura
Copertina rigida
Numero di pagine
290
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9781461279471: Origins of Programming: Discourses on Methodology

Edizione in evidenza

ISBN 10:  146127947X ISBN 13:  9781461279471
Casa editrice: Springer, 2011
Brossura