検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
  • 書誌の詳細です。 現在、予約は 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

証明作法　

著者名 石原 哉／著
著者名ヨミ イシハラ ハジメ
出版者 共立出版
出版年月 2023.3

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 配架場所 請求記号 資料番号 資料種別 状態 個人貸出 在庫
1 西部図書館一般開架410/100/1102690167一般在庫 可 ○

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1000101059215
書誌種別 図書
書名 証明作法　
書名ヨミ ショウメイ サホウ
論理の初歩から証明の実践へ
言語区分 日本語
著者名 石原 哉／著
著者名ヨミ イシハラ ハジメ
出版地 東京
出版者 共立出版
出版年月 2023.3
本体価格 ￥２７００
ISBN 978-4-320-11489-0
ISBN 4-320-11489-0
数量 8,218p
大きさ 21cm
分類記号 410
件名 証明(数学)
注記 文献:p194〜195
内容紹介 数学の授業でのオンザジョブトレーニングで学ぶことの多い証明の書き方を解説。論理の初歩から始まり、自然演繹と呼ばれる形式化に基づいて、日本語表現に近い形で証明の構成法をできるだけ丁寧に説明する。
著者紹介 東京工業大学大学院理工学研究科情報科学専攻博士課程中途退学。理学博士(同大学)。北陸先端科学技術大学院大学先端科学技術研究科教授。



