株式会社サイエンス社 株式会社新世社 株式会社数理工学社
ホーム 会社案内 社員募集 ご意見・ご感想 リンク 当サイトの利用  



Information & Computing 1

「計算機科学入門」

M.A.アービブ
A.J.クフォーリ
R.N.モル 著
甘利俊一(東京大学名誉教授)
金谷健一(岡山大学教授)
嶋田 晋(中京大学教授) 訳

定価:2,726円(本体2,524円+税)
発行:サイエンス社
発行日:1984-11-01
ISBN 978-4-7819-0375-0 / A5判/248頁

品切れ中です
品切れ
立読み不可


<内容詳細>
本書は,計算機科学の基礎的な概念となる項目を取り上げている.オートマトンの理論,Pascal と Lisp の入門,論理回路,ブール代数など初学者でもわかりやすく,ていねいに解説した入門書である.

<目次>
1 集合,写像,関係
    1-1 集合
    1-2 指数と級数
    1-3 写像と関係
2 記号列,言語,帰納法
    2-1 自然数上での帰納法
    2-2 記号列
    2-3 言語とオートマトンの理論 最初の概観
    2-4 文脈自由言語
    2-5 リスト処理
3 数えあげ,再帰,木
    3-1 数えあげの原理
    3-2 木と再帰
    3-3 アルゴリズムの解析例
4 スイッチング回路,証明,理論
    4-1 真理値表とスイッチング回路
    4-2 定理の証明
5 2項関係,束,無限
    5-1 同値関係と半順序関係
    5-2 束とブール代数
    5-3 無限への招待
    5-4 木の代数構造
6 グラフ,行列,機械
    6-1 グラフ理論の初歩
    6-2 グラフと行列
    6-3 有限状態機械とそのグラフ