Bookbot

Computability

Viac o knihe

This survey of computability theory provides essential techniques for computer scientists, mathematicians, and philosophers to analyze computational processes and theoretical limits. It covers topics from URM programs and primitive recursive functions to advanced concepts like Goedel's incompleteness theorems, Oracle computations, and the Arithmetical hierarchy.

Vydanie

Nákup knihy

Computability, George Tourlakis

Jazyk
Rok vydania
2022
product-detail.submit-box.info.binding
(pevná)
Akonáhle sa objaví, pošleme e-mail.

Platobné metódy

Nikto zatiaľ neohodnotil.Ohodnotiť

Jazyk
anglicky
Vydavateľ
Springer
Rok vydania
2022
Väzba
pevná
ISBN13
9783030832018
Série
Anotácia
This survey of computability theory provides essential techniques for computer scientists, mathematicians, and philosophers to analyze computational processes and theoretical limits. It covers topics from URM programs and primitive recursive functions to advanced concepts like Goedel's incompleteness theorems, Oracle computations, and the Arithmetical hierarchy.