Verkauf durch Sack Fachmedien

Sorbi

Complexity, Logic, and Recursion Theory

Medium: Buch
ISBN: 978-0-8247-0026-3
Verlag: Taylor & Francis
Erscheinungstermin: 04.02.1997
Nicht mehr lieferbar

"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."


Produkteigenschaften


  • Artikelnummer: 9780824700263
  • Medium: Buch
  • ISBN: 978-0-8247-0026-3
  • Verlag: Taylor & Francis
  • Erscheinungstermin: 04.02.1997
  • Sprache(n): Englisch
  • Auflage: 1. Auflage 1997
  • Serie: Lecture Notes in Pure and Applied Mathematics
  • Produktform: Kartoniert
  • Gewicht: 635 g
  • Seiten: 384
  • Format (B x H): 210 x 280 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Autoren

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).