补充材料：数学精品网址大全

《补充材料：数学精品网址大全》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、数学精品网址大全数理逻辑、数学基础：http://www.disi.unige.it/aila/eindex.html意大利逻辑及其应用协会的主页，包括意大利数理逻辑领域的相关内容。http://www.plenum.com/title.cgi?2110《代数与逻辑》，《西伯利亚代数与逻辑期刊》的翻译版，荷兰的Kluwer学术出版社提供其在线服务。http://forum.swarthmore.edu/epigone/alt.math.undergradMsthForum上的大学生和研究生数学论坛,提供档案文件、论题等

2、信息。http://theory.lcs.mit.edu/~dmjones/hbp/apal/《纯逻辑与应用逻辑学年鉴》，麻省理工大学计算理论小组主页提供其过刊的浏览，荷兰的Elservier出版社提供其电子刊的在线服务。http://link.springer.de/link/service/journals/00153/index.htm《数学逻辑档案》，属于德国Springer出版公司在线电子期刊的一种。http://www.homestead.com/nilog/f..._paradoxes_of_l.htm亚

3、里士多德及其逻辑理论研究。http://www.cs.bham.ac.uk/~exr/blc/不列颠逻辑研讨会的主页，包括数学逻辑的相关研究，如相关网站及电子期刊。http://www.amazon.com/exec/obido...002-3600008-7001844浏览亚马逊网上专业和技术店中的数学畅销书，提供应用范畴，混沌与系统化；几何与拓扑；数学分析；数学物理学；数字规律；纯数学；数学变换等领域，包括数理逻辑方面的畅销书的在线预览。http://www.math.ucla.edu/~asl/加利福尼亚大学洛杉

4、矶分校数理逻辑协会的《数理逻辑通讯》。http://www.torget.se/users/m/mauritz/math/瑞典的逻辑、数学和推理主页，提供抽象代数学、数字、矢量代数分析学，矢量场分析，逻辑形式系统等的定义和描述。http://www.math.toronto.edu/mathnet/falseProofs/fallacies.html多伦多大学数学网主页，提供数学的各种论题。http://www.cs.nmsu.edu/~complog/美国逻辑规划组织http://www.nd.edu/~cholak

5、/computability/computability.html可计算性理论主页，提供数理逻辑协会主页的链接，主要内容包括可计算性理论领域的各类活跃人员及其研究领域等。http://www.cs.brown.edu/courses/cs022/布郎大学的离散数学主页，重点介绍离散数学：证据、逻辑、归纳、处理机的密码和网络系统：课程、家庭作业、资料http://www.kingsu.ab.ca/~glen/cshpm/home.htm加拿大社会关于数学的哲学和历史http://theory.lcs.mit.edu/~d

6、mjones/hbp/jlogc/《逻辑与计算杂志》，麻省理工大学计算理论小组主页提供其过刊的浏览。http://www.worldscientific.com/journals/jml/jml.html世界科学公司的数学逻辑期刊。http://archives.math.utk.edu/topics/logic.html数学主题田纳西州立大学数学系数学档案主页的数学主题：逻辑学与集合论，包括各种相关的网上资源。http://www.cs.technion.ac.il/~admlogic/以色列逻辑主页，包括以色列多所

7、大学的逻辑研究资源，也包括数学领域的逻辑研究。http://www.uni-bonn.de/logic/world.html德国的世界数学逻辑主页，由波恩大学数学逻辑小组和维也纳大学逻辑研究所提供服务。http://www.wiley-vch.de/berlin/journals/mlq/index.html德国的数学逻辑季刊，包括期刊目次、作者信息、编辑公告等内容。http://www.math.niu.edu/~rusin/known-math/index/03-XX.html北伊利诺伊大学数学科学系的数学逻辑及基

8、金主页，提供相关的会议、参考资源、软件等信息。http://www.ed.ac.uk/~pmilne/ml/home.html现代逻辑》，关于数学逻辑的历史、集合论和数学基础的国际期刊，提供在线的目次、文摘和作者索引等内容。http://www.uni.torun.pl/StudiaLogica/《逻辑研究》，波兰科学院哲学与社会