鈴木 登志雄/著 -- スズキ,トシオ -- 日本評論社 -- 2021.7 -- 410.96

※所蔵欄の「帯出区分」が「貸出禁止」のものや、「状態」が「在架」のものは予約できません。

※奄美図書館からの取り寄せは、システムの関係上、来館しての手続きが必要です。

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県図一般 2階閲覧室 410.9/ス021 0116009085 一般図書   在架

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
県図一般 1 0 1

資料詳細

タイトル ろんりの相談室
書名カナ ロンリ ノ ソウダンシツ
副書名 大学1年生の真理値表と体系
著者 鈴木 登志雄 /著  
著者カナ スズキ,トシオ
出版地 東京
出版者 日本評論社
出版者カナ ニホン ヒョウロンシャ
出版年 2021.7
ページ数 7,196p
大きさ 21cm
一般件名 記号論理学
内容紹介 対話形式の論理入門。「「否定命題を作れ」の解法を教えてください」「表計算の論理関数とは」などの疑問に答え、証明の定石としての自然演繹について解説。集合と写像に関する主な用語も取り上げる。練習問題付き。
NDC分類(9版) 410.96
ISBN 4-535-78940-1
ISBN13桁 978-4-535-78940-1
定価 ¥2400

目次

第Ⅰ部 疑問解決編
  第1章 「否定命題を作れ」の解法を教えてください
  第2章 表計算の論理関数とは
  第3章 表計算と算数でド モルガンの法則を確かめたい
  第4章 集合の例を表計算で見たい
  第5章 イフの道案内お願いします
第Ⅱ部 体系編
  第6章 証明の定石前編
  第7章 証明の定石後編
  第8章 ユーザーのための自然演繹
  第9章 自然演繹における証明
第Ⅲ部 読解力向上編
  第10章 くだけた書き方に対する免疫
  第11章 集合の考え方
  第12章 集合と写像のボキャブラリ前編
  第13章 集合と写像のボキャブラリ後編
  第14章 専門書つまみ食い鑑賞教室