Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
著者
書誌事項
Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
森北出版, 2018.4
- タイトル別名
-
CoqSsreflectMathCompによる定理証明 : フリーソフトではじめる数学の形式化
- タイトル読み
-
Coq/Ssreflect/Mathcomp ニヨル テイリ ショウメイ : フリーソフト デ ハジメル スウガク ノ ケイシキカ
大学図書館所蔵 全92件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
背に0624の表記あり
内容説明・目次
内容説明
「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。
目次
- 第1章 Coq/SSReflect/MathCompとは
- 第2章 使ってみよう
- 第3章 命令
- 第4章 MathCompライブラリの基本ファイル
- 第5章 集合の形式化
- 第6章 代数学の形式化
- 第7章 確率論と情報理論の形式化
「BOOKデータベース」 より