資料詳細

  • 1 件中、 1 件目

【図書】 Ｃｏｑ／ＳＳＲｅｆｌｅｃｔ／ＭａｔｈＣｏｍｐによる定理証明

フリーソフトではじめる数学の形式化 --
萩原学 ／共著, アフェルト・レナルド ／共著   -- 森北出版 -- ２０１８．４ -- ２２ｃｍ -- ２１１ｐ

資料詳細

タイトル Ｃｏｑ／ＳＳＲｅｆｌｅｃｔ／ＭａｔｈＣｏｍｐによる定理証明
副書名 フリーソフトではじめる数学の形式化
著者名等 萩原学 ／共著, アフェルト・レナルド ／共著  
出版 森北出版 ２０１８．４
大きさ等 ２２ｃｍ ２１１ｐ
分類 410.7
件名 定理（数学） , 数学－データ処理 , ソフトウェア
注記 索引あり
著者紹介 【萩原学】１９７４年、栃木県生まれ。２００２年東京大学大学院数理科学研究科博士課程修了、博士（数理科学）。２０１３年より千葉大学准教授、現在に至る。専門は符号理論とそれにかかわる離散数学、組合せ論など。著書に『符号理論』（日本評論社）など。（本データはこの書籍が刊行された当時に掲載されていたものです）
要旨 「四色定理」や「ケプラー予想」の証明に使われたことでも注目の定理証明支援系。その研究利用と普及を手がけてきた著者らが、開発環境のインストール手順から基本的な操作、代表的な命令・ライブラリの使い方までを丁寧に案内します。
目次 第１章　Ｃｏｑ／ＳＳＲｅｆｌｅｃｔ／ＭａｔｈＣｏｍｐとは；第２章　使ってみよう；第３章　命令；第４章　ＭａｔｈＣｏｍｐライブラリの基本ファイル；第５章　集合の形式化；第６章　代数学の形式化；第７章　確率論と情報理論の形式化
ISBN(13)、ISBN 978-4-627-06241-2　　 4-627-06241-9
書誌番号 1113583623

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.7 一般書 利用可 - 2063184430 iLisvirtual

ページの先頭へ