内容情報
[日販商品データベースより]
[日販商品データベースより]
理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう、重要な基盤項目には例を用いたコンパクトな説明を付し、理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム／計算モデルと計算量／応用分野における計算理論／形式言語とオートマトン／計算モデル／プログラム意味論／システム検証理論
この商品をご覧のお客様は、こんな商品もチェックしています。
- ポケット六法 令和８年版
-
価格：2,530円（本体2,300円＋税）
【2025年09月発売】
- 「発問」のデザイン 実践編
-
価格：2,046円（本体1,860円＋税）
【2026年07月発売】
- ニャンとわかりやすい！ねこ慣用句
-
価格：1,793円（本体1,630円＋税）
【2026年07月発売】
- 斎藤秀一とその時代
-
価格：10,340円（本体9,400円＋税）
【2026年07月発売】
- 「嫌な記憶」を忘れる心理学
-
価格：1,540円（本体1,400円＋税）
【2026年05月発売】
のマークが目印です。
