鳥取県立図書館
図書館HP
資料検索
資料紹介
Myライブラリ
ヘルプ
図書館HP
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
ジャンル検索
1 件中、 1 件目
ろんりの相談室
利用可
予約かごへ
鈴木 登志雄/著 -- 日本評論社 -- 2021.7 -- 410.96
SDI
本棚へ
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
鳥取県立
一般
410.9/ススキ/一般
121514261
一般
利用可
ページの先頭へ
資料詳細
タイトル
ろんりの相談室
書名ヨミ
ロンリ ノ ソウダンシツ
副書名
大学1年生の真理値表と体系
著者名
鈴木 登志雄
/著
著者ヨミ
スズキ,トシオ
出版者
日本評論社
出版年
2021.7
ページ数等
196p
大きさ
21cm
一般件名
記号論理学
ISBN
4-535-78940-1
ISBN13桁
978-4-535-78940-1
定価
2400円
問合わせ番号(書誌番号)
1120417803
NDC8版
410.96
NDC9版
410.96
NDC10版
410.96
著者紹介
京都大学理学部卒業、筑波大学大学院数学研究科 博士(理学)。現在、東京都立大学大学院理学研究科数理科学専攻准教授。専門は計算理論・数理理論学。著書に『例題で学ぶ集合と論理』(森北出版、2016)など。(本データはこの書籍が刊行された当時に掲載されていたものです)
ページの先頭へ
内容一覧
タイトル
著者名
ページ
第1部 疑問解決編(「否定命題を作れ」の解法を教えてください;表計算の論理関数とは;表計算と算数でドモルガンの法則を確かめたい;集合の例を表計算で見たい;イフの道案内お願いします)
第2部 体系編(証明の定石;ユーザーのための自然演繹;自然演繹における証明)
第3部 読解力向上編(くだけた書き方に対する免疫;集合の考え方;集合と写像のボキャブラリ 前編;集合と写像のボキャブラリ 後編;専門書つまみ食い鑑賞教室)
付録 束縛変数と自由変数
ページの先頭へ