数学类网站推荐-数理逻辑、数学基础类

仙仙

数学类网站推荐-数理逻辑、数学基础类
提问者：zhaolan
------
zhaolan回答:
http://www.disi.unige.it/aila/eindex.html
意大利逻辑及其应用协会的主页，包括意大利数理逻辑领域的相关内容。
http://www.plenum.com/title.cgi?2110
《代数与逻辑》，《西伯利亚代数与逻辑期刊》的翻译版，荷兰的Kluwer学术出版社提供其在线服务。
http://forum.swarthmore.edu/epigone/alt.math.undergrad
Msth Forum上的大学生和研究生数学论坛,提供档案文件、论题等信息。
http://theory.lcs.mit.edu/~dmjones/hbp/apal/
《纯逻辑与应用逻辑学年鉴》，麻省理工大学计算理论小组主页提供其过刊的浏览，荷兰的Elservier出版社提供其电子刊的在线服务。
http://link.springer.de/link/service/journals/00153/index.htm
《数学逻辑档案》，属于德国Springer出版公司在线电子期刊的一种。  
http://www.cs.bham.ac.uk/~exr/blc/
不列颠逻辑研讨会的主页，包括数学逻辑的相关研究，如相关网站及电子期刊。   
http://www.math.ucla.edu/~asl/
加利福尼亚大学洛杉矶分校数理逻辑协会的《数理逻辑通讯》。  
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/computability/computability.html
可计算性理论主页，提供数理逻辑协会主页的链接，主要内容包括可计算性理论领域的各类活跃人员及其研究领域等。
http://www.cs.brown.edu/courses/cs022/
布郎大学的离散数学主页，重点介绍离散数学：证据、逻辑、归纳、处理机的密码和网络系统：课程、家庭作业、资料
http://www.kingsu.ab.ca/~glen/cshpm/home.htm
加拿大社会关于数学的哲学和历史
回答时间:2012-04-11 08:47:02
关键词: 东北农业大学