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

Ամբողջական նկարագրություն

Մատենագիտական մանրամասներ

Հիմնական հեղինակ:	Supowit, Kenneth J. (Հեղինակ)
Համատեղ հեղինակ:	SpringerLink (Online service)
Ձևաչափ:	Էլեկտրոնային էլ․ գիրք
Լեզու:	անգլերեն
Հրապարակվել է:	Cham : Springer International Publishing : Imprint: Birkhäuser, 2023.
Հրատարակություն:	1st ed. 2023.
Շարք:	Computer Science Foundations and Applied Logic,
Խորագրեր:	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.
Առցանց հասանելիություն:	https://doi.org/10.1007/978-3-031-26904-2
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!