「理論計算機科学事典」 徳山 豪 / 小林 直樹 定価: ￥ 18000 #徳山豪 #徳山_豪 #小林直樹 #小林_直樹 #本 #コンピュータ／コンピュータ 理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう，重要な基盤項目には例を用いたコンパクトな説明を付し，理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム／計算モデルと計算量／応用分野における計算理論／形式言語とオートマトン／計算モデル／プログラム意味論／システム検証理論 ●状態： 数年前に書店で購入し、カバーを外さずに一度だけ読みました。 ●カバー：あり ●ヤケ：なし ●ヨレ：なし ●スレ：なし ●折り目：なし ●書き込み：なし ●その他、注意事項： こちらの商品は即購入していただいて構いません。中古品ということをご理解の上ご検討ください。値下げや商品の確認をする場合はプロフィール欄をご確認の上コメントしてください。