Introduction to the theory of computation

書誌事項

Introduction to the theory of computation

Michael Sipser

Thomson Course Technology, c2006

2nd ed, International ed

大学図書館所蔵 件 / 8

この図書・雑誌をさがす

注記

Includes bibliographical references (p. 421-425) and index

内容説明・目次

内容説明

This market leading text on computational theory provides a mathematical treatment of computer science theory designed around theorems and proofs.

目次

Introduction. Part 1: Automata and Languages. 1. Regular Languages. 2. Context-Free Languages. Part 2: Computability Theory. 3. The Church-Turing Thesis. 4. Decidability. 5. Reducibility. 6. Advanced Topics in Computability Theory. Part 3: Complexity Theory. 7. Time Complexity. 8. Space Complexity. 9. Intractability. 10. Advanced Topics in Complexity Theory. Selected Bibliography.

「Nielsen BookData」 より

詳細情報

  • NII書誌ID(NCID)
    BA8112156X
  • ISBN
    • 0619217642
  • 出版国コード
    au
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Australia
  • ページ数/冊数
    xvii, 437 p.
ページトップへ