丸善のおすすめ度
理論計算機科学事典
徳山 豪,
小林 直樹
編
発行年月 |
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 |
---|
著者紹介
徳山 豪(編者):関西学院大学
小林 直樹(編者):東京大学
内容
理論計算機科学の全体像を解説する日本初の事典。大学教育レベルの教科書あるいは参考書としても活用できるよう、重要な基盤項目には例を用いたコンパクトな説明を付し、理論計算機科学の学術的最前線の状況にまで触れる。「アルゴリズムと計算複雑度」と「形式モデルと意味論」の二部構成。〔内容〕計算とアルゴリズム/計算モデルと計算量/応用分野における計算理論/形式言語とオートマトン/計算モデル/プログラム意味論/システム検証理論