資料詳細

  • 1 件中、 1 件目

はじめての数理論理学

山田 俊行／著 -- 森北出版 -- 2018.7 -- 410.96

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 集密２(X43) 主配架/410.96/ﾔﾏﾀﾞ*ﾄ/ 10217023891 一般図書 書架 iLisvirtual

ページの先頭へ

資料詳細

タイトル はじめての数理論理学
副書名 証明を作りながら学ぶ記号論理の考え方
著者 山田 俊行 ／著  
出版者 森北出版
出版年 2018.7
ページ数 7,131p
大きさ 22cm
一般件名 記号論理学
NDC分類(10版) 410.96
内容紹介 論理記号の読み書きから自然演繹の入り口までやさしくナビゲートする、数理論理学の入門書。簡単な命題や証明を題材に、記号論理の考え方をわかりやすく解説する。例題・演習問題も豊富に収録。
ISBN 4-627-07801-7
ISBN13桁 978-4-627-07801-7

ページの先頭へ