ホーム > 商品詳細

新刊
丸善のおすすめ度

理論計算機科学事典

徳山 豪, 小林 直樹  編
在庫状況 有り  お届け予定日 3~4日  数量 冊 
価格 \19,800(税込)         

発行年月 2022年01月
出版社/提供元
言語 日本語
媒体 冊子
ページ数/巻数 15p,793p
大きさ 22cm
ジャンル 和書/理工学/情報学/情報理論
ISBN 9784254122633
商品コード 1034042474
NDC分類 007.1
基本件名 情報理論-便覧
本の性格 学術書/実務向け
新刊案内掲載月 2022年02月2週
商品URL
参照
https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1034042474

著者紹介

徳山 豪(編者):関西学院大学
小林 直樹(編者):東京大学

内容

理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう、重要な基盤項目には例を用いたコンパクトな説明を付し、理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム/計算モデルと計算量/応用分野における計算理論/形式言語とオートマトン/計算モデル/プログラム意味論/システム検証理論

目次

カート

カートに商品は入っていません。