資料詳細

  • 1 件中、 1 件目

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

藤田　憲悦／著 -- コロナ社 -- 2022.3 -- 410.96

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 一般 410.9/ﾌｼﾀ/一般 121652012 一般 利用可

ページの先頭へ

資料詳細

タイトル 数理パズルで楽しく学べる論理学
書名ヨミ スウリ　パズル　デ　タノシク　マナベル　ロンリガク
著者名 藤田　憲悦 ／著  
著者ヨミ フジタ，ケンエツ  
出版者 コロナ社  
出版年 2022.3
ページ数等 １８８ｐ
大きさ ２１ｃｍ
一般注記 欧文タイトル：Ｌｏｇｉｃａｌ　Ｌａｂｙｒｉｎｔｈｓ　ａｎｄ　Ｍａｔｈｅｍａｔｉｃａｌ　Ｌｏｇｉｃ
一般件名 記号論理学  
ISBN 4-339-02923-8
ISBN13桁 978-4-339-02923-9
定価 ２６００円
問合わせ番号（書誌番号） 1120462863
NDC8版 410.96
NDC9版 410.96
NDC10版 410.96
著者紹介 １９８４年東北大学工学部電子工学科卒業。１９９０年東北大学大学院博士後期課程単位取得退学（情報工学専攻）。工学博士。２００４年群馬大学助教授。２００７年群馬大学准教授。現在に至る。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

タイトル 著者名 ページ
１　準備（言葉づかいについて：集合、順序と同値関係、写像と関数）
２　命題論理（日常的推論と記号化；数理パズルと記号化；命題論理の言語：論理式　ほか）
３　述語論理（数理パズルと述語論理による記号化；述語論理の言語；述語論理の形式的体系　ほか）
４　証明の形式化とラムダ計算（証明図の簡約；証明の記号化・形式化；カリー・ハワード同型）

ページの先頭へ