資料詳細

  • 1 件中、 1 件目

【図書】 数理パズルで楽しく学べる論理学

藤田憲悦 ／著   -- コロナ社 -- ２０２２．３ -- ２１ｃｍ -- １８８ｐ

資料詳細

タイトル 数理パズルで楽しく学べる論理学
著者名等 藤田憲悦 ／著  
出版 コロナ社 ２０２２．３
大きさ等 ２１ｃｍ １８８ｐ
分類 410.96
件名 記号論理学
注記 欧文タイトル：Ｌｏｇｉｃａｌ　Ｌａｂｙｒｉｎｔｈｓ　ａｎｄ　Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ
注記 文献あり　索引あり
著者紹介 １９８４年東北大学工学部電子工学科卒業。１９９０年東北大学大学院博士後期課程単位取得退学（情報工学専攻）。工学博士。２００４年群馬大学助教授。２００７年群馬大学准教授。現在に至る。（本データはこの書籍が刊行された当時に掲載されていたものです）
目次 １　準備（言葉づかいについて：集合、順序と同値関係、写像と関数）；２　命題論理（日常的推論と記号化；数理パズルと記号化；命題論理の言語：論理式　ほか）；３　述語論理（数理パズルと述語論理による記号化；述語論理の言語；述語論理の形式的体系　ほか）；４　証明の形式化とラムダ計算（証明図の簡約；証明の記号化・形式化；カリー・ハワード同型）
ISBN(13)、ISBN 978-4-339-02923-9　　 4-339-02923-8
書誌番号 1113950866
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113950866

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410.9 一般書 利用可 - 2072141400 iLisvirtual
磯子 公開 Map 410 一般書 利用可 - 2072227142 iLisvirtual

ページの先頭へ