Willkommen, schön sind Sie da!
Logo Ex Libris

Complexity, Logic, and Recursion Theory

  • E-Book (pdf)
  • 380 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
"Integrates two classical approaches to computability. Offers detailed coverage of recent research at the interface of logic, com... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 253.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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



Inhalt

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

Produktinformationen

Titel: Complexity, Logic, and Recursion Theory
Autor:
EAN: 9781482269758
Digitaler Kopierschutz: Adobe-DRM
Format: E-Book (pdf)
Hersteller: Taylor & Francis Ltd.
Genre: Grundlagen
Anzahl Seiten: 380
Veröffentlichung: 07.05.2019
Dateigrösse: 35.3 MB