図書

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

Icons representing 図書
The cover of this title could differ from library to library. Link to Help Page

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

Call No. (NDL)
MA41-L87
Bibliographic ID of National Diet Library
029101563
Material type
図書
Author
山田俊行 著
Publisher
森北出版
Publication date
2018.7
Material Format
Paper
Capacity, size, etc.
131p ; 22cm
NDC
410.96
View All

Detailed bibliographic record

Summary, etc.:

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

Author introduction:

山田 俊行 三重大学講師 博(工)(Provided by: 出版情報登録センター(JPRO))

Search by Bookstore

Table of Contents

  • 序章 数理論理学とは

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

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

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

  • 確認問題の解答と解説

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

Northern Japan

Kanto

  • CiNii Research

    Search Service
    Paper
    You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.

Search by Bookstore

Publication bibliographic database Books Find a bookstore where you can purchase books from

Books is a database of the publishing industry with information provided by publishers. You can search for currently available paperbacks and eBooks.

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
978-4-627-07801-7
Title Transcription
ハジメテ ノ スウリ ロンリガク
Author/Editor
山田俊行 著
Author Heading
山田, 俊行 ヤマダ, トシユキ ( 001299446 )Authorities
Publication, Distribution, etc.
Publication Date
2018.7
Publication Date (W3CDTF)
2018
Extent
131p