Algorithms in Modern Mathematics and Computer Science : Proceedings, Urgench, Uzbek SSR September 16-22, 1979. 1st ed. 1981

種類:

電子ブック

責任表示:

edited by A. P. Ershov, D. E. Knuth

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981

著者名:

• Ershov, A. P.
• Knuth, D. E.
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 122

ISBN:

9783540386216 [3540386211]    

注記:

Al-khorezmi his background, his personality his work and his influence -- Algorithms in modern mathematics and computer science -- What are the gains of the theory of algorithms -- On inductive synthesis of programs -- Expanding constructive universes -- The logical approach to programming -- The structural synthesis of programs -- On finding invariant relations of program -- What can we do with problems of exhaustive search? -- The algorithmic complexity of linear algebras -- Algorithms in various contexts -- Role of a notion of algorithm in the arithmetic language semantics -- From logicism to proceduralism (an autobiographical account) -- Abstract computability on algebraic structures -- Algorithms and algebra -- On formal transformations of algorithms -- What should we do having proved a decision problem to be unsolvable? -- On the experience of riding two horses in programming -- Church-rosser transformers and decidable propertis of tree processing -- Supplement 1 summaries of oral presentations -- Suppl

ローカル注記:

学内専用E-BOOKS (local access only)