- 追加された行はこの色です。
- 削除された行はこの色です。
* K.I. [#fd965e1e]
//#ref(kix_image.jpg,nolink,right,around)
- メール: thisismymailaddress "at" gmail.com
- 専門 (研究) 分野: 海洋微生物生態学
- 担当分野: 数学基礎
//- 職業: 特任研究員
//- ホームページ:
//- 趣味: 地形図,時刻表
//- 資格: 日本陸上競技連盟公認審判員 (B級)
//- 居住地:
//- 好きな言葉:
//- 好きな科学者: カントール
* 製作中 [#kb9f10f4]
** 数学基礎論 (数学のレシピ) [#o89106a5]
*** 第一部: 命題論理 [#t70daf1d]
1. 命題論理の記号と文法
http://hooktail.maxwell.jp/kagi/47ee7b9262946aa1fc99bb3aa335186f.html (ver.01)
http://hooktail.maxwell.jp/kagi/5444898380762b84aed075b58238aa01.html (ver.02)
http://hooktail.maxwell.jp/kagi/47ee7b9262946aa1fc99bb3aa335186f.html (ver. 01)
http://hooktail.maxwell.jp/kagi/5444898380762b84aed075b58238aa01.html (ver. 02)
2. 命題論理の公理系と推論規則
http://hooktail.maxwell.jp/kagi/9fbebf399289d94765de4bf327caee29.html (ver.01)
http://hooktail.maxwell.jp/kagi/572384d1e954cbad1ac9081e87294fa8.html (ver.02)
http://hooktail.maxwell.jp/kagi/9fbebf399289d94765de4bf327caee29.html (ver. 01)
http://hooktail.maxwell.jp/kagi/572384d1e954cbad1ac9081e87294fa8.html (ver. 02)
http://hooktail.maxwell.jp/kagi/8babc8e15c36f39d4132416d07c3d4ad.html (ver. 03)
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/bacdb04ab565d292fcf5ec95eea2a82a.html
2. 国際単位系 (SI)
http://hooktail.maxwell.jp/kagi/0d895cde3ce5e4bf4b68071a3880e516.html
3. 国際単位系に於ける組立単位
http://hooktail.maxwell.jp/kagi/b698ababa7e484780cf8fd88d0c95541.html
4. 国際単位系以外の単位
http://hooktail.maxwell.jp/kagi/b2a86a7075304e0120c06df0f0c88b71.html
5. 単位の記法 (1)
http://hooktail.maxwell.jp/kagi/c1344243e79adc6e3e06d9645a5145f7.html
6. 単位の記法 (2)
http://hooktail.maxwell.jp/kagi/571bbf189763324d52c82d0064622342.html
7. 有効数字
http://hooktail.maxwell.jp/kagi/31aed24ab92f608d4ed57bbdc0557197.html
8. 単位から見た運動方程式
http://hooktail.maxwell.jp/kagi/273ab178f12bc2f7695889ef08ce9687.html