Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $11.99/month after trial. Cancel anytime.

    Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
    Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
    Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
    Ebook342 pages8 hours

    Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

    By Martin D. Davis, Elaine J. Weyuker and Werner Rheinboldt

    3.5/5

    ()

    Read preview

    About this ebook

    Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science provides an introduction to the various aspects of theoretical computer science. Theoretical computer science is the mathematical study of models of computation. This text is composed of five parts encompassing 17 chapters, and begins with an introduction to the use of proofs in mathematics and the development of computability theory in the context of an extremely simple abstract programming language. The succeeding parts demonstrate the performance of abstract programming language using a macro expansion technique, along with presentations of the regular and context-free languages. Other parts deal with the aspects of logic that are important for computer science and the important theory of computational complexity, as well as the theory of NP-completeness. The closing part introduces the advanced recursion and polynomial-time computability theories, including the priority constructions for recursively enumerable Turing degrees. This book is intended primarily for undergraduate and graduate mathematics students.
    LanguageEnglish
    PublisherAcademic Press
    Release dateMay 10, 2014
    ISBN9781483264585
    Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

    Related to Computability, Complexity, and Languages

    Related ebooks

    Questions & Answers For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      Physicists Attack Math’s $1,000,000 Question

      Apr 4, 2017

      Physicists are attempting to map the distribution of the prime numbers to the energy levels of a particular quantum system.

      4 min read

    • Article

      Kolmogorov Complexity and Our Search for Meaning

      Aug 2, 2018

      Was it a chance encounter when you met that special someone or was there some deeper reason for it? What about that strange dream last night—was that just the random ramblings of the synapses of your brain or did it reveal something deep about your u

      8 min read

    • Article

      The Aesthetic Beauty of Math

      Jul 22, 2019

      The Aesthetic Beauty of Math
      5 min read

    • Article

      Micro:bit Part 2 – Coding Using Your Phone Or Tablet

      Sep 6, 2021

      The micro:bit single-board computer is one of the best low-cost ways to help kids young and old learn the basics of computer science. With its fun mix of built-in sensors and processor powerful enough to handle the Python coding language, it gets com

      4 min read

    • Article

      Observability Of The Kernel And Containers

      Apr 4, 2023

      Mihalis Tsoukalos is currently working on Time Series. You can reach him at: @mactsouk. For our final delve into eBPF, we’re tackling applications, the kernel and Docker containers. At the end of the day, all Linux machines execute code for applicat

      10 min read

    • Article

      The Body Syntonic

      Aug 23, 2022

      The Body Syntonic
      4 min read

    • Article

      Introducing Mycroft

      Jun 25, 2019

      Introducing Mycroft
      2 min read

    • Article

      Kernel Internals

      Aug 24, 2021

      Kernel Internals
      4 min read

    • Article

      How To Develop Multi-threaded Code

      Jul 26, 2022

      Get the code for this tutorial from the Linux Format archive: www. linuxformat. com/archives ?issue=292. You can learn more about Rust at www. rust-lang.org. This month’s instalment of our ongoing Rust series will cover concurrent programming. The di

      10 min read

    • Article

      Taking The Fight To The Millennium Bug

      Mar 2, 2021

      We’ve decided to take a step back and look at perhaps the computing world’s most complex technological predicament—the Y2K bug. You can read all about that on page 32, but we wanted to take it further, and interview a man who was on the ground throug

      5 min read

    • Article

      Kernel Watch

      Jun 27, 2023

      Linus Torvalds announced Linux 6.4- rc6, saying, “I don’t think we’ve had anything hugely interesting happen the last week, and the whole 6.4 release really does feel like it’s going fairly smoothly. Knock wood, famous last words, you know the drill.

      3 min read

    Related categories

    Reviews for Computability, Complexity, and Languages

    3.5/5

    6 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words

      Book preview

      Computability, Complexity, and Languages - Martin D. Davis

      Enjoying the preview?
      Page 1 of 1