Image de couverture de livre

Algorithms for Constructing Computably Enumerable Sets

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scientists. Specifically, the book explains, organizes, and compares various algorithmic techniques us...

Description complète

Enregistré dans:

Détails bibliographiques
Auteur principal:	Supowit, Kenneth J. (Auteur)
Collectivité auteur:	SpringerLink (Online service)
Format:	Électronique eBook
Langue:	anglais
Publié:	Cham : Springer International Publishing : Imprint: Birkhäuser, 2023.
Édition:	1st ed. 2023.
Collection:	Computer Science Foundations and Applied Logic,
Sujets:	Computer science. Computable functions. Recursion theory. Set theory. Computer science > Mathematics. Theory of Computation. Computability and Recursion Theory. Set Theory. Theory and Algorithms for Application Domains. Mathematics of Computing.
Accès en ligne:	https://doi.org/10.1007/978-3-031-26904-2
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Computability and Complexity Foundations and Tools for Pursuing Scientific Applications /
par: Downey, Rod
Publié: (2024)

Programs as Diagrams From Categorical Computability to Computable Categories /
par: Pavlovic, Dusko
Publié: (2023)

Set Theory and Numbers
par: Chatterjee, P. N.
Publié: (1985)

Basic set theory
par: Levy, Azriel
Publié: (1979)

Set theory and related topics /
par: Lipschutz, Seymour
Publié: (1998)

Concepts of Fuzzy Mathematics
par: Singh, Manoranjan Kumar
Publié: (2024)

A Text Book on Set Theory and Number System
par: Aggarwal, R. S.
Publié: (1992)

An Introduction to Naïve Set Theory and Its Applications
par: Srivastava, Shashi Mohan
Publié: (2024)

A Gentle Introduction to Group Theory
par: Al Subaiei, Bana, et autres
Publié: (2023)

Theory of sets
par: KAMKE, E.
Publié: (1950)

Set theory
par: HAUSDORFF, Felix
Publié: (1962)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
par: Farmer, William M.
Publié: (2023)

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /
par: Farmer, William M.
Publié: (2025)

Elements of set theory.
par: ENDERTON, Herbert B.
Publié: (1977)

Fuzzy Sets
par: Klir, George J.
Publié: (1995)

Richard Dedekind What Are and What Should the Numbers Be? Continuity and Irrational Numbers /
par: Müller-Stach, Stefan
Publié: (2024)

Fuzzy Set Theory
par: Bhargava, A. K.
Publié: (2013)

Combinatorial Set Theory With a Gentle Introduction to Forcing /
par: Halbeisen, Lorenz J.
Publié: (2025)

Discrete Mathematics
par: Vatsa, B. S.

Simulating the Brain A Four-Step Method Using Ordinary Differential Equations and Python /
par: Caligiore, Daniele, et autres
Publié: (2025)

Sets and numbers /
par: SINGAL, M.K
Publié: (1976)

Essentials of Fuzzy Soft Multisets Theory and Applications /
par: Mukherjee, Anjan, et autres
Publié: (2023)

Multi-criteria Decision Making Methods with Bipolar Fuzzy Sets
par: Akram, Muhammad, et autres
Publié: (2023)

Set Theory
par: Chatterjee, P. N.
Publié: (1993)

Set Theory
par: Chatterjee, P. N.
Publié: (1995)

Fuzzy Sets and Fuzzy Logic: theory and applications /
par: Yuan, Bo
Publié: (1995)

Fuzzy Sets and Fuzzy Logic Theory and Applications
par: Yuan, Bo
Publié: (1995)

Introduction to Fuzzy Sets and Fuzzy Logic
par: Ganesh, M.
Publié: (2006)

Introduction to Incompleteness From Gödel's Theorems to Forcing and the Continuum Hypothesis /
par: Batzoglou, Serafim
Publié: (2024)

Schaum's Outline of Theory and Problems of Set Theory and Related Topics
par: Lipschutz
Publié: (1998)

Schaum's Outline of Theory and Problems of Set Theory and Related Topics
par: Lipschutz
Publié: (1998)

Schaum's outline of theory and problems of set theory and related topics /
par: Lipschutz, Seymour
Publié: (1998)

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21–23, 2023, Revised Selected Papers /
Publié: (2024)

Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19–21, 2024, Revised Selected Papers /
Publié: (2025)

Theory and Problems of Set Theory: and related topics /
par: Lipschutz, Seymour
Publié: (1964)

Theory and Problems of Set Theory and Related Topics
par: Lipschutz, Seymour
Publié: (1964)

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings /
Publié: (2025)

Schaum's outline of set theory and related topics /
par: Lipschutz, Seymour
Publié: (1981)

Schaum's outline of set theory and related topics
par: Lipschutz, Seymour
Publié: (1981)

Theory and Problems of Set Theory and Related Topics
par: Lipschutz, Seymour
Publié: (1964)