Computability and Models

Perspectives East and West

Inbunden, Engelska, 2003

AvBarry S. Cooper,Sergei S. Goncharov,Sergey Goncharov,Barry S Cooper,Sergei S Goncharov

1 369 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This volume arises directly out of the activities of the INTAS-RFBR Research Project, which is scheduled to run from December 1999 to November 2002. Participating scientists are leading scholars in their fields, and their contributions make this book an excellent, up-to-date account of recent and in some cases as yet unpublished achievements in the field of Computability Theory and its Applications.

Produktinformation

Utgivningsdatum2003-01-31
Mått155 x 235 x 30 mm
Vikt803 g
FormatInbunden
SpråkEngelska
SerieUniversity Series in Mathematics
Antal sidor375
Upplaga2003
FörlagSpringer Science+Business Media
ISBN9780306474002

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Matematikens grunder inom Naturvetenskap och teknik
Diskret matematik inom Naturvetenskap och teknik
Filosofi inom Filosofi och religion

Truth-Table Complete Computably Enumerable Sets.- Completeness and Universality of Arithmetical Numberings.- Algebraic Properties of Rogers Semilattices of Arithmetical Numberings.- Isomorphism Types and Theories of Rogers Semilattices of Arithmetical Numberings.- Computability over Topological Structures.- Incomputability In Nature.- Gems in the Field of Bounded Queries.- Finite End Intervals in Definable Quotients of ?.- A Tour of Robust Learning.- On Primitive Recursive Permutations.- On Self-Embeddings of Computable Linear Orders.- Definable Relations on the Computably Enumerable Degrees.- Quasi-Degrees of Recursively Enumerable Sets.- Positive Structures.- Local Properties of the Non-Total Enumeration Degrees.