検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
  • お住まいの市町村図書館にも所蔵がある場合があります。また、お住まいの市町村図書館から県立図書館の資料を取り寄せることもできます。詳細は各図書館にお問合せください。【福島県立図書館横断検索】
    書誌の詳細です。 現在 0 件の予約がはいっています。
この書誌情報へのリンク：

蔵書情報

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

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

書誌情報サマリ

書名

数理パズルで楽しく学べる論理学　

著者名 藤田 憲悦／著
出版者 コロナ社
出版年月 2022.3

この資料に対する操作

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

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

※この書誌は予約できません。   

この資料に対する操作

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

登録するリストログインメモ

資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 帯出区分 状態
1 県立館内100640416L616.3/N1/2地域書庫持ち出し禁利用可 

書誌詳細

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

タイトルコード 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 カリー・ハワード同型



目次


内容細目

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

農林省福島統計調査事務所
【福島県における農業労働力の将来展望】 福島県における農業労働力の将来展望
農林省福島統計調… 【道路の整備に伴う農業構造の変化】 道路の整備に伴う農業構造の変化
農林省福島統計調… 【農畜産物流通統計年報昭和４４年】 農畜産物流通統計年報昭和４４年
農林省福島統計調… 【福島県における農業生産の地域構造分…】 福島県における農業生産の地域構造分…
農林省福島統計調… 【福島県養蚕統計年報昭和４３年度】 福島県養蚕統計年報昭和４３年度
農林省福島統計調… 【地域農業の考察資料昭和４３年度】 地域農業の考察資料昭和４３年度
農林省福島統計調… 【福島県市町村別基礎統計…昭和４３年度】 福島県市町村別基礎統計…昭和４３年度
農林省福島統計調… 【農業経営に関する意識調…昭和４２年度】 農業経営に関する意識調…昭和４２年度
農林省福島統計調… 【地域農業の考察資料昭和４２年度】 地域農業の考察資料昭和４２年度
農林省福島統計調… 【主要農作物市町村別統計昭和４１年産】 主要農作物市町村別統計昭和４１年産
農林省福島統計調… 【青果物出荷統計昭和４１年】 青果物出荷統計昭和４１年
農林省福島統計調… 【絵で見る福島の農林漁業】 絵で見る福島の農林漁業
農林省福島統計調… 【福島県における家畜飼養農家概況　：…】 福島県における家畜飼養農家概況　：…
農林省福島統計調… 【世界農林業センサス（１９６０年）農…】 世界農林業センサス（１９６０年）農…
農林省福島統計調… 【福島県の畜産概況】 福島県の畜産概況
農林省福島統計調… 【世界農林業センサス（１９６０年）農…】 世界農林業センサス（１９６０年）農…
農林省福島統計調… 【麦類気象感応試験成績書昭和３３年産】 麦類気象感応試験成績書昭和３３年産
農林省福島統計調… 【水稲気象感応試験における主稈、出葉…】 水稲気象感応試験における主稈、出葉…
農林省福島統計調… 【福島県における水稲生産条件別調査成…】 福島県における水稲生産条件別調査成…
農林省福島統計調… 【麦類気象感応試験成績書昭和３２年産】 麦類気象感応試験成績書昭和３２年産
農林省福島統計調…
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。