資料詳細

  • 1 件中、 1 件目

証明作法 利用可

石原　哉／著 -- 共立出版 -- 2023.3 -- 410

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 一般 410/ｲｼﾊ/一般 122042601 一般 利用可

ページの先頭へ

資料詳細

タイトル 証明作法
書名ヨミ ショウメイ　サホウ
副書名 論理の初歩から証明の実践へ
著者名 石原　哉 ／著  
著者ヨミ イシハラ，ハジメ  
出版者 共立出版  
出版年 2023.3
ページ数等 ２１８ｐ
大きさ ２１ｃｍ
一般注記 欧文タイトル：Ｔｈｅ　Ｐｒａｃｔｉｃｅ　ｏｆ　Ｐｒｏｏｆ　Ｗｒｉｔｉｎｇ
一般件名 証明（数学）  
ISBN 4-320-11489-2
ISBN13桁 978-4-320-11489-0
定価 ２７００円
問合わせ番号（書誌番号） 1120533970
NDC8版 410
NDC9版 410
NDC10版 410
著者紹介 １９８８年、東京工業大学大学院理工学研究科情報科学専攻博士課程中途退学。現在、北陸先端科学技術大学院大学先端科学技術研究科教授。理学博士（東京工業大学）。専門、構成的数学、数理論理学。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１部　論理と証明（命題とは；命題と証明（１）；命題と証明（２）；否定と背理法；述語と証明）
第２部　証明の実践（集合とその構成；関係；写像；同値関係と順序；圏論への誘い）

ページの先頭へ