学んでみよう!記号論理

個数:

学んでみよう!記号論理

  • ウェブストアに2冊在庫がございます。(2019年03月20日 20時06分現在)
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【出荷予定日】
    ■ご注文当日 (午前0時~午前10時30分までのご注文)
     または
    ■ご注文翌日 (午前10時31分~午後11時59分までのご注文)

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

目次

論理の記号化
命題論理の考え方
意味論的諸概念
論理式の標準形
タブロー法
命題論理の演繹体系
命題論理の自然演繹
述語論理の考え方
述語論理の意味論
述語論理の演繹体系
完全性定理
付録 数学的予備知識

著者等紹介

高崎金久[タカサキカネヒサ]
1956年、石川県生まれ。近畿大学理工学部教授。専門は代数解析学と数理物理学で、特に長年にわたって可積分系を追求しているが、最近は組合せ論的構造にも関心を持っている(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

出版社内容情報

数理論理学を学ぶ入口として、数学を記号化する意味や記号化された論理を通して数学の命題や証明を丁寧に紐解いた一冊。

第1講 論理の記号化
第2講 命題論理の考え方
第3講 意味論的諸概念
第4講 論理式の標準形
第5講 タブロー法
第6講 命題論理の演繹体系
第7講 命題論理の自然演繹(1)
第8講 命題論理の自然演繹(2)
第9講 命題論理の自然演繹(3)
第10講 述語論理の考え方
第11講 述語論理の意味論
第12講 述語論理の演繹体系
第13講 完全性定理(1)
第14講 完全性定理(2)
第15講 完全性定理(3)
付録 数学的予備知識

【著者紹介】
近畿大学理工学部教授