Search:
Home  About  Submit Site    
   		 
  1. Home
  2. World
  3. Japanese
  4. 科学
  5. 自然科学
  6. 数学
  7. 数理論理学・数学基礎論  4 Sites
数理論理学及び数学基礎論に関するサイトを扱います。
Sites [ Submit ]
情報証明論 - Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。 高校数学＋α - 数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。 数学基礎論若手の会 - 学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。 数学基礎論史 - 林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記。
Click [ Submit ] above to Add a New Site, Update a Site, or Remove a Site from this Category.
Also Available in These Languages
英語  -  ドイツ語  -  スペイン語  -  イタリア語  -  ロシア語  -  ポーランド語  -  フランス語
This directory is made available through a Creative Commons Attribution license from the DMOZ Organization.

© 2025 - Midnight Design Productions, LLC