資料詳細

  • 1 件中、 1 件目

【図書】 ろんりの相談室

大学１年生の真理値表と体系 --
鈴木登志雄 ／著   -- 日本評論社 -- ２０２１．７ -- ２１ｃｍ -- １９６ｐ

資料詳細

タイトル ろんりの相談室
副書名 大学１年生の真理値表と体系
著者名等 鈴木登志雄 ／著  
出版 日本評論社 ２０２１．７
大きさ等 ２１ｃｍ １９６ｐ
分類 410.96
件名 記号論理学
注記 文献あり　索引あり
著者紹介 京都大学理学部卒業、筑波大学大学院数学研究科　博士（理学）。現在、東京都立大学大学院理学研究科数理科学専攻准教授。専門は計算理論・数理理論学。著書に『例題で学ぶ集合と論理』（森北出版、２０１６）など。（本データはこの書籍が刊行された当時に掲載されていたものです）
要旨 真理値表は自動で計算。できた余裕で体系を学ぶ。くだけた表現も忘れずに。
目次 第１部　疑問解決編（「否定命題を作れ」の解法を教えてください；表計算の論理関数とは；表計算と算数でドモルガンの法則を確かめたい；集合の例を表計算で見たい；イフの道案内お願いします）；第２部　体系編（証明の定石；ユーザーのための自然演繹；自然演繹における証明）；第３部　読解力向上編（くだけた書き方に対する免疫；集合の考え方；集合と写像のボキャブラリ　前編；集合と写像のボキャブラリ　後編；専門書つまみ食い鑑賞教室）；付録　束縛変数と自由変数
ISBN(13)、ISBN 978-4-535-78940-1　　 4-535-78940-1
書誌番号 1113891420
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113891420

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/258 一般書 利用可 - 2070998001 iLisvirtual

ページの先頭へ