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

• Material Type: 図書
• ISBN: 978-4-627-06241-2
• Title: Coq/SSReflect/MathCompによる定理証明 : フリーソフトではじめる数学の形式化
• Title Transcription: コック エスエスリフレクト マス コンプ ニ ヨル テイリ ショウメイ : フリー ソフト デ ハジメル スウガク ノ ケイシキカ
• Author/Editor: 萩原学, アフェルト・レナルド 共著
• Author Heading: 萩原, 学, 1974- ハギワラ, マナブ, 1974- ( 001117071 )Authorities; Affeldt, Reynald, 1976- ( 001292493 )Authorities
• Publication, Distribution, etc.: 東京 : 森北出版
• Publication Date: 2018.4
• Publication Date (W3CDTF): 2018
• Extent: 211p
• Size: 22cm
• Place of Publication (Country Code): JP
• Text Language Code: jpn
• Subject Heading: 記号論理学 キゴウロンリガク ( 00565709 )Authorities
• NDC 10th ed.: 410.96 : Mathematics
• NDLC: MA41
• Target Audience: 一般
• Note (Bibliography): 索引あり
• Price: 3200円
• Holding library: 国立国会図書館
• Call No.: MA41-L81
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 028927081; http://id.ndl.go.jp/bib/028927081
• National Bibliography No. (JPNO): 23055195
• TOHAN MARC No.: 33754326
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition
• Bibliographic Record Category (NDL): 111

• Summary, etc.: コンピュータと協働して数学する！定理証明支援系Coq/SSReflect/MathComp，待望の入門書．(Provided by: 出版情報登録センター（JPRO）)
• Author introduction: 萩原 学 千葉大学准教授 博士（数理科学）アフェルト・レナルド 産業技術総合研究所主任研究員 博士（情報理工）(Provided by: 出版情報登録センター（JPRO）)

Table of Contents

第1章　Coq/SSReflect/MathCompとは

第2章　使ってみよう

第3章　命令

第4章　MathCompライブラリの基本ファイル

第5章　集合の形式化