物理のかぎプロジェクト

トップ 最近の更新 ヘルプ  

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• K.I. へ行く。
  • 1 (2007-06-17 (日) 15:12:41)
  • 2 (2007-06-19 (火) 11:26:14)
  • 3 (2007-06-19 (火) 16:55:01)
  • 4 (2007-06-25 (月) 21:05:03)
  • 5 (2007-06-25 (月) 21:06:00)
  • 6 (2007-06-26 (火) 11:46:19)
  • 7 (2007-06-27 (水) 22:54:43)
  • 8 (2007-06-27 (水) 22:55:43)
  • 9 (2007-06-27 (水) 22:58:13)
  • 10 (2007-06-27 (水) 23:02:37)
  • 11 (2007-06-28 (木) 23:24:37)
  • 12 (2007-06-28 (木) 23:25:08)
  • 13 (2007-07-18 (水) 21:10:15)
  • 14 (2008-01-04 (金) 09:04:37)
  • 15 (2008-01-04 (金) 21:13:38)
  • 16 (2008-01-04 (金) 22:13:15)
  • 17 (2009-07-15 (水) 15:26:31)
  • 18 (2009-07-29 (水) 19:09:14)
  • 19 (2009-07-29 (水) 19:35:04)
  • 20 (2009-07-29 (水) 21:15:33)
  • 21 (2009-07-29 (水) 22:41:40)
  • 22 (2009-07-30 (木) 19:08:33)
  • 23 (2009-08-01 (土) 21:40:49)
  • 24 (2009-08-11 (火) 17:41:09)
  • 25 (2009-08-11 (火) 18:09:04)
  • 26 (2009-08-11 (火) 18:41:35)
  • 27 (2009-08-11 (火) 18:44:26)
  • 28 (2009-08-11 (火) 19:15:11)
  • 29 (2009-08-12 (水) 17:07:01)
  • 30 (2009-08-12 (水) 17:09:30)
  • 31 (2009-08-12 (水) 18:52:31)
  • 32 (2009-08-12 (水) 19:00:56)
  • 33 (2009-08-12 (水) 19:08:25)
  • 34 (2009-08-19 (水) 14:10:12)
  • 35 (2009-08-19 (水) 16:45:50)
  • 36 (2009-08-21 (金) 18:33:04)
  • 37 (2009-08-21 (金) 18:59:49)
  • 38 (2009-08-21 (金) 19:35:15)
  • 39 (2009-08-24 (月) 13:00:53)
  • 40 (2009-08-24 (月) 13:32:59)
  • 41 (2009-08-24 (月) 15:52:38)
  • 42 (2009-08-24 (月) 16:03:06)
  • 43 (2009-08-24 (月) 16:03:06)
  • 44 (2009-08-24 (月) 16:03:06)
  • 45 (2010-04-16 (金) 14:03:32)
  • 46 (2010-04-16 (金) 14:03:32)
  • 47 (2010-04-16 (金) 14:03:32)
  • 48 (2014-12-31 (水) 14:24:27)
  • 49 (2014-12-31 (水) 14:26:55)
  • 50 (2019-01-15 (火) 17:03:48)

---

K.I. †

• メール: thisismymailaddress@gmail.com
• 専門分野: 海洋微生物生態学
• 担当分野: 数学基礎

製作中 †

数学基礎論 (数学のレシピ) †

第一部: 命題論理 †

   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

第二部: 一階の述語論理 †

   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

単位のお話 †

   1. 物理量と単位，次元 (仮題)
   (未執筆)

   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/de21be9eae6411eefa29b402a1e74db6.html

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

     
Modified by 物理のかぎプロジェクト PukiWiki 1.4.6 Copyright © 2001-2005 PukiWiki Developers Team. License is GPL.
Based on "PukiWiki" 1.3 by yu-ji Powered by PHP 5.3.29 HTML convert time to 0.012 sec.