オートマトン言語理論 計算論〈2〉 第2版 (Information & Computing〈4〉) [全集叢書]

オートマトン言語理論 計算論〈2〉 第2版 (Information & Computing〈4〉) の 商品概要

• 目次（「BOOK」データベースより）

  ８　テューリング機械入門（コンピュータで解けない問題
  テューリング機械　ほか）
  ９　決定不能性（帰納的可算でない言語
  帰納的可算な決定不能問題　ほか）
  １０　実行不能な問題（クラスＰとクラスＮＰ
  最初のＮＰ完全問題　ほか）
  １１　その他の「問題のクラス」（ＮＰに属す言語の補集合
  多項式領域で解ける問題　ほか）

• 著者紹介（「BOOK著者紹介情報」より）（本データはこの書籍が刊行された当時に掲載されていたものです）

  野崎 昭弘(ノザキ アキヒロ)
  １９５９年東京大学理学部数学科卒業。１９６１年東京大学大学院修士課程修了。現在、大妻女子大学教授。理学博士
  
  高橋 正子(タカハシ マサコ)
  １９６２年お茶の水女子大学理学部数学科卒業。１９７２年ペンシルバニア大学大学院博士課程修了。現在、国際基督教大学教授。Ｐｈ．Ｄ．
  
  町田 元(マチダ ハジメ)
  １９７０年東京大学理学部数学科卒業。１９７４年東京大学大学院修士課程修了。現在、一橋大学教授。博士（数理科学）
  
  山崎 秀記(ヤマザキ ヒデキ)
  １９７２年東京大学教養学部基礎科学科卒業。１９７５年東京大学大学院修士課程修了。現在、一橋大学教授。理学博士

オートマトン言語理論 計算論〈2〉 第2版 (Information & Computing〈4〉) の商品スペック