内容情報
[日販商品データベースより]
[日販商品データベースより]
理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう、重要な基盤項目には例を用いたコンパクトな説明を付し、理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム／計算モデルと計算量／応用分野における計算理論／形式言語とオートマトン／計算モデル／プログラム意味論／システム検証理論
この商品をご覧のお客様は、こんな商品もチェックしています。
- 私はこうして勉強にハマった
-
価格：1,760円（本体1,600円＋税）
【2024年07月発売】
- 「嫌な記憶」を忘れる心理学
-
価格：1,540円（本体1,400円＋税）
【2026年05月発売】
- インテリジェンスの基礎理論
-
価格：1,650円（本体1,500円＋税）
【2025年04月発売】
- エロってなんだろう？
-
価格：990円（本体900円＋税）
【2025年11月発売】
- 小林克也 英語がひらいた道
-
価格：2,640円（本体2,400円＋税）
【2024年07月発売】
のマークが目印です。
