 |
50音順インデックス |
| ウェブディレクトリ トップ / 科学 / 自然科学 / 数学 / 数理論理学・数学基礎論 のページ |
| 数理論理学及び数学基礎論に関するサイトを扱います。 |
詳細ディレクトリ
掲載サイト
 | |||||
| |||||
|
|
情報証明論 http://markun.cs.shinshu-u.ac.jp/le.. |
Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。 | |||
| |||||
| |||||
|
|
数学基礎論史 http://www.shayashi.jp/HistorySocio.. |
林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記や掲示板。 | |||
| |||||
| |||||
|
|
高校数学＋α http://www.h6.dion.ne.jp/~hsbook_a/ |
数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。 | |||
| |||||
| |||||
|
|
数学基礎論若手の会 http://www.mi.s.osakafu-u.ac.jp/~ka.. |
学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。 | |||
| |||||
| |||||
|
|
記号論理と情報科学研究集会 http://www.sato.kuis.kyoto-u.ac.jp/.. |
記号論理学と情報科学の境界領域に関する研究発表や研究討論。 | |||
| |||||
|
|
|
|
|
URL掲載数 ：166975 総ページ数 ：22743 |
このサイトはOpen Directory dmozを利用しています。 |
2008年7月17日19時11分更新 |