版元ドットコム

探せる、使える、本の情報

文芸 新書 社会一般 資格・試験 ビジネス スポーツ・健康 趣味・実用 ゲーム 芸能・タレント テレビ・映画化 芸術 哲学・宗教 歴史・地理 社会科学 教育 自然科学 医学 工業・工学 コンピュータ 語学・辞事典 学参 児童図書 ヤングアダルト 全集 文庫 コミック文庫 コミックス(欠番扱) コミックス(雑誌扱) コミックス(書籍) コミックス(廉価版) ムック 雑誌 増刊 別冊 ラノベ
Coq/SSReflect/MathCompによる定理証明 萩原 学(著/文) - 森北出版
..

Coq/SSReflect/MathCompによる定理証明 フリーソフトではじめる数学の形式化

発行:森北出版
菊判
224ページ
定価 3,200円+税
ISBN
9784627062412
Cコード
C3041
専門 単行本 数学
出版社在庫情報
不明
書店発売日
登録日
2018年3月2日
このエントリーをはてなブックマークに追加

目次

第1章 Coq/SSReflect/MathCompとは
第2章 使ってみよう
第3章 命令
第4章 MathCompライブラリの基本ファイル
第5章 集合の形式化
第6章 代数学の形式化
第7章 確率論と情報理論の形式化

著者プロフィール

萩原 学  (ハギワラ マナブ )  (著/文

千葉大学准教授 博士(数理科学)

アフェルト・レナルド  (アフェルト レナルド)  (著/文

産業技術総合研究所主任研究員 博士(情報理工)

上記内容は本書刊行時のものです。