山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌

• 資料種別: 図書
• ISBN: 978-4-535-78913-5
• タイトル: 山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
• タイトルよみ: ヤマ ノ ウエ ノ ロジック ガクエン : フカンゼンセイ テイリ オ メグル ニシュウカン ノ ジュギョウ ニッシ
• 著者・編者: 田中一之 著; バラマツヒトミ 絵
• 著者標目: 田中, 一之, 1955- タナカ, カズユキ, 1955- ( 00541946 )典拠; バラマツ, ヒトミ バラマツ, ヒトミ ( 01159150 )典拠
• 出版事項: 東京 : 日本評論社
• 出版年月日等: 2019.12
• 出版年（W3CDTF）: 2019
• 数量: 242p
• 大きさ: 21cm
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 件名標目: ゲーデルの定理 ゲーデルノテイリ ( 00562524 )典拠; 記号論理学 キゴウロンリガク ( 00565709 )典拠
• NDC10版: 410.9 : 数学
• NDLC: MA41
• 対象利用者: 一般
• 書誌注記: 索引あり
• 入手条件・定価: 2500円
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-M18
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 030125436; http://id.ndl.go.jp/bib/030125436
• 全国書誌番号: 23323182
• トーハンMARC番号: 34013700
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 要約等: 学園の入門生たちが、ロジックの理解を目指して奮闘する様子を描く。たった２週間で不完全性定理がマスターできる不思議な物語。（提供元: 出版情報登録センター（JPRO））
• 著者紹介: 田中一之 東北大学大学院理学研究科教授バラマツヒトミ 漫画家・イラストレーター（提供元: 出版情報登録センター（JPRO））

目次

プロローグ

まえがき

2月28日(月)　授業1日目

等式ロジック

演習：ピグマリオン