Theoretical computer science and general issues logic and theory of algorithms

Rubriek: Textual/Printed/Reference Materials - Boek

Prijs: € 99.99

Rating: 0/5

☆

☆

☆

☆

☆

Verzending:
Uiterlijk 28 januari in huis

CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15–20, 2008 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications.

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008.

The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.

CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15–20, 2008 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network is to advance our t- oretical understanding of what can and cannot be computed, by any means of computation. Its scienti?c vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs, and - chines. Computations may be made by experimenting with any sort of physical system obeying the laws of a physical theory such as Newtonian mechanics, quantum theory, or relativity. Computations may be very general, depending on the foundations of set theory; or very speci?c, using the combinatorics of ?nite structures. CiE also works on subjects intimately related to computation, especially theories of data and information, and methods for formal reasoning about computations. The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, computational learning. Applications are everywhere,especially, in algebra,analysisand geometry, or data types and p- gramming. Within CiE there is general recognition of the underlying relevance of computability to physics and a broad range of other sciences, providing as it does a basic analysis of the causal structure of dynamical systems. Thisvolume,Logic andTheory of Algorithms,istheproceedingsofthefourth in a series of conferences of CiE that was held at the University of Athens, June 15–20, 2008.

• 1 Bekijk alle specificaties

Taal: en

Bindwijze: Paperback

Oorspronkelijke releasedatum: 03 juni 2008

Aantal pagina's: 596

Illustraties: Met illustraties

Hoofdauteur: Arnold Beckmann

Hoofdredacteur: Arnold Beckmann

Tweede Redacteur: Costas Dimitracopoulos

Co Redacteur: Benedikt Loewe

Hoofduitgeverij: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Editie: 2008 ed.

Extra groot lettertype: Nee

Product breedte: 155 mm

Product hoogte: 38 mm

Product lengte: 235 mm

Studieboek: Nee

Verpakking breedte: 155 mm

Verpakking hoogte: 235 mm

Verpakking lengte: 235 mm

Verpakkingsgewicht: 943 g

EAN: 9783540694052

---