K.I. のバックアップソース(No.11) - 物理のかぎプロジェクトWiki

* K.I. [#fd965e1e]

//#ref(kix_image.jpg,nolink,right,around)

- メール: &encode_numeric(thisismymailaddress@gmail.com);
- 専門分野:  海洋微生物生態学
- 担当分野: 数学基礎
//- 職業: 大学院生
//- ホームページ: 
//- 趣味: 地形図，時刻表
//- 資格: 日本陸上競技連盟公認審判員(B級)
//- 居住地: 
//- 好きな言葉: 
//- 好きな科学者: カントール

* 製作中 [#kb9f10f4]

** 数学基礎論 (数学のレシピ) [#o89106a5]

*** 第一部: 命題論理 [#t70daf1d]

    1. 命題論理の記号と文法
    http://hooktail.maxwell.jp/kagi/47ee7b9262946aa1fc99bb3aa335186f.html

    2. 命題論理の公理系と推論規則
    http://hooktail.maxwell.jp/kagi/9fbebf399289d94765de4bf327caee29.html (ver.01)
    http://hooktail.maxwell.jp/kagi/572384d1e954cbad1ac9081e87294fa8.html (ver.02)

    3. 命題論理の形式的証明論 (1)
    http://hooktail.maxwell.jp/kagi/393f05303750181415c46d0a34125c07.html

    4. 命題論理の形式的証明論 (2)
    http://hooktail.maxwell.jp/kagi/1bf8ad23c4ec3c834417794e7f99fc61.html

    5. 命題論理の形式的証明論 (3)
    http://hooktail.maxwell.jp/kagi/9342e1a020ab4152791c923ccc32201e.html

    6. 命題論理の意味論
    http://hooktail.maxwell.jp/kagi/8d5815bd43a6003c6908fc7bfb46292b.html

    7. 命題論理の健全性
    http://hooktail.maxwell.jp/kagi/0b4ebd9fbdefec571f692a133eabeb34.html

    8. 命題論理の内容的完全性
    http://hooktail.maxwell.jp/kagi/e41ed37ada229c6d6e5c87745b7ce8e1.html



*** 第二部: 一階の述語論理 [#ia2a8938]

    9. 述語論理の記号と文法 (1)
    http://hooktail.maxwell.jp/kagi/6a19a9a0912e48e99098c9a4c22a4bd1.html

    10. 述語論理の記号と文法 (2)
    http://hooktail.maxwell.jp/kagi/321b1a2c4615ee94a3694fe6a29848f8.html

    11. 述語論理の公理系と推論規則
    http://hooktail.maxwell.jp/kagi/1bdf6a9698c10aaf03cc582b0fc54985.html

    12. 述語論理の形式的証明論 (1)
    http://hooktail.maxwell.jp/kagi/2f531d123ea05782db843b41cd588ae6.html

    13. 述語論理の形式的証明論 (2)
    未執筆 (形式的な証明って眠たいんですよね……ふぁぁ。後日執筆します。)

    14. 述語論理の意味論 (1)
    http://hooktail.maxwell.jp/kagi/82a06e28f69ed4b06de4bcb6d0ccea3f.html

    15. 述語論理の意味論 (2)
    http://hooktail.maxwell.jp/kagi/0f520ebcbc160639275c6649dada1f80.html








** 単位のお話 [#ccb70abc]


    1. 物理量と単位，次元 (仮題)
    http://hooktail.maxwell.jp/kagi/eb53f4649f209957521290a7def78def.html

    2. 国際単位系 (SI)
    http://hooktail.maxwell.jp/kagi/d2b89ba2b80f4f789e24020003801aa7.html

    3. 国際単位系に於ける組立単位
    http://hooktail.maxwell.jp/kagi/b458e75b1f00ad260af2a79e05f90974.html

    4. 国際単位系以外の単位 (仮題)
    (未執筆)


    5. 単位の記法 (1)
    http://hooktail.maxwell.jp/kagi/c47dafb1fbf3d0dfd2b91c2827925c39.html

    6. 単位の記法 (2)
    http://hooktail.maxwell.jp/kagi/643d870fc08b30b11e44a155723aa757.html


    7. 有効数字
    http://hooktail.maxwell.jp/kagi/e7c86dab008baaffcfe8ff6ed6fc314d.html


(以下続く 単位の歴史，国際単位系の歴史などなど，十話完結を目指します)