検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

各蔵書資料に関する詳細情報です。

No.	所蔵館	資料番号	請求記号	配架場所	帯出区分	状態
1	県立館内	305551194	410.96/ﾌｹ223/	自然公開	持ち出し可	利用可

この資料の書誌詳細情報です。

タイトルコード	1001120096913
書名	数理パズルで楽しく学べる論理学
著者名	藤田憲悦／著
出版者	コロナ社
出版年月	2022.3
ページ数	7,188p
大きさ	21cm
ISBN（10桁）	4-339-02923-9
ISBN（13桁）	978-4-339-02923-9
分類記号	410.96
書名ヨミ	スウリパズルデタノシクマナベルロンリガク
内容紹介	スマリヤンの「正直者と噓つきのパズル」など、日常的推論で考察可能な数理パズルを通して、身の回りの物事を記号化する力や論理的に説明・表現する力を養うテキスト。
著者紹介	東北大学大学院博士後期課程単位取得退学(情報工学専攻)。工学博士。群馬大学准教授。
参考文献年表	文献:p183～186
件名	記号論理学
言語区分	日本語
目次	2.命題論理
	3.述語論理
	4.証明の形式化とラムダ計算
	言葉づかいについて:集合,順序と同値関係,写像と関数
	2.1 日常的推論と記号化 2.2 数理パズルと記号化 2.3 命題論理の言語:論理式 2.4 命題論理の意味論 2.5 ブール代数 2.6 ブール関数 2.7 命題論理の形式的体系 2.8 形式的体系の健全性と完全性
	3.1 数理パズルと述語論理による記号化 3.2 述語論理の言語 3.3 述語論理の形式的体系 3.4 述語論理の意味論
	4.1 証明図の簡約 4.2 証明の記号化・形式化 4.3 カリー・ハワード同型