马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?我要加入
x
数理逻辑、数学基础:<a href="http://www.disi.unige.it/aila/eindex.html" target="_blank" ><FONT color=#000000>http://www.disi.unige.it/aila/eindex.html</FONT></A><br>意大利逻辑及其应用协会的主页,包括意大利数理逻辑领域的相关内容。<br><br><a href="http://www.plenum.com/title.cgi?2110" target="_blank" ><FONT color=#000000>http://www.plenum.com/title.cgi?2110</FONT></A><br>《代数与逻辑》,《西伯利亚代数与逻辑期刊》的翻译版,荷兰的Kluwer学术出版社提供其在线服务。<br><br><a href="http://forum.swarthmore.edu/epigone/alt.math.undergrad" target="_blank" ><FONT color=#000000>http://forum.swarthmore.edu/epigone/alt.math.undergrad</FONT></A><br>Msth Forum上的大学生和研究生数学论坛,提供档案文件、论题等信息。<br><br><a href="http://theory.lcs.mit.edu/~dmjones/hbp/apal/" target="_blank" ><FONT color=#000000>http://theory.lcs.mit.edu/~dmjones/hbp/apal/</FONT></A><br>《纯逻辑与应用逻辑学年鉴》,麻省理工大学计算理论小组主页提供其过刊的浏览,荷兰的Elservier出版社提供其电子刊的在线服务。<br><br><a href="http://link.springer.de/link/service/journals/00153/index.htm" target="_blank" ><FONT color=#000000>http://link.springer.de/link/service/journ...00153/index.htm</FONT></A><br>《数学逻辑档案》,属于德国Springer出版公司在线电子期刊的一种。<br><br><a href="http://www.homestead.com/nilog/files/aristotle_and_the_paradoxes_of_l.htm" target="_blank" ><FONT color=#000000>http://www.homestead.com/nilog/files/arist...adoxes_of_l.htm</FONT></A><br>亚里士多德及其逻辑理论研究。 <br><br><a href="http://www.cs.bham.ac.uk/~exr/blc/" target="_blank" ><FONT color=#000000>http://www.cs.bham.ac.uk/~exr/blc/</FONT></A><br>不列颠逻辑研讨会的主页,包括数学逻辑的相关研究,如相关网站及电子期刊。<br><br><a href="http://www.amazon.com/exec/obidos/tg/browse-books/-/227361/002-3600008-7001844" target="_blank" ><FONT color=#000000>http://www.amazon.com/exec/obidos/tg/brows...3600008-7001844</FONT></A><br>浏览亚马逊网上专业和技术店中的数学畅销书,提供应用范畴,混沌与系统化;几何与拓扑;数学分析; 数学物理学;数字规律;纯数学;数学变换等领域,包括数理逻辑方面的畅销书的在线预览。 <br><br><a href="http://www.math.ucla.edu/~asl/" target="_blank" ><FONT color=#000000>http://www.math.ucla.edu/~asl/</FONT></A><br>加利福尼亚大学洛杉矶分校数理逻辑协会的《数理逻辑通讯》。<br><br><a href="http://www.torget.se/users/m/mauritz/math/" target="_blank" ><FONT color=#000000>http://www.torget.se/users/m/mauritz/math/</FONT></A><br>瑞典的逻辑、数学和推理主页,提供抽象代数学、数字、矢量代数分析学,矢量场分析,逻辑形式系统等的定义和描述。 <br><br><a href="http://www.math.toronto.edu/mathnet/falseProofs/fallacies.html" target="_blank" ><FONT color=#000000>http://www.math.toronto.edu/mathnet/falseP.../fallacies.html</FONT></A><br>多伦多大学数学网主页,提供数学的各种论题。<br><br><a href="http://www.cs.nmsu.edu/~complog/" target="_blank" ><FONT color=#000000>http://www.cs.nmsu.edu/~complog/</FONT></A><br>美国逻辑规划组织<br><br><a href="http://www.nd.edu/~cholak/computability/computability.html" target="_blank" ><FONT color=#000000>http://www.nd.edu/~cholak/computability/co...putability.html</FONT></A><br>可计算性理论主页,提供数理逻辑协会主页的链接,主要内容包括可计算性理论领域的各类活跃人员及其研究领域等。<br><br><a href="http://www.cs.brown.edu/courses/cs022/" target="_blank" ><FONT color=#000000>http://www.cs.brown.edu/courses/cs022/</FONT></A><br>布郎大学的离散数学主页,重点介绍离散数学:证据、逻辑、归纳、处理机的密码和网络系统:课程、家庭作业、资料<br><br><a href="http://www.kingsu.ab.ca/~glen/cshpm/home.htm" target="_blank" ><FONT color=#000000>http://www.kingsu.ab.ca/~glen/cshpm/home.htm</FONT></A><br>加拿大社会关于数学的哲学和历史 <br><br><a href="http://theory.lcs.mit.edu/~dmjones/hbp/jlogc/" target="_blank" ><FONT color=#000000>http://theory.lcs.mit.edu/~dmjones/hbp/jlogc/</FONT></A><br>《逻辑与计算杂志》,麻省理工大学计算理论小组主页提供其过刊的浏览。<br><br><a href="http://www.worldscientific.com/journals/jml/jml.html" target="_blank" ><FONT color=#000000>http://www.worldscientific.com/journals/jml/jml.html</FONT></A><br>世界科学公司的数学逻辑期刊。<br><br><a href="http://archives.math.utk.edu/topics/logic.html" target="_blank" ><FONT color=#000000>http://archives.math.utk.edu/topics/logic.html</FONT></A><br>数学主题 <br>田纳西州立大学数学系数学档案主页的数学主题:逻辑学与集合论,包括各种相关的网上资源。<br><br><a href="http://www.cs.technion.ac.il/~admlogic/" target="_blank" ><FONT color=#000000>http://www.cs.technion.ac.il/~admlogic/</FONT></A><br>以色列逻辑主页,包括以色列多所大学的逻辑研究资源,也包括数学领域的逻辑研究。<br><br><a href="http://www.uni-bonn.de/logic/world.html" target="_blank" ><FONT color=#000000>http://www.uni-bonn.de/logic/world.html</FONT></A><br>德国的世界数学逻辑主页,由波恩大学数学逻辑小组和维也纳大学逻辑研究所提供服务。<br><br><a href="http://www.wiley-vch.de/berlin/journals/mlq/index.html" target="_blank" ><FONT color=#000000>http://www.wiley-vch.de/berlin/journals/mlq/index.html</FONT></A><br>德国的数学逻辑季刊,包括期刊目次、作者信息、编辑公告等内容。<br><br><a href="http://www.math.niu.edu/~rusin/known-math/index/03-XX.html" target="_blank" ><FONT color=#000000>http://www.math.niu.edu/~rusin/known-math/...ndex/03-XX.html</FONT></A><br>北伊利诺伊大学数学科学系的数学逻辑及基金主页,提供相关的会议、参考资源、软件等信息。<br><br><a href="http://www.ed.ac.uk/~pmilne/ml/home.html" target="_blank" ><FONT color=#000000>http://www.ed.ac.uk/~pmilne/ml/home.html</FONT></A><br>现代逻辑》,关于数学逻辑的历史、集合论和数学基础的国际期刊,提供在线的目次、文摘和作者索引等内容。<br><br><a href="http://www.uni.torun.pl/StudiaLogica/" target="_blank" ><FONT color=#000000>http://www.uni.torun.pl/StudiaLogica/</FONT></A><br>《逻辑研究》,波兰科学院哲学与社会学研究所的国际数理逻辑期刊。<br><br><br><br>计算数学,数值分析 <br><br><a href="http://forum.swarthmore.edu/epigone/alt.math.undergrad" target="_blank" ><FONT color=#000000>http://forum.swarthmore.edu/epigone/alt.math.undergrad</FONT></A><br>数学论坛。一个关于大学本科数学问题和难题的论坛。数学论坛包括了读者可以发表文章参与讨论的文档,以及可以查看或检索文档化的信息。<br><a href="http://www.maa.org/pubs/monthly.html" target="_blank" ><FONT color=#000000>http://www.maa.org/pubs/monthly.html</FONT></A> <br>美国数学月刊(MMA联机版)——美国数学协会(MAA)Roger A.Horn,编辑。 <br>本月刊刊登数学方面的论文,评论以及其它相关的文章。<br><a href="http://www.math.arizona.edu/software/uasft.html" target="_blank" ><FONT color=#000000>http://www.math.arizona.edu/software/uasft.html</FONT></A> <br>Arizona数学软件。超过60个教育程序的集合,可被教师和学生在课堂上、实验室和家庭环境中使用。<br><a href="http://cdeagle.cnchost.com/" target="_blank" ><FONT color=#000000>http://cdeagle.cnchost.com/</FONT></A><br>BNALib,一个运行于个人pc上的数值分析软件库。 <br>以源代码形式提供的BNALib软件包,是一个子例程,函数和演示程序组成的工具箱,它可进行数值分析计算。<br><a href="http://www.math.psu.edu/ccma/" target="_blank" ><FONT color=#000000>http://www.math.psu.edu/ccma/</FONT></A> <br>计算数学和应用中心------Penn州立大学数学系。 Penn州数值分析和应用数学的教学与科研工作中心之一。应用与计算数学研究班课程系列,PDEs与数值方法研究班课程系列,教职人员与研究生的情况等。<br><a href="http://www.math.gatech.edu/cdsns/" target="_blank" ><FONT color=#000000>http://www.math.gatech.edu/cdsns/</FONT></A> <br>动力系统和非线性研究中心———Georgia Tech数学学院。 始建于1988年9月,以加强数学学院已经开展了的研究活动,研究重点包括动力系统,微分方程,非线性分析和应用。<br><a href="http://www.maplesoft.com/CyberMath/" target="_blank" ><FONT color=#000000>http://www.maplesoft.com/CyberMath/</FONT></A> <br>Waterloo Maple公司。你可以订购本软件来管理,共享和出版因特网上的数学资源。本软件可以提供交互式的媒体来探索和交换关于数学的思想,并且包括了高中,大学本科以及研究生层次的各种数学主题。<br><a href="http://home.miningco.com/education/" target="_blank" ><FONT color=#000000>http://home.miningco.com/education/</FONT></A><br>教育:数学----Mining公司。网络站点资源列表。<br><a href="http://nyjm.albany.edu:8000/mathjours.html" target="_blank" ><FONT color=#000000>http://nyjm.albany.edu:8000/mathjours.html</FONT></A><br>数学科学电子期刊----Albany大学数学系。链接到数学学科的电子期刊,以及那些同时出版电子本和印刷本的期刊。<br><a href="http://etna.mcs.kent.edu/cgi-bin/getfiles.pl" target="_blank" ><FONT color=#000000>http://etna.mcs.kent.edu/cgi-bin/getfiles.pl</FONT></A> <br>数值分析学报电子版索引----Kent州立大学。 可供检索ENTA刊登的全部文章的索引。为检索论文,可向Glimpse检索引擎输入检索词。<br><a href="http://etna.mcs.kent.edu/" target="_blank" ><FONT color=#000000>http://etna.mcs.kent.edu/</FONT></A> <br>数值分析学报电子版(ETNA)----Kent州立大学,Reichel,Varga,Eds.。 <br>报道数值分析与科学计算领域最新动态和重大进展的电子期刊。<br><a href="http://www.elsevier.nl/" target="_blank" ><FONT color=#000000>http://www.elsevier.nl/</FONT></A><br>Elsevier 科学。作为面向全世界的信息提供商,Elsevier的目标是在一个适当利润的基础上,通过实现国际学术界的交流需要,来促进科学,技术以及医学的发展。<br><a href="http://mathworld.wolfram.com/" target="_blank" ><FONT color=#000000>http://mathworld.wolfram.com/</FONT></A><br>Eric Weissteind的数学世界----Eric W.Weisstein与Wolfram研究公司。 <br>一个按字顺排列可检索全文的综合性数学百科全书,包括数学术语,方程和导数等,并附有注解,例子与参考文献等。<br><a href="http://www.ingenieur.de/ernst/SOFTWARE.htm" target="_blank" ><FONT color=#000000>http://www.ingenieur.de/ernst/SOFTWARE.htm</FONT></A><br>FEM-Strukturanalysen:有限元软件----von Ernst &Partner。 一个广泛的指向FEM软件资源的链接列表,分为如下目录:产品与生产者,免费软件与共享软件,其他软件列表与链接集合,图书,有限元论文等。<br><a href="http://www.math.psu.edu/dna/fecircus.html" target="_blank" ><FONT color=#000000>http://www.math.psu.edu/dna/fecircus.html</FONT></A><br>有限元论坛----Penn州州立大学数学系,Douglas <br>N. Arnold。一个有限元方法理论与应用的定期会议,还包括数值分析与偏微分方程等相关领域。<br><a href="http://www-users.informatik.rwth-aachen.de/~roberts/meshgeneration.html" target="_blank" ><FONT color=#000000>http://www-users.informatik.rwth-aachen.de...generation.html</FONT></A><br>有限元网状生成——Robert Schneiders。 Mesh generation是一个数值分析学科内的跨学科的领域,它包括数学家,计算机科学家以及来自诸多领域的工程师。本主页致力于促进理论与应用之间的关系。<br><a href="http://www.cs.utah.edu/~zachary/isp/applets/FP/FP.html" target="_blank" ><FONT color=#000000>http://www.cs.utah.edu/~zachary/isp/applets/FP/FP.html</FONT></A><br>浮点数指南。 <br>可帮助你理解尾数值和指数域的意义,以及下溢,上溢和舍入错误的含义。包括一个在单独的窗口中的Java <br>程序。<br><a href="http://www-sccm.stanford.edu/FoCM/" target="_blank" ><FONT color=#000000>http://www-sccm.stanford.edu/FoCM/</FONT></A><br>计算数学基础。 FoCM的主要目标在于促进数学分析,拓扑,集合与计算过程之间深层关系的理解,它们随着现代计算机的发展而得到发展。<br><a href="http://mrb.niddk.nih.gov//sherman/gallery/" target="_blank" ><FONT color=#000000>http://mrb.niddk.nih.gov//sherman/gallery/</FONT></A><br>数学建模导引。已经出版的模型的标准版。 <br><a href="http://www.e-notebooks.com/products/global/" target="_blank" ><FONT color=#000000>http://www.e-notebooks.com/products/global/</FONT></A><br>全局优化。 <br>一个数学软件包,可提供一组解决非线性优化问题的工具,还有许多别的应用,如查找根或非解析函数的零。<br><a href="http://www.elsevier.nl/homepage/saj/501439/Menu.shtml" target="_blank" ><FONT color=#000000>http://www.elsevier.nl/homepage/saj/501439/Menu.shtml</FONT></A><br>数值分析手册。 <br>数值分析手册的背景信息,包括内容列表,图书评论,总序和数值分析时事通讯手册。<br><a href="http://www.natinst.com/hiq" target="_blank" ><FONT color=#000000>http://www.natinst.com/hiq</FONT></A><br>HIQ 分析,可视化和报告生成---一个交互式的问题解决环境,可用来对现实世界的科学和工程问题进行分析、可视化、编写文档。<br><a href="http://archives.math.utk.edu/images.html" target="_blank" ><FONT color=#000000>http://archives.math.utk.edu/images.html</FONT></A><br>图象和数学(数学文档)。 <br>基于或相关于数学原理的图象的集合,许多纯数学抽象。<br><a href="http://www.icase.edu/" target="_blank" ><FONT color=#000000>http://www.icase.edu/</FONT></A><br>
[此贴子已经被多情清秋于2006-4-5 8:14:39编辑过]
|