はじめての数理論理学 - 証明を作りながら学ぶ記号論理の考え方

個数:
電子版価格 ¥2,640
  • 電書あり

はじめての数理論理学 - 証明を作りながら学ぶ記号論理の考え方

  • ウェブストアに2冊在庫がございます。(2021年10月16日 15時20分現在)
    通常、ご注文翌日~2日後に出荷されます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【ご注意事項】 ※必ずお読みください
    ◆在庫数は刻々と変動しており、ご注文手続き中に減ることもございます。
    ◆在庫数以上の数量をご注文の場合には、超過した分はお取り寄せとなり日数がかかります。入手できないこともございます。
    ◆事情により出荷が遅れる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆「帯」はお付けできない場合がございます。
    ◆特に表記のない限り特典はありません。
  • ●店舗受取サービス(送料無料)もご利用いただけます。
    ご注文ステップ「お届け先情報設定」にてお受け取り店をご指定ください。尚、受取店舗限定の特典はお付けできません。詳細はこちら
  • サイズ A5判/ページ数 144p/高さ 22cm
  • 商品コード 9784627078017
  • NDC分類 410.96
  • Cコード C3041

出版社内容情報

「記号だらけで難しそう…」そんなイメージを払拭する、いちばんやさしい解説書!●いちばんやさしい解説書!
「数理論理学って記号だらけで難しそう…」そんなイメージをもっていませんか?
そんな方には本書がぴったりです.徹底的に平易な解説で,論理記号の読み書きから自然演繹の入り口まで,読者をやさしくナビゲートします.

●「証明を作りながら学ぶ」って?
数理論理学が記号だらけで難しそうに見えるのは,実際の命題や証明との接点がわかりにくいから.
この本では,簡単な命題や証明を題材に説明が進むので,記号論理の考え方が抵抗なく学べます.

●豊富な例題・演習問題
全106題の問題を解くことで確実に考え方が身につきます.

序章 数理論理学とは
第1章 論理式:記号を使って主張を表す
第2章 証明法:指針に沿って証明を作る
第3章 自然演繹:記号を使って証明を表す
確認問題の解答と解説
演習問題の解答

山田 俊行[ヤマダ トシユキ]
著・文・その他

感想・レビュー

※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。

Olive

1
明解 自然演繹の証明はAIとかプログラミングを学ぶ人には良いのだろう。2020/09/21

外部のウェブサイトに移動します

よろしければ下記URLをクリックしてください。

https://bookmeter.com/books/12941763

ご注意
リンク先のウェブサイトは、株式会社ブックウォーカーの提供する「読書メーター」のページで、紀伊國屋書店のウェブサイトではなく、紀伊國屋書店の管理下にはないものです。
この告知で掲載しているウェブサイトのアドレスについては、当ページ作成時点のものです。ウェブサイトのアドレスについては廃止や変更されることがあります。
最新のアドレスについては、お客様ご自身でご確認ください。
リンク先のウェブサイトについては、「株式会社ブックウォーカー」にご確認ください。