書籍案内と書評(訳書)
A. クフォーリ,R. モル,M. アービブ 著,
甘利俊一,金谷健一,川端 勉 訳,
「プログラミングによる計算可能性理論」,サイエンス社,1987年12月.
内容:従来から現代数学において最も難解な分野の一つとみなされていた計算可能性理論を初学者(大学高学年生,大学院生)にわかりやすく伝えようとする大胆な試みである.最大の特徴は,伝統的なチューリング機械や原始帰納的的関数などを使わないことである.その代わりにPASCAL言語の一部によって簡潔で読みやすくしている(もちろんPASCAL言語を知っている必要はない).2876頁
ISBN 4-7819-0497-1
M. アービブ,A. クフォーリ,R. モル 著,
甘利俊一,金谷健一,嶋田 晋 訳,
「計算機科学入門」,サイエンス社,1984年11月.
内容:本書は,計算機科学の基礎的な概念となる項目を取り上げている.オートマトンの理論,Pascal と Lisp の入門,論理回路,ブール代数,グラフ,オートマトンなど初学者でもわかりやすく,ていねいに解説した入門書である.全国の大学の情報系学科の初年次の教科書として広く用いられている.
233頁
ISBN 4-7819-0375-4
ホームページに戻る