• 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
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

Må bättre, för mindre! Upp till 50% rabatt på hälsoböcker

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
    • Populära bokserier
    • 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. Naturvetenskap och teknik
    2. Matematik och naturvetenskap
    3. Matematik
    4. Matematikens grunder

    Crossroads of Computability and Logic: Insights, Inspirations, and Innovations

    21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings

    AvArnold Beckmann,Isabel Oitavem

    Häftad, Engelska, 2025

    Del 15764 i serien Lecture Notes in Computer Science

    1 518 kr

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

    Beskrivning

    This book constitutes the refereed proceedings of the 21st Conference on Computability and Logic, CiE 2025, held in Lisbon, Portugal, during July 14–18, 2025.The 27 full papers included in this book were carefully reviewed and selected from 49 submissions. They focus on computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2025 hadas its motto Crossroads of Computability and Logic: Insights, Inspirations, and Innovations, drawing on the numerous interconnections between computability research and broader logical methodologies, considering both well-established perspectives as well as recent innovations.

    Produktinformation

    • Utgivningsdatum:2025-06-20
    • Mått:155 x 235 x 29 mm
    • Vikt:803 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:512
    • Förlag:Springer International Publishing AG
    • ISBN:9783031959073

    Utforska kategorier

    • Matematikens grunder inom Naturvetenskap och teknik
    • Systemvetenskap och AI inom Data och IT

    Innehållsförteckning

    • .- Invited Papers..- The CDSAT Method for Satisfiability Modulo Theories and Assignment: an Exposition..- Effective second countability in computable analysis..- Towards a Computational Quantum Logic: An Overview of an Ongoing Research Program..- Represented spaces of represented spaces..- Computation with Real Numbers and Continuous-Time Dynamical Systems..- Proof-Carrying Neuro-Symbolic Code..- Uniform Functional Interpretations..- Computable Analysis for Extraction of Certified Programs and its Applications..- Contributed Papers..- The existence of primitive recursive structures..- Space-bounded online Kolmogorov complexity is additive..- On learning existentially definable subsets in a computable structure..- Transfinite structured programming..- Computability of Real Functions with Oracle Pointer Machines implies Real-Time simulation of Chemical Reaction Networks..- Computability of Initial Value Problems..- Full generalized effective reducibility..- On S-Degrees of some Representations of Irrational Numbers..- Circuit metaconstruction in logspace for Rice-like complexity lower bounds in ANs and SGRs..- Binary Expansions of Regular Reals and Reordered Computable Numbers..- Properties of Range Sets of Continuous Functions in Reverse Mathematics..- The theory of reachability of trace-pushdown systems..- A point to set principle for finite-state dimension and relativized equidistribution porperties..- Some structural complexity results for $\exists \mathbb R$..- On the computational power of C-random strings..- Generalized learnability of stochastic principles..- Computably discrete represented spaces..- Multidimensional tilings and MSO logic..- Injectivity of polynomials over finite discrete dynamical systems..- Weihrauch problems as containers..- On the reverse mathematics of cut-elimination and determinacy..- $L {\omega\omega}$, $L {\omega 1\omega}$, and Wadge hierarchy..- Ordinal Invariants of the $h$-Preorder on $k$-Labeled Forests..- Completeness theorems for modal logic in second-order arithmetic..- Variants of Solovay reducibility..- Constructive Analysis of Maximal Ideals in Z[X] by the Material Interpretation..- Alternation-Bounded Semi-Unbounded Fan-in Cascading Circuits and the Complementation Closure Property.