情報科学における論理

命題論理と述語論理を出発点に、証明論、モデル理論、直観主義論理、様相論理までを情報科学の観点から解説する教科書。プログラムの検証や型理論の土台となる論理の道具立てが身につく。

この本が好きなら

ゲームプログラミングのための3Dグラフィックス数学

ゲームプログラミングのための3Dグラフィックス数学

エリック・レンジェル(訳: 狩野智英) / ボーンデジタル / 2003年 / 翻訳書

技術: 数学・コンピュータグラフィックス

理論・基礎

暗号理論入門

安永憲司 / 森北出版 / 2024年

技術: セキュリティ・暗号・数学

理論・基礎

暗号・ゼロ知識証明・数論

暗号・ゼロ知識証明・数論

岡本竜明 / 共立出版 / 1995年

技術: セキュリティ・暗号・数学

理論・基礎

ベイズモデリングの世界

伊庭幸人 / 岩波書店 / 2018年

技術: 数学・機械学習

理論・基礎

ベイズ統計の理論と方法

渡辺澄夫 / コロナ社 / 2012年

技術: 数学・機械学習

理論・基礎

分析者のためのデータ解釈学入門

江崎貴裕 / ソシム / 2020年

技術: 数学・機械学習

理論・基礎

この本からもっと探す →

書誌(日本評論社、1994年)は国立国会図書館サーチAPI(opensearch)の検索結果で確認。著者・訳者は同APIの責任表示「小野寛晰 著」による。