دانلود کتاب Geometric computing science: first steps

فهرست مطالب :

Contents (3p. detailed, 2p. missing)
I. Recursive Systems and Geometric Computing Science
II. A ‘Geometric’ View of the Dynamics of Trajectories of Computer Programs (Acta Applicanda Mathematica, 18, 145-182, 1990)
III. LECTURE NOTES FOR TALKS ON GEOMETRIC COMPUTING SCIENCE
IV. ANALOGIES BETWEEN GODELIAN COMPLETENESS AND CARATHEODORY-CHOW CONTROLLABILITY.
V. CARTAN: A COMPUTER LANGUAGE FOR KNOWLEDGE REPRESENTATION AND SYMBOLIC COMPUTATION IN MECHANICS AND CONTROL
VI. MORE ABOUT JETS, GENERALIZED RECURSION AND APPROXIMATION OF DIFFERENTIAL EQUATIONS.
VII. RECURSIVE SYSTEMS AND JET BUNDLES
VIII. THE EHRESMANN JET SPACES AND THE PROLONGATION CALCULUS
IX. REMARKS ON DIFFERENTIAL SYSTEMS
X. REMARKS ON COMPUTATION AND APPROXIMATION
XI. REMARKS ON AI AND CONTROL
XII. REMARKS ON Al AND SHEAVES