サイト内検索

詳細検索

ヘルプ

セーフサーチについて

性的・暴力的に過激な表現が含まれる作品の表示を調整できる機能です。
ご利用当初は「セーフサーチ」が「ON」に設定されており、性的・暴力的に過激な表現が含まれる作品の表示が制限されています。
全ての作品を表示するためには「OFF」にしてご覧ください。
※セーフサーチを「OFF」にすると、アダルト認証ページで「はい」を選択した状態になります。
※セーフサーチを「OFF」から「ON」に戻すと、次ページの表示もしくはページ更新後に認証が入ります。

ブックオフ宅本便ポイント増量キャンペーン ~4/15

「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。

電子書籍化お知らせメール

商品が電子書籍化すると、メールでお知らせする機能です。
「メールを登録する」ボタンを押して登録完了です。
キャンセルをご希望の場合は、同じ場所から「メール登録を解除する」を押してください。

電子書籍化したら知らせてほしい

  • みんなの評価 5つ星のうち 4 3件
  • あなたの評価 評価して"My本棚"に追加 評価ありがとうございます。×
  • カテゴリ:大学生・院生
  • 発売日:2000/04/10
  • 出版社: 共立出版
  • サイズ:24cm/483p
  • 利用対象:大学生・院生
  • ISBN:4-320-02948-8
  • 国内送料無料
専門書

紙の本

計算理論の基礎

著者 Michael Sipser (著),渡辺 治 (監訳),太田 和夫 (監訳),阿部 正幸 (ほか訳)

計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、学部上級・大学院初級向けの計算機理論の教科書。定理とその証明を中心に...

もっと見る

計算理論の基礎

税込 8,470 77pt

予約購入とは

まだ販売されていない電子書籍の予約ができます。予約すると、販売開始日に自動的に決済されて本が読めます。

  • 商品は販売開始日にダウンロード可能となります。
  • 価格と販売開始日は変更となる可能性があります。
  • ポイント・クーポンはご利用いただけません。
  • 間違えて予約購入しても、予約一覧から簡単にキャンセルができます。
  • honto会員とクレジットカードの登録が必要です。未登録でも、ボタンを押せばスムーズにご案内します。

予約購入について詳しく見る

ワンステップ購入とは

ワンステップ購入とは、ボタンを1回押すだけでカートを通らずに電子書籍を購入できる機能です。

こんな方にオススメ

  • とにかくすぐ読みたい
  • 購入までの手間を省きたい
  • ポイント・クーポンはご利用いただけません。
  • 間違えて購入しても、完了ページもしくは購入履歴詳細から簡単にキャンセルができます。
  • 初めてのご利用でボタンを押すと会員登録(無料)をご案内します。購入する場合はクレジットカード登録までご案内します。

キャンセルについて詳しく見る

このセットに含まれる商品

前へ戻る

  • 対象はありません

次に進む

商品説明

計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、計算の複雑さの理論をまとめた、学部上級・大学院初級向けの計算機理論の教科書。定理とその証明を中心に、主要な話題を数学的に扱う。【「TRC MARC」の商品解説】

「計算の理論の世界へ、ようこそ!」
 Michael Sipser教授の「Theory of Computation」の講義も、本書と同様に、このフレンドリーな挨拶から始まりました。彼の講義はMIT屈指の名講義で、教室には活気と笑いがあふれていました。2、3回の聴講を考えていた私はその魅力に魅せられて、91年秋学期の全講義に出席することになりました。
 本書は、Sipser教授のMITでの講義ノートをもとにまとめられたものです。計算の理論の主テーマである、オートマトンと言語の理論、計算可能性の理論、そして計算の複雑さの理論をカバーしています。
 「まえがき」を含めて、随所に講義の雰囲気が感じられます。定理を述べたあと直ちに証明に取り かからず、証明のアイディアを与える工夫、証明の失敗例に言及して理解を深めさせるなど、教育的 配慮の行き届いた教科書だと言えましょう。――訳者まえがきより【商品解説】

目次

  • 0章 序論
  • 0.1 オートマトン,計算可能性,複雑さ
  • 0.2 数学的概念や用語
  • 0.3 定義,定理,証明
  • 0.4 証明のタイプ
  • 第1部 オートマトンと言語
  • 1章 正規言語

著者紹介

Michael Sipser

略歴
〈Sipser〉カリフォルニア大学バークレー校で計算機科学の博士号取得。MIT応用数学科教授・計算機科学研究所メンバー。現在、「計算の複雑さの理論」の研究を進めている。

関連キーワード

あわせて読みたい本

この商品に興味のある人は、こんな商品にも興味があります。

前へ戻る

  • 対象はありません

次に進む

この著者・アーティストの他の商品

前へ戻る

  • 対象はありません

次に進む

みんなのレビュー3件

みんなの評価4.0

評価内訳

  • 星 5 (1件)
  • 星 4 (0件)
  • 星 3 (1件)
  • 星 2 (0件)
  • 星 1 (0件)

紙の本

計算機のハード/ソフトおよびそれに関する計算理論の教科書。理工系大学院の学生,エンジニアが対象読者

2000/10/13 00:15

0人中、0人の方がこのレビューが役に立ったと投票しています。

投稿者:ブックレビュー社 - この投稿者のレビュー一覧を見る

 計算機のハードウエア,ソフトウエアおよびそれに関する計算理論の基礎を学ぶための教科書。数理/工学系大学院における初等教育で利用することを前提に執筆している。もちろん大学の講義で使うだけでなく企業での研修,技術者の学習場面で活用することもできるが,読みこなすには数理/工学系の大学学部卒業レベルの知識が必要。
 本書は,米MIT(マサチューセッツ工科大学)のMichael Sipser教授が,計算理論に関する大学院における自身の講義録をまとめて出版した教科書を,NTTのエンジニアたちが翻訳したものである。全体は4部構成。「序論」ではオートマトン,数学的概念および用語などを概説する。続く本編は「オートマトンと言語」「計算可能性の理論」「複雑さの理論」の3部で計算理論の基礎を解説する。「オートマトンと言語」ではいくつかのオートマトンに関して解説する。「計算可能性の理論」では,チューリング機械の概説から説き起こし,判定可能性や帰着可能性について論じる。最後の「複雑さの理論」では,時間および領域の複雑さ,問題の扱いにくさ,そして計算の複雑さに関する最新の話題に触れる。
(C) ブックレビュー社 2000

このレビューは役に立ちましたか? はい いいえ

報告する

2005/11/21 14:45

投稿元:ブクログ

レビューを見る

2023/05/27 07:13

投稿元:ブクログ

レビューを見る

×

hontoからおトクな情報をお届けします!

割引きクーポンや人気の特集ページ、ほしい本の値下げ情報などをプッシュ通知でいち早くお届けします。