検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます

書誌情報サマリ

書名

その理屈、証明できますか? 正しく命題にたどり着くための手法と思考の学び方

著者名 Daniel J.Velleman／著
著者名ヨミ Daniel J Velleman
出版者 翔泳社
出版年月 2016.11

蔵書情報

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

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

この資料に対する操作

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

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

この資料に対する操作

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

マイ本棚へ追加ログインするとマイ本棚を利用できます。

書誌詳細

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

タイトルコード 1000040648729
書誌種別 図書
書名 その理屈、証明できますか? 正しく命題にたどり着くための手法と思考の学び方
書名ヨミ ソノ リクツ ショウメイ デキマスカ タダシク メイダイ ニ タドリツク タメ ノ シュホウ ト シコウ ノ マナビカタ
著者名 Daniel J.Velleman／著 　 神林 靖／訳
著者名ヨミ Daniel J Velleman　カンバヤシ ヤスシ
出版者 翔泳社
出版年月 2016.11
ページ数・枚数 12,451p
大きさ・形態 21cm
ISBN 978-4-7981-4099-5
分類記号 410
内容紹介 数学あるいはコンピュータ科学を学ぶ人に向けて、どのように証明を進めるかを解説した書。命題論理と術語論理そして数学的帰納法について詳しく記述。集合、関係、関数も取り上げる。演習問題付き。
著者紹介 1954年ニューヨーク市生まれ。ウィスコンシン大学マディソン校からM.A.とPh.D.を取得。アマースト大学ジュリアン・ギブズ記念数学教授。ヴァーモント大学非常勤講師。
件名1 証明(数学)



目次


内容細目

資料情報

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

No. 所蔵館資料番号請求記号資料種別配架場所帯出区分状態 貸出
1 中央　0114589659410//図書一般開架貸出可在庫　  ○
2 東板橋0711951699410//図書一般閉架貸出可在庫　  ○
3 成増　1211898630410//図書一般開架貸出可在庫　  ○

関連資料

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

2021
白鳥とコウモリ 白鳥とコウモリ
東野 圭吾／著 透明な螺旋 透明な螺旋
東野 圭吾／著 三千円の使いかた 三千円の使いかた
原田 ひ香／著 同志少女よ、敵を撃て 同志少女よ、敵を撃て
逢坂 冬馬／著 六人の噓つきな大学生 六人の噓つきな大学生
浅倉 秋成／著 パンどろぼうvsにせパンどろぼう パンどろぼうvsにせパンどろぼう
柴田 ケイコ／作 小説8050 小説8050
林 真理子／著 もりの100かいだてのいえ もりの100かいだてのいえ
いわい としお／… かいけつゾロリきょうふのダンジョン かいけつゾロリきょうふのダンジョン
原 ゆたか／さく… 正欲 正欲
朝井 リョウ／著 変な家[1] 変な家[1]
雨穴／著 パンどろぼうとなぞのフランスパン パンどろぼうとなぞのフランスパン
柴田 ケイコ／作 おすしやさんにいらっしゃい!　：　… おすしやさんにいらっしゃい!　：　…
おかだ だいすけ… ノラネコぐんだんラーメンやさん ノラネコぐんだんラーメンやさん
工藤 ノリコ／著 かいけつゾロリのゾワゾワゾクゾクよ… かいけつゾロリのゾワゾワゾクゾクよ…
原 ゆたか／さく… 黒牢城　：　Arioka Cita… 黒牢城　：　Arioka Cita…
米澤 穂信／著 赤と青とエスキース 赤と青とエスキース
青山 美智子／著 しんぱいなことがありすぎます! しんぱいなことがありすぎます!
工藤 純子／作,… ミカエルの鼓動 ミカエルの鼓動
柚月 裕子／著 あんなにあんなに あんなにあんなに
ヨシタケ シンス… あきらがあけてあげるから あきらがあけてあげるから
ヨシタケ シンス… 塞王の楯 塞王の楯
今村 翔吾／著 魂手形　：　三島屋変調百物語七之続 魂手形　：　三島屋変調百物語七之続
宮部 みゆき／著 星を掬う 星を掬う
町田 そのこ／著 しらべるちがいのずかん しらべるちがいのずかん
おかべ たかし／… 琥珀の夏 琥珀の夏
辻村 深月／著 月下のサクラ 月下のサクラ
柚月 裕子／著 九十八歳。戦いやまず日は暮れず 九十八歳。戦いやまず日は暮れず
佐藤 愛子／著 きみのなまえ きみのなまえ
あんず ゆき／作… せんろはつづくにほんいっしゅう せんろはつづくにほんいっしゅう
鈴木 まもる／文… 沈黙のパレード 沈黙のパレード
東野 圭吾／著 月曜日の抹茶カフェ 月曜日の抹茶カフェ
青山 美智子／著 硝子の塔の殺人 硝子の塔の殺人
知念 実希人／著 アンパンマンとまほうのロープ アンパンマンとまほうのロープ
やなせ たかし／… アンパンマンとゆうれいせん アンパンマンとゆうれいせん
やなせ たかし／… スモールワールズ スモールワールズ
一穂 ミチ／著 アンパンマンとさばくのたから アンパンマンとさばくのたから
やなせ たかし／… そらまめくんのまいにちはたからもの そらまめくんのまいにちはたからもの
なかや みわ／さ… おまつりのおばけずかん　：　じんめ… おまつりのおばけずかん　：　じんめ…
斉藤 洋／作,宮… わんぱくだんのりゅうぐうじょう わんぱくだんのりゅうぐうじょう
ゆきの ゆみこ／… ふしぎ駄菓子屋銭天堂15 ふしぎ駄菓子屋銭天堂15
廣嶋 玲子／作,… エレジーは流れない エレジーは流れない
三浦 しをん／著 魔力の胎動 魔力の胎動
東野 圭吾／[著… せんろをまもる!ドクターイエロー せんろをまもる!ドクターイエロー
鎌田 歩／さく つくしちゃんとおねえちゃん つくしちゃんとおねえちゃん
いとう みく／作… 残照の頂　：　山女日記 続 残照の頂　：　山女日記 続
湊 かなえ／著 あいがあれば名探偵 あいがあれば名探偵
杉山 亮／作,中… へんしんどうぶつえん へんしんどうぶつえん
あきやま ただし… 李王家の縁談 李王家の縁談
林 真理子／著 ジェイソン流お金の増やし方　：　コ… ジェイソン流お金の増やし方　：　コ…
厚切りジェイソン…
2021
白鳥とコウモリ 白鳥とコウモリ
東野 圭吾／著 透明な螺旋 透明な螺旋
東野 圭吾／著 三千円の使いかた 三千円の使いかた
原田 ひ香／著 同志少女よ、敵を撃て 同志少女よ、敵を撃て
逢坂 冬馬／著 六人の噓つきな大学生 六人の噓つきな大学生
浅倉 秋成／著 パンどろぼうvsにせパンどろぼう パンどろぼうvsにせパンどろぼう
柴田 ケイコ／作 小説8050 小説8050
林 真理子／著 もりの100かいだてのいえ もりの100かいだてのいえ
いわい としお／… かいけつゾロリきょうふのダンジョン かいけつゾロリきょうふのダンジョン
原 ゆたか／さく… 正欲 正欲
朝井 リョウ／著 変な家[1] 変な家[1]
雨穴／著 パンどろぼうとなぞのフランスパン パンどろぼうとなぞのフランスパン
柴田 ケイコ／作 おすしやさんにいらっしゃい!　：　… おすしやさんにいらっしゃい!　：　…
おかだ だいすけ… ノラネコぐんだんラーメンやさん ノラネコぐんだんラーメンやさん
工藤 ノリコ／著 かいけつゾロリのゾワゾワゾクゾクよ… かいけつゾロリのゾワゾワゾクゾクよ…
原 ゆたか／さく… 黒牢城　：　Arioka Cita… 黒牢城　：　Arioka Cita…
米澤 穂信／著 赤と青とエスキース 赤と青とエスキース
青山 美智子／著 しんぱいなことがありすぎます! しんぱいなことがありすぎます!
工藤 純子／作,… ミカエルの鼓動 ミカエルの鼓動
柚月 裕子／著 あんなにあんなに あんなにあんなに
ヨシタケ シンス… あきらがあけてあげるから あきらがあけてあげるから
ヨシタケ シンス… 塞王の楯 塞王の楯
今村 翔吾／著 魂手形　：　三島屋変調百物語七之続 魂手形　：　三島屋変調百物語七之続
宮部 みゆき／著 星を掬う 星を掬う
町田 そのこ／著 しらべるちがいのずかん しらべるちがいのずかん
おかべ たかし／… 琥珀の夏 琥珀の夏
辻村 深月／著 月下のサクラ 月下のサクラ
柚月 裕子／著 九十八歳。戦いやまず日は暮れず 九十八歳。戦いやまず日は暮れず
佐藤 愛子／著 きみのなまえ きみのなまえ
あんず ゆき／作… せんろはつづくにほんいっしゅう せんろはつづくにほんいっしゅう
鈴木 まもる／文… 沈黙のパレード 沈黙のパレード
東野 圭吾／著 月曜日の抹茶カフェ 月曜日の抹茶カフェ
青山 美智子／著 硝子の塔の殺人 硝子の塔の殺人
知念 実希人／著 アンパンマンとまほうのロープ アンパンマンとまほうのロープ
やなせ たかし／… アンパンマンとゆうれいせん アンパンマンとゆうれいせん
やなせ たかし／… スモールワールズ スモールワールズ
一穂 ミチ／著 アンパンマンとさばくのたから アンパンマンとさばくのたから
やなせ たかし／… そらまめくんのまいにちはたからもの そらまめくんのまいにちはたからもの
なかや みわ／さ… おまつりのおばけずかん　：　じんめ… おまつりのおばけずかん　：　じんめ…
斉藤 洋／作,宮… わんぱくだんのりゅうぐうじょう わんぱくだんのりゅうぐうじょう
ゆきの ゆみこ／… ふしぎ駄菓子屋銭天堂15 ふしぎ駄菓子屋銭天堂15
廣嶋 玲子／作,… エレジーは流れない エレジーは流れない
三浦 しをん／著 魔力の胎動 魔力の胎動
東野 圭吾／[著… せんろをまもる!ドクターイエロー せんろをまもる!ドクターイエロー
鎌田 歩／さく つくしちゃんとおねえちゃん つくしちゃんとおねえちゃん
いとう みく／作… 残照の頂　：　山女日記 続 残照の頂　：　山女日記 続
湊 かなえ／著 あいがあれば名探偵 あいがあれば名探偵
杉山 亮／作,中… へんしんどうぶつえん へんしんどうぶつえん
あきやま ただし… 李王家の縁談 李王家の縁談
林 真理子／著 ジェイソン流お金の増やし方　：　コ… ジェイソン流お金の増やし方　：　コ…
厚切りジェイソン…
953.7　953.7
迂回 迂回
イヴ・ラヴェ／著… 彼女を見守る 彼女を見守る
ジャン=バティス… ちぐはぐなディナー ちぐはぐなディナー
セシル・トリリ／… パリの最後の夜 パリの最後の夜
フィリップ・スー… サヨナラは言わない サヨナラは言わない
アントニオ・カル… 誰が星の王子さまを殺したのか? 誰が星の王子さまを殺したのか?
ミシェル・ビュッ… 月射病 月射病
ジョルジュ・シム… 『失われた時を求めて』の謎　：　隠… 『失われた時を求めて』の謎　：　隠…
吉川 一義／著 モナ・リザのニスを剝ぐ モナ・リザのニスを剝ぐ
ポール・サン・ブ… 白い女の謎 白い女の謎
ポール・アルテ／… 異常 異常
エルヴェ・ル・テ… 星の王子さま88星座巡礼　：　サン… 星の王子さま88星座巡礼　：　サン…
滝川ラルドゥ美緒… 老アブー 老アブー
ナタリー・ド・ク… 生き急ぐ 生き急ぐ
ブリジット・ジロ… 黒い谷 黒い谷
ベルナール・ミニ… 星の王子さま 星の王子さま
アントワーヌ・ド… 魔女の檻 魔女の檻
ジェローム・ルブ… 窒息の街 窒息の街
マリオン・メッシ… アヴリルの相続人 アヴリルの相続人
ピエール・ヴェリ… 三つ編み 三つ編み
レティシア・コロ… ミゼレーレ上 ミゼレーレ上
ジャン=クリスト… ミゼレーレ下 ミゼレーレ下
ジャン=クリスト… 『失われた時を求めて』名文選 『失われた時を求めて』名文選
マルセル・プルー… 透明都市 透明都市
リリア・アセンヌ… あんたを殺したかった あんたを殺したかった
ペトロニーユ・ロ… 邪悪なる大蛇 邪悪なる大蛇
ピエール・ルメー… 夜、すべての血は黒い 夜、すべての血は黒い
ダヴィド・ディオ… ナイルの聖母 ナイルの聖母
スコラスティック… シンプルとウサギのパンパンくん シンプルとウサギのパンパンくん
マリー=オード・… ほんとうの自分 ほんとうの自分
ミラン・クンデラ… 新凱旋門物語　：　ラ・グランダルシ… 新凱旋門物語　：　ラ・グランダルシ…
ロランス・コセ／… 若い男/もうひとりの娘 若い男/もうひとりの娘
アニー・エルノー… ブラームスはお好き ブラームスはお好き
サガン／[著],… 小さくも重要ないくつもの場面 小さくも重要ないくつもの場面
シルヴィー・ジェ… 雪のフィアンセたち　：　スイス幻想… 雪のフィアンセたち　：　スイス幻想…
モーリス・ゼルマ… ジェザベル ジェザベル
イレーヌ・ネミロ… 姉妹のように 姉妹のように
クロエ・コルマン… ロニョン刑事とネズミ ロニョン刑事とネズミ
ジョルジュ・シム… あなたの迷宮のなかへ　：　カフカへ… あなたの迷宮のなかへ　：　カフカへ…
マリ=フィリップ… ジョン ジョン
エマニュエル・ブ… ガリバー ガリバー
クロード・シモン… 大切なことを教えてくれる星の王子さ… 大切なことを教えてくれる星の王子さ…
サン=テグジュペ… 戦争 戦争
ルイ=フェルディ… シェフ シェフ
ゴーティエ・バテ… 悪なき殺人 悪なき殺人
コラン・ニエル／… さらばボゴタ さらばボゴタ
シモーヌ・シュヴ… フォルチュニのマント　：　『失われ… フォルチュニのマント　：　『失われ…
ジェラール・マセ… 人類の深奥に秘められた記憶 人類の深奥に秘められた記憶
モアメド・ムブガ… メグレとマジェスティック・ホテルの… メグレとマジェスティック・ホテルの…
ジョルジュ・シム… アウシュヴィッツを泳いだ男 アウシュヴィッツを泳いだ男
ルノー・ルブロン…
フランス作家協会ティード・モニエ大賞　地中海賞
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。