3,520円 (税込)楽天Bookmark Iconブックマークコンピュータサイエンスにおける様相論理その他ゲーム, 数学書籍情報発売日:2022年01月20日著者/編集:鹿島 亮出版社:森北出版発行形態:単行本書籍説明内容紹介モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載!目次第1章 準備:命題論理 第2章 K 第3章 CTL(計算木論理) 第4章 様相ミュー計算 第5章 PDL(命題動的論理) 第6章 ホーア論理著者情報鹿島 亮東京工業大学准教授 博(理)鹿島, 亮
類似書籍Pythonで動かして学ぶ!あたらしい数学...なっとく!アルゴリズム 第2版コマンドで遊んで身につく!マインクラフトプ...計算論理と人間の思考 推論AIへの論理的ア...「VRならでは」の体験を作る Unity+...天才!神コマンドでなんでも再現!マインクラ...ゲームUI 作り方講座 Photoshop...ゲーム作りの教科書UTAGE実践マニュアル 会員サイト編UTAGE実践マニュアル ファネル編
関連イベントあなたの思考を変える、 世界シミュレーションゲーム:Sustainable World BOARDG...2025/04/16(水) 開催日本と西洋のゲームデザインの違いを探る ゲームアートディレクションとビジュアルアイデンティティ2025/04/24(木) 開催