Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16-22, 1979 by A. P. ErshovAlgorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16-22, 1979 by A. P. Ershov

Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16…

EditorA. P. Ershov

Paperback | November 1, 1981

Pricing and Purchase Info

$64.47 online 
$64.95 list price
Earn 322 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Algorithms in Modern Mathematics and Computer Science: Proceedings, Urgench, Uzbek SSR September 16…Format:PaperbackDimensions:502 pages, 10.98 × 8.5 × 0.01 inPublished:November 1, 1981Publisher:Springer Berlin HeidelbergLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540111573

ISBN - 13:9783540111573

Look for similar items by category:

Reviews

Table of Contents

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.- Supplement 2 technical program.- Supplement 3 publications on the symposium.- List of participants.- Supplement 5 photoillustrations.