TECH PLAY

コンピュータサイエンスにおける様相論理

3,520円 (税込)

楽天
Bookmark Iconブックマーク

コンピュータサイエンスにおける様相論理

書籍情報

発売日：

著者／編集：鹿島 亮

出版社：森北出版

発行形態：単行本

書籍説明

内容紹介

モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載！

目次

第1章　準備：命題論理 第2章　K 第3章　CTL（計算木論理） 第4章　様相ミュー計算 第5章　PDL（命題動的論理） 第6章　ホーア論理

著者情報

鹿島 亮

東京工業大学准教授 博（理）

鹿島, 亮

類似書籍

モデル オブ ザ マインド〜脳を読み解く。物理学・工学・数学によるアプローチ

モデル オブ ザ マインド〜脳を読み解く。...

ゲーム開発で学ぶC++入門 クリエイター直伝 創造力を高める知識と実践技法

ゲーム開発で学ぶC++入門 クリエイター直...

作って学ぶ！　Blender入門［第2版］

作って学ぶ！　Blender入門［第2版］

本質から学ぶAI総合講義　数理モデルとPythonコードで理論と実装を往復

本質から学ぶAI総合講義　数理モデルとPy...

確率的機械学習：入門編 I（第I巻）

確率的機械学習：入門編 I（第I巻）

確率的機械学習：入門編 II（第II巻）

確率的機械学習：入門編 II（第II巻）

楽しく学ぶUnity「3Dゲーム」作りのきほん

楽しく学ぶUnity「3Dゲーム」作りのき...

独学で鍛える数理思考2〜次世代AIを生み出す数学の基礎

独学で鍛える数理思考2〜次世代AIを生み出...

Scratch ゲームプログラミング スゴワザ事典

Scratch ゲームプログラミング スゴ...

作って学ぶゲームプログラミング Unity まるっと入門 Unity6完全対応

作って学ぶゲームプログラミング Unity...