内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2023
【一年一組せんせいあのね　：　こども…】 一年一組せんせいあのね　：　こども…
鹿島 和夫／選,… 【ふしぎ駄菓子屋銭天堂19】 ふしぎ駄菓子屋銭天堂19
廣嶋 玲子／作,… 【言語の本質　：　ことばはどう生まれ…】 言語の本質　：　ことばはどう生まれ…
今井 むつみ／著… 【やさいのはななんのはな?】 やさいのはななんのはな?
宮崎 祥子／構成… 【習慣と脳の科学　：　どうしても変え…】 習慣と脳の科学　：　どうしても変え…
ラッセル・A.ポ… 【大雪のサバイバル　：　生き残り作戦】 大雪のサバイバル　：　生き残り作戦
ポドアルチング／… 【しょうぼうのずかん】 しょうぼうのずかん
山田 タクヒロ／… 【13歳からの対話力】 13歳からの対話力
田村 次朗／監修 【ハンチバック】 ハンチバック
市川 沙央／著 【製造業のIoT活用Q&A　：　Io…】 製造業のIoT活用Q&A　：　Io…
山田 浩貢／著 【キャンピングカーのたび】 キャンピングカーのたび
みねお みつ／[… 【ゴリラ裁判の日】 ゴリラ裁判の日
須藤 古都離／著 【ぼくはいったいどこにいるんだ】 ぼくはいったいどこにいるんだ
ヨシタケ シンス… 【卑弥呼とヤマト王権】 卑弥呼とヤマト王権
寺沢 薫／著 【イスラエル　：　人類史上最もやっか…】 イスラエル　：　人類史上最もやっか…
ダニエル・ソカッ… 【千葉からほとんど出ない引きこもりの…】 千葉からほとんど出ない引きこもりの…
済東 鉄腸／著 【科学技術のリスクコミュニケーション…】 科学技術のリスクコミュニケーション…
国立国会図書館調… 【グノーシス研究拾遺　：　ナグ・ハマ…】 グノーシス研究拾遺　：　ナグ・ハマ…
大貫 隆／著 【ランニングの処方箋　：　医者の僕が…】 ランニングの処方箋　：　医者の僕が…
大槻 文悟／著 【民主主義を装う権威主義　：　世界化…】 民主主義を装う権威主義　：　世界化…
東島 雅昌／著 【60歳からのピアノ超入門】 60歳からのピアノ超入門
元吉 ひろみ／著 【半導体戦争　：　世界最重要テクノロ…】 半導体戦争　：　世界最重要テクノロ…
クリス・ミラー／… 【会社四季報業界地図2024年版】 会社四季報業界地図2024年版
東洋経済新報社／… 【もぐらけんせつ　：　りすさんいっか…】 もぐらけんせつ　：　りすさんいっか…
長崎 真悟／さく 【検証ナチスは「良いこと」もしたのか…】 検証ナチスは「良いこと」もしたのか…
小野寺 拓也／著… 【福田村事件　：　関東大震災・知られ…】 福田村事件　：　関東大震災・知られ…
辻野 弥生／著 【このあななんじゃ3】 このあななんじゃ3
みぞぐち ともや… 【アメリカ知識人の共産党　：　理念の…】 アメリカ知識人の共産党　：　理念の…
中山 俊宏／著 【街とその不確かな壁】 街とその不確かな壁
村上 春樹／著 【科学と資本主義の未来　：　<せめぎ…】 科学と資本主義の未来　：　<せめぎ…
広井 良典／著 【すいぞくかんのおいしゃさん】 すいぞくかんのおいしゃさん
大塚 美加／ぶん… 【知って楽しいカワセミの暮らし】 知って楽しいカワセミの暮らし
笠原 里恵／著,… 【北斎画法】 北斎画法
[葛飾 北斎／画… 【からだがみえる　：　人体の構造と機…】 からだがみえる　：　人体の構造と機…
医療情報科学研究… 【水車小屋のネネ】 水車小屋のネネ
津村 記久子／著 【マザーツリー　：　森に隠された「知…】 マザーツリー　：　森に隠された「知…
スザンヌ・シマー… 【地球の歩き方J08】 地球の歩き方J08
地球の歩き方編集… 【代数学1】 代数学1
雪江 明彦／著 【ネコはとってもいそがしい】 ネコはとってもいそがしい
吉野 万理子／作… 【最新戦車がよ〜くわかる本　：　戦車…】 最新戦車がよ〜くわかる本　：　戦車…
あかぎ ひろゆき…
2023
【一年一組せんせいあのね　：　こども…】 一年一組せんせいあのね　：　こども…
鹿島 和夫／選,… 【ふしぎ駄菓子屋銭天堂19】 ふしぎ駄菓子屋銭天堂19
廣嶋 玲子／作,… 【言語の本質　：　ことばはどう生まれ…】 言語の本質　：　ことばはどう生まれ…
今井 むつみ／著… 【やさいのはななんのはな?】 やさいのはななんのはな?
宮崎 祥子／構成… 【習慣と脳の科学　：　どうしても変え…】 習慣と脳の科学　：　どうしても変え…
ラッセル・A.ポ… 【大雪のサバイバル　：　生き残り作戦】 大雪のサバイバル　：　生き残り作戦
ポドアルチング／… 【しょうぼうのずかん】 しょうぼうのずかん
山田 タクヒロ／… 【13歳からの対話力】 13歳からの対話力
田村 次朗／監修 【ハンチバック】 ハンチバック
市川 沙央／著 【製造業のIoT活用Q&A　：　Io…】 製造業のIoT活用Q&A　：　Io…
山田 浩貢／著 【キャンピングカーのたび】 キャンピングカーのたび
みねお みつ／[… 【ゴリラ裁判の日】 ゴリラ裁判の日
須藤 古都離／著 【ぼくはいったいどこにいるんだ】 ぼくはいったいどこにいるんだ
ヨシタケ シンス… 【卑弥呼とヤマト王権】 卑弥呼とヤマト王権
寺沢 薫／著 【イスラエル　：　人類史上最もやっか…】 イスラエル　：　人類史上最もやっか…
ダニエル・ソカッ… 【千葉からほとんど出ない引きこもりの…】 千葉からほとんど出ない引きこもりの…
済東 鉄腸／著 【科学技術のリスクコミュニケーション…】 科学技術のリスクコミュニケーション…
国立国会図書館調… 【グノーシス研究拾遺　：　ナグ・ハマ…】 グノーシス研究拾遺　：　ナグ・ハマ…
大貫 隆／著 【ランニングの処方箋　：　医者の僕が…】 ランニングの処方箋　：　医者の僕が…
大槻 文悟／著 【民主主義を装う権威主義　：　世界化…】 民主主義を装う権威主義　：　世界化…
東島 雅昌／著 【60歳からのピアノ超入門】 60歳からのピアノ超入門
元吉 ひろみ／著 【半導体戦争　：　世界最重要テクノロ…】 半導体戦争　：　世界最重要テクノロ…
クリス・ミラー／… 【会社四季報業界地図2024年版】 会社四季報業界地図2024年版
東洋経済新報社／… 【もぐらけんせつ　：　りすさんいっか…】 もぐらけんせつ　：　りすさんいっか…
長崎 真悟／さく 【検証ナチスは「良いこと」もしたのか…】 検証ナチスは「良いこと」もしたのか…
小野寺 拓也／著… 【福田村事件　：　関東大震災・知られ…】 福田村事件　：　関東大震災・知られ…
辻野 弥生／著 【このあななんじゃ3】 このあななんじゃ3
みぞぐち ともや… 【アメリカ知識人の共産党　：　理念の…】 アメリカ知識人の共産党　：　理念の…
中山 俊宏／著 【街とその不確かな壁】 街とその不確かな壁
村上 春樹／著 【科学と資本主義の未来　：　<せめぎ…】 科学と資本主義の未来　：　<せめぎ…
広井 良典／著 【すいぞくかんのおいしゃさん】 すいぞくかんのおいしゃさん
大塚 美加／ぶん… 【知って楽しいカワセミの暮らし】 知って楽しいカワセミの暮らし
笠原 里恵／著,… 【北斎画法】 北斎画法
[葛飾 北斎／画… 【からだがみえる　：　人体の構造と機…】 からだがみえる　：　人体の構造と機…
医療情報科学研究… 【水車小屋のネネ】 水車小屋のネネ
津村 記久子／著 【マザーツリー　：　森に隠された「知…】 マザーツリー　：　森に隠された「知…
スザンヌ・シマー… 【地球の歩き方J08】 地球の歩き方J08
地球の歩き方編集… 【代数学1】 代数学1
雪江 明彦／著 【ネコはとってもいそがしい】 ネコはとってもいそがしい
吉野 万理子／作… 【最新戦車がよ〜くわかる本　：　戦車…】 最新戦車がよ〜くわかる本　：　戦車…
あかぎ ひろゆき…
410　410
【数学の苦手が好きに変わるとき】 数学の苦手が好きに変わるとき
芳沢 光雄／著 【証明の読み方・考え方　：　数学的思…】 証明の読み方・考え方　：　数学的思…
Daniel S… 【数学オリンピック2019〜2023】 数学オリンピック2019〜2023
数学オリンピック… 【コミュニケーションとしての思考　：…】 コミュニケーションとしての思考　：…
Anna Sfa… 【数学フィールドワーク】 数学フィールドワーク
上野 健爾／著 【ネズミなんびきでゾウになる?　：　…】 ネズミなんびきでゾウになる?　：　…
トレイシー・ター… 【さんすうの本　：　ナンバーランドの…】 さんすうの本　：　ナンバーランドの…
橋爪 大三郎／著 【数学ソフトウェアの作り方】 数学ソフトウェアの作り方
高山 信毅／著,… 【数学オリンピック2018〜2022】 数学オリンピック2018〜2022
数学オリンピック… 【フリーズの数学スケッチ帖　：　数と…】 フリーズの数学スケッチ帖　：　数と…
西山 享／著 【ボロバシュ数学の技法　：　メンフィ…】 ボロバシュ数学の技法　：　メンフィ…
B.ボロバシュ／… 【数学の盲点とその解明2】 数学の盲点とその解明2
石谷 茂／著 【数学の盲点とその解明1】 数学の盲点とその解明1
石谷 茂／著 【Designing Math.　：…】 Designing Math.　：…
古堅 真彦／著 【天書の証明】 天書の証明
M.アイグナー／… 【文化としての数学】 文化としての数学
遠山 啓／著 【トポロジカル・インデックス　：　フ…】 トポロジカル・インデックス　：　フ…
細矢 治夫／著 【抽象数学の手ざわり　：　ピタゴラス…】 抽象数学の手ざわり　：　ピタゴラス…
斎藤 毅／著 【深掘り!中学数学　：　教科書に書か…】 深掘り!中学数学　：　教科書に書か…
坂間 千秋／著 【生き抜くための数学入門】 生き抜くための数学入門
新井 紀子／著 【ハッピーになれる算数】 ハッピーになれる算数
新井 紀子／著 【AI・データサイエンスのための図解…】 AI・データサイエンスのための図解…
松田 雄馬／著,… 【アートのための数学】 アートのための数学
牟田 淳／著 【算数・数学で何ができるの?　：　算…】 算数・数学で何ができるの?　：　算…
DK社／編,松野… 【1つの定理を証明する99の方法】 1つの定理を証明する99の方法
フィリップ・オー… 【最新MATLABハンドブック　：　…】 最新MATLABハンドブック　：　…
小林 一行／著 【数学オリンピック2016〜2020】 数学オリンピック2016〜2020
数学オリンピック… 【コンピュータの数学】 コンピュータの数学
GRAHAM／著… 【美しい数学入門】 美しい数学入門
伊藤 由佳理／著 【数学する精神　：　正しさの創造、美…】 数学する精神　：　正しさの創造、美…
加藤 文元／著 【数学原論】 数学原論
斎藤 毅／著 【リーマンの生きる数学2】 リーマンの生きる数学2
黒川 信重／編 【現代数学の基本概念下】 現代数学の基本概念下
J.ヨスト／著,… 【「数」はいかに世界を変えたか】 「数」はいかに世界を変えたか
トム・ジャクソン… 【数理工学の世界】 数理工学の世界
中村 佳正／編,… 【格子暗号解読のための数学的基礎　：…】 格子暗号解読のための数学的基礎　：…
青野 良範／著,… 【データサイエンスのための数学】 データサイエンスのための数学
椎名 洋／著,姫… 【現代数学の基本概念上】 現代数学の基本概念上
J.ヨスト／著,… 【ジュニア数学オリ…2015-2019】 ジュニア数学オリ…2015-2019
数学オリンピック… 【ずかん数字　：　見ながら学習調べて…】 ずかん数字　：　見ながら学習調べて…
清水 洋美／編著…
前のページへ
トップページへ

本文はここまでです。

ページの終わりです。