本文に飛ぶ

図書

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

図書を表すアイコン
表紙は所蔵館によって異なることがあります

はじめての数理論理学 = Mathematical Logic for Beginners : 証明を作りながら学ぶ記号論理の考え方

国立国会図書館請求記号
MA41-L87
国立国会図書館書誌ID
029101563
資料種別
図書
著者
山田俊行 著
出版者
森北出版
出版年
2018.7
資料形態
紙
ページ数・大きさ等
131p ; 22cm
NDC
410.96
すべて見る

資料詳細

要約等：

「記号だらけで難しそう…」そんなイメージを払拭する、いちばんやさしい解説書！（提供元: 出版情報登録センター（JPRO））

著者紹介：

山田 俊行 三重大学講師 博（工）（提供元: 出版情報登録センター（JPRO））

書店で探す

書店で探す

目次

提供元：出版情報登録センター（JPRO）

  • 序章　数理論理学とは

  • 第1章　論理式：記号を使って主張を表す

  • 第2章　証明法：指針に沿って証明を作る

  • 第3章　自然演繹：記号を使って証明を表す

  • 確認問題の解答と解説

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

北日本

関東

  • CiNii Research

    検索サービス
    紙
    連携先のサイトで、CiNii Researchが連携している機関・データベースの所蔵状況を確認できます。
    この本の所蔵を確認

書店で探す

出版書誌データベース Books から購入できる書店を探す

『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別
図書
ISBN
978-4-627-07801-7
タイトル
はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
タイトルよみ
ハジメテ ノ スウリ ロンリガク
著者・編者
山田俊行 著
著者標目
山田, 俊行 ヤマダ, トシユキ ( 001299446 )典拠
出版事項
東京 : 森北出版
出版年月日等
2018.7
出版年（W3CDTF）
2018
数量
131p