- Amazon.co.jp ・本 (264ページ)
- / ISBN・EAN: 9784320125612
作品紹介・あらすじ
Michael Sipser教授による “Theory of Computation” の講義はMIT屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。
第3版では、「決定性文脈自由言語」に関する節が新たに加えられたほか、問題や解答が追加されるとともに、いくつかの話題に関して、第2版刊行後の研究の進展について説明を加えた。
感想・レビュー・書評
-
【本学OPACへのリンク☟】
https://opac123.tsuda.ac.jp/opac/volume/710948詳細をみるコメント0件をすべて表示 -
請求記号 410.9/Si 8
-
【書誌情報】
著者:Michael Sipser
監訳: 田中 圭介・ 藤岡 淳
訳者:阿部 正幸・ 植田 広樹・ 太田 和夫 訳・ 渡辺 治
分野 情報・コンピュータ > 情報数学
発売日 2023/04/24
ISBN 9784320125612
体裁 A5・264頁
定価 3,740円 (本体3,400円 + 税10%)
Michael Sipser教授による “Theory of Computation” の講義はMIT屈指の名講義で、教室には活気と笑いが絶えることはない。本書はその講義ノートをもとにまとめられた、この分野の標準的教科書である。
定理を述べたあと直ちに証明に取りかからず、証明のアイデアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、随所に講義の雰囲気が感じられる、教育的配慮の行き届いた教科書になっている。
第3版では、「決定性文脈自由言語」に関する節が新たに加えられたほか、問題や解答が追加されるとともに、いくつかの話題に関して、第2版刊行後の研究の進展について説明を加えた。
https://www.kyoritsu-pub.co.jp/book/b10030021.html