図書

情報理論のための数理論理学 (数学のかんどころ ; 31)

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

情報理論のための数理論理学 = Mathematical Logic for Informatics

(数学のかんどころ ; 31)

Call No. (NDL)
MA41-L69
Bibliographic ID of National Diet Library
028436519
Material type
図書
Author
板井昌典 著
Publisher
共立出版
Publication date
2017.8
Material Format
Paper
Capacity, size, etc.
200p ; 21cm
NDC
410.96
View All

Detailed bibliographic record

Summary, etc.:

高等学校や大学の初学年で数理論理学を学習するが,多くの場合,命題論理・述語論理の初等的な学習までに留められてしまい,この分野にどういった応用例があるかを学べる機会は限られている。ただ,命題論理・述語論理の応用などを学びたい・知りたいと思った場合でも,現状では,数学基礎論寄りの非常に高度な専門書に取り...

Search by Bookstore

Table of Contents

  • 第1章 命題論理

  • 1.1 標準形

  • 1.1.1 基本性質

  • 1.1.2 基本性質の一般化

  • 1.1.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.

Kanto

  • 石川県立図書館

    Paper
    Call No.:
    410.96/イタ シ
    Book Registration Number:
    100001965
  • 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-320-11072-4
Title Transcription
ジョウホウ リロン ノ タメ ノ スウリ ロンリガク
Author/Editor
板井昌典 著
Author Heading
板井, 昌典, 1953- イタイ, マサノリ, 1953- ( 00893666 )Authorities
Publication, Distribution, etc.
Publication Date
2017.8
Publication Date (W3CDTF)
2017