理論計算機科学事典= Encyclopedia of theoretical computer science |京大新刊情報ポータル

理論計算機科学事典= Encyclopedia of theoretical computer science

編著

情報

工学

数学・物理

徳山豪, 小林直樹総編集 ; 岩間一雄 [ほか] 編集

五十嵐淳(情報学研究科 / 編集, 分担執筆), 岩間一雄(情報学研究科 / 編集, 分担執筆), 長谷川真人(数理解析研究所 / 編集, 分担執筆)

Atsushi Igarashi (情報学研究科, 編集, 分担執筆), Kazuo Iwama (情報学研究科, 編集, 分担執筆), Masahito Hasegawa (数理解析研究所, 編集, 分担執筆)

出版年月: 2022.01
図書体裁: A5判
出版社: 朝倉書店
ISBN: 9784254122633
定価（税抜）: 18,000
頁数: 800
本文言語: 日本語

内容紹介

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

理論計算機科学事典= Encyclopedia of theoretical computer science

理論計算機科学事典= Encyclopedia of theoretical computer science

内容紹介

図書を入手する

図書に貢献している教員

理論計算機科学事典= Encyclopedia of theoretical computer science

理論計算機科学事典= Encyclopedia of theoretical computer science

内容紹介

図書を入手する

図書に貢献している教員

五十嵐淳

その他の図書

岩間一雄

その他の図書

京都のアルゴリズム

長谷川真人

その他の図書