• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Pocketfynda! Hundratals böcker för 49 kr/st →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Computability and Complexity

    Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday

    AvAdam Day,Michael Fellows

    Häftad, Engelska, 2016

    Del 10010 i serien Lecture Notes in Computer Science

    559 kr

    Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

    Beskrivning

    This Festschrift is published in honor of Rodney G. Downey, eminent logician and computer scientist, surfer and Scottish country dancer, on the occasion of his 60th birthday.The Festschrift contains papers and laudations that showcase the broad and important scientific, leadership and mentoring contributions made by Rod during his distinguished career. The volume contains 42 papers presenting original unpublished research, or expository and survey results in Turing degrees, computably enumerable sets, computable algebra, computable model theory, algorithmic randomness, reverse mathematics, and parameterized complexity, all areas in which Rod Downey has had significant interests and influence. The volume contains several surveys that make the various areas accessible to non-specialists while also including some proofs that illustrate the flavor of the fields.

    Produktinformation

    • Utgivningsdatum:2016-12-06
    • Mått:155 x 235 x 43 mm
    • Vikt:1 188 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:755
    • Förlag:Springer International Publishing AG
    • ISBN:9783319500614

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT
    • Databaser inom Data och IT
    • Programmeringsböcker inom Data och IT

    Innehållsförteckning

    • Cameo of a Consummate Computabilist.- Surfing with Rod.- Prequel to the Cornell Computer Science Department.- Some Questions in Computable Mathematics.- Introduction to Autoreducibility and Mitoticity.- The Complexity of Complexity.- Bounded Pushdown Dimension vs Lempel Ziv Information Density.- On Being Rod's Graduate Student.- Herrmann's Beautiful Theorem on Computable Partial Orderings.- Effectiveness of Hindman's Theorem for Bounded Sums.- Reverse Mathematics of Matroids.- Weakly Represented Families in Reverse Mathematics.- The Vitali Covering Theorem in the Weihrauch Lattice.- Parallel and Serial Jumps of Weak König's Lemma.- Effectively Existentially-Atomic Structures.- Irreducibles and Primes in Computable Integral Domains.- Revisiting Uniform Computable Categoricity: For the Sixtieth Birthday of Prof. Rod Downey.- Enumeration Reducibility and Computable Structure Theory.- Strength and Weakness in Computable Structure Theory.- On Constructive Nilpotent Groups.- Computable Model Theory over the Reals.- The Lattice of Computably Enumerable Vector Spaces.- Injection Structures Specified by Finite State Transducers.- A Survey on Universal Computably Enumerable Equivalence Relations.- Higher Computability.- Σ1 1 in Every Real in a Σ1 1 Class of Reals is Σ1.- A Survey of Results on the D-C.E. and N-C.E. Degrees.- There Are no Maximal D.C.E. WTT-Degrees.- A Rigid Cone in the Truth-Table Degrees with Jump.- Asymptotic Density and the Theory of Computability : A Partial Survey.- On Splits of Computably Enumerable Sets.- 1-Generic Degrees Bounding Minimal Degrees Revisited.- Nondensity of Double Bubbles in the D.C.E. Degrees.- On the Strongly Bounded Turing Degrees of the Computably Enumerable Sets.- Permutations of the Integers Induce Only the Trivial Automorphism of the Turing Degrees.- On the Reals which Cannot Be Random.- A Note on the Differences of Computably Enumerable Reals.- Effective Bi-immunity and Randomness.- On Work of Barmpalias and Lewis-Pye: A Derivation on the D.C.E. Reals.- Turing Degrees and Muchnik Degrees of Recursively Bounded DNR Functions.- Algorithmic Statistics: Forty Years Later.- Lowness, Randomness, and Computable Analysis.