トップページ > 森北出版の書籍 > Coq/SSReflect/MathCompによる定理証明
Coq/SSReflect/MathCompによる定理証明
フリーソフトではじめる数学の形式化
千葉大学准教授博士(数理科学)萩原学(共著) 産業技術総合研究所主任研究員博士(情報理工)アフェルト・レナルド(共著)
電子版はこちら
代数学/数学基礎論
情報数学
第1章 Coq/SSReflect/MathCompとは 第2章 使ってみよう 第3章 命令 第4章 MathCompライブラリの基本ファイル 第5章 集合の形式化 第6章 代数学の形式化 第7章 確率論と情報理論の形式化
代数幾何学入門
はじめての情報理論(第2版)
情報数学の基礎(第2版)
数論 POD版
ネットワークダイナミクス入門
オートマトン・言語理論 [第2版]
はじめての数理論理学
はじめて学ぶオートマトンと言語理論
詳細検索 >>