証明作法論理の初歩から証明の実践へ

証明作法論理の初歩から証明の実践へ

タイトル
証明作法論理の初歩から証明の実践へ
ISBN/JAN
9784320114890
著者
石原哉
出版社
共立出版
発売日
2023/03/25
商品説明
本書は、「よい証明はわかりやすい」、「よい証明を書きたかったらよい証明をたくさん読むべきである」をモットーとして、数学の授業でオンザジョブトレーニングで学ぶことの多い証明の書き方について解説する書籍である。前半では、まず論理への導入を行い、それから自然演繹と呼ばれる形式化に基づいて、日本語表現に近い形で証明の構成法をできるだけ丁寧に説明し、述語についても述べる。証明の構造の理解が容易になるよう、プログラミングで用いる字下げを活用している。後半では、前半で学んだことをベースとして、集合に関係する様々な問題に証明を与えていく。集合演算の基本的性質など、直観的に明らかな命題にも証明を与える。関係、写像、同値関係、順序について説明し、有向完備順序についても簡単に触れ、圏論で締めくくる。大学で証明を必要とする学生のみでなく、証明の書き方を学びたいすべての人にとって大変重宝する書籍となろう。

型番

9784320114890-011

販売価格

2,970円(税270円)

購入数

購入に関するよくある質問はこちら
イベント商品をご購入の方はこちらをご確認ください

特定商取引法に基づく表記 (返品など)

この商品について問い合わせる

最近チェックした商品

私が撮影した機関区と機関車【北海道・国鉄編】

4,400円(税400円)
SOLD OUT

【特典付き】ぱらのま　8

968円(税88円)
SOLD OUT

国鉄旅客列車の記録【電車・気動車列車編】

2,640円(税240円)
SOLD OUT

【特典付き】肥満令嬢は細くなり、後は傾国の美女（物理）として生きるのみ 2

1,399円(税127円)

野尻抱影　星は周る

1,540円(税140円)

カテゴリー

ピックアップ

Calendar

2025年8月
日	月	火	水	木	金	土
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28	29	30
31

2025年9月
日	月	火	水	木	金	土
	1	2	3	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30

Top

返品について

返品期限

商品到着後７日以内とさせていただきます。

返品送料

お客様都合による返品につきましてはお客様のご負担とさせていただきます。
不良品に該当する場合は当方で負担いたします。

配送方法・送料について

日本郵便（ゆうパック・ゆうパケット）

送料：700円（お届け地域、ゆうパック・ゆうパケットに関わらず一律）

※ゆうパック・ゆうパケットの指定は頂けません。
（商品サイズで自動選択させて頂きます）

●9800円以上お買い上げで送料無料！

●1注文につき１発送となります
　注文内の全商品が揃ってから、１まとめで発送となります。

●別注文との同梱対応はできません。ご注文ごとに別々の対応となります。

●発売前の予約商品の場合、日時指定は無効とさせて頂きます。

●通常、ご入金（ご決済）確認から2営業日以内に出荷いたします。
※店舗休業日（土日祝日）は出荷されません
※繁忙期やご入金タイミング、在庫状況によっては前後します。

●お届け日の目安（出荷日を基準に）
翌日：関東
翌日～翌々日：東北・中部・近畿・中国・四国
翌々日～3日以降：北海道・九州・沖縄
※道路交通事情や天候などにより遅れが出る場合もございます。

●配送伝票の内容明細：書籍
お届け荷物の外側には、購入内容に関わらず【書籍】とのみ表記されます。

●領収書を希望のお客様へ
▼ 書類発行システム → https://bit.ly/3WOyDgi
上記リンクより、お客様自身で印刷・ダウンロード（PDF）下さい。
宛名もご自身で変更可能です。（納品書も発行可能です）
■適格請求書番号：T8-0100-0101-9056

お支払い方法

Amazon Pay

Amazon Payは、Amazon.co.jpアカウントに登録された
お支払い方法や住所を使ってご注文いただけるサービスです。
ご利用になるには Amazon.co.jpアカウントが必要です。
Amazonギフトカードも利用できます。
※Amazonポイントはご利用いただけません
クレジット（VISA・MASTER・JCB・AMEX・Diners）

【取扱カード】
取り扱いカードは以下のとおりです。
すべてのカード会社で、一括払いが可能となっております。
※3Dセキュア2.0（本人認証サービス）を導入しております。
3Dセキュア非対応のカードは当サイトではご利用頂けません。
楽天ペイ（楽天ポイントが貯まる！使える！）

楽天IDとパスワードを使って楽天にご登録のクレジットカードでスムーズなお支払いが可能です。
楽天ポイントが貯まる・使える！「簡単」「あんしん」「お得」な楽天ペイをご利用ください。
楽天ポイント利用分については楽天から送信される自動配信メール、
もしくは楽天ペイ利用履歴＜https://my.checkout.rakuten.co.jp/mych/＞にてご確認ください。
PayPay（QRコード決済で便利にお買い物！）

ご注文手続き時にPayPayアカウントを使用するか、画面に表示されるQRコードをスキャンした後、PayPayアプリにてお支払いできます。
（PayPayアカウントを使用場合は、電話番号とパスワードを入力後、SMSで送信される認証コードを入力してください。）
※決済する前ににウインドウを閉じないようご注意ください。
※残額不足にご注意ください。
コンビニ決済（前払い）

ファミリーマートかローソン（ミニストップ・セイコーマート含む）から選べます
ご注文後、別途メールでお支払いに必要な番号等が送信されます
→ 支払いメールの件名：ご注文確認メール(自動配信)
その番号を元にコンビニ備え付けの端末で払込票を発行し、レジにてお支払いください。
※お支払期限は10日間です
※手数料200円をご負担いただきます
商品代引き（日本郵便ゆうパック）

【業者】日本郵便
●商品配達時に、配達員に代金をお支払いいただきます（現金のみの対応です）
●送料とは別に代引き手数料がかかります（330円～660円まで、お買い上げ金額により変動します）
お買い上げ総額（送料・代引き手数料含む）→代引き手数料　　
9999円未満→330円／29999円未満 →440円／99999円未満 →660円／上記以上 →1100円
※ご注文後、準備整い次第出荷いたしますので、ご注文間違いの際は急ぎご連絡下さい

証明作法論理の初歩から証明の実践へ

関連商品