Introduction to the theory of computation

書誌事項

Introduction to the theory of computation

Michael Sipser

PWS Pub., c1997

大学図書館所蔵 件 / 43

この図書・雑誌をさがす

注記

Bibliography: p. 381-385

Includes index

内容説明・目次

内容説明

Provides an overview of computational theory grounded in mathematical theorems and proofs. The author aims to increase students' knowledge of conceptual tools used in computer engineering, as well as the aesthetic sense required to build elegant systems.

目次

  • Regular Languages
  • Context-Free Languages
  • The Church-Turing Thesis
  • Decidability
  • Reducibility
  • The Recursion Theorem
  • Time Complexity
  • Space Complexity
  • Provable Intractability
  • Advanced Topics: Approximation Algorithms, Alteration, Cryptography, Parallel Computing.

「Nielsen BookData」 より

詳細情報

ページトップへ