Complexity, Logic, and Recursion Theory

AvAndrea Sorbi

Häftad, Engelska, 1997

Del i serien Lecture Notes in Pure and Applied Mathematics

2 869 kr

Tillfälligt slut

Fler format och utgåvor

Inbunden

2 576 kr

Skickas inom 10-15 vardagar

Beskrivning

"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, computability theory, nd theoretical computer science. Presents new, never-before-published results and provides informtion not easily accessible in the literature."

Produktinformation

Utgivningsdatum:1997-02-04
Mått:210 x 280 x undefined mm
Vikt:635 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Pure and Applied Mathematics
Antal sidor:384
Förlag:Taylor & Francis Inc
ISBN:9780824700263

Utforska kategorier

Mer om författaren

Andrea Sorbi is Associate Professor in the Department of Mathematics at the University of Siena, Italy. The author or coauthor of several key professional papers and book chapters on computability theory and mathematical logic, he is a member of the American Mathematical Society and the Association for Symbolic Logic, among other organizations. Dr. Sorbi received the Ph.D. degree (1987) in mathematics from the City University of New York, New York.

Innehållsförteckning

Resource-bounded measure and randomness; degree structures in local degree theory; compressibility of infinite binary sequences; beyond Godel's theorem - the failure to capture information content; progressions of theories of bounded arithmetic; on presentations of algebraic structures; witness-isomorphic reductions and local search; a survey of inductive inference with an emphasis on queries; a uniformity of degree structures; short course on logic, algebra, and topology; the convenience of Tiling. (Part contents).