dmozについて | dmoz blog | URLを推薦 | URLを更新 | エディタになろう | 権限の濫用/スパムの報告 | ヘルプ

ほかの言語でのこのカテゴリ
	英語  (793)   ドイツ語  (8)   スペイン語  (9)   フランス語  (22)   イタリア語  (4)   ポーランド語  (11)   ロシア語  (4)

• 情報証明論 - Proof Checkerを用いた、コンピュータプログラムの数学的証明の解説。
• 数学基礎論史 - 林晋による一般読者向けの解説。ゲーデルゆかりの土地の旅行記や掲示板。
• 数学基礎論若手の会 - 学生・若手研究者の研究交流を目的とする、合宿形式の研究集会。
• 記号論理と情報科学研究集会 - 記号論理学と情報科学の境界領域に関する研究発表や研究討論。
• 高校数学＋α - 数学基礎論から論理的に解説した高校数学。雑記帳や議論掲示板。

"数理論理学・数学基礎論"をサーチ:	AltaVista - A9 - AOL - Ask - Clusty - Gigablast - Google - Lycos - MSN - Yahoo

Copyright © 1998 - 2009 Netscape

使用条件