Mendeley出力
＜図書＞
証明作法 : 論理の初歩から証明の実践へ
ショウメイ サホウ : ロンリ ノ ショホ カラ ショウメイ ノ ジッセン エ
| 責任表示 | 石原哉著 |
|---|---|
| データ種別 | 図書 |
| 出版情報 | 東京 : 共立出版 , 2023.3 |
| 本文言語 | 日本語 |
| 大きさ | viii, 218p ; 21cm |
| 目次 | 第1部 論理と証明(命題とは 命題と証明(1) 命題と証明(2) 否定と背理法 述語と証明) 第2部 証明の実践(集合とその構成 関係 写像 同値関係と順序 圏論への誘い) |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
中央図 4A | 410/I 74 | 2023 |
|
110012023014895 |
|
書誌詳細
| 別書名 | 奥付タイトル:The practice of proof writing : from the elements of logic to proofs |
|---|---|
| 一般注記 | 参考文献: p[194]-195 |
| 著者標目 | 石原, 哉 (1958-) <イシハラ, ハジメ> |
| 件 名 | BSH:証明(数学) NDLSH:証明(数学) |
| 分 類 | NDC9:410 NDC10:410 NDLC:MA21 |
| 書誌ID | 1001778500 |
| ISBN | 9784320114890 |
| NCID | BD01337796 |
| 巻冊次 | ISBN:9784320114890 ; PRICE:2700円+税 |
| NBN | JP23821124 |
| 登録日 | 2023.06.19 |
| 更新日 | 2023.06.19 |