自然科学:数学:数学逻辑与数学基础

来源 :中国学术期刊文摘 | 被引量 : 0次 | 上传用户:lm198505050056
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
修正的Kleene系统中的子代数的广义矛盾式;椭圆问题在三角网格剖分下的扩展混合体积元方法.
其他文献
彩旗飘扬,鲜花绚烂,我们迎来了党的81周年华诞在这全党欢庆、全国欢呼的美好时刻,我们要全面贯彻“三个代表”重要思想,再创福建现代化建设新业绩,向党的十六大献礼,向更宏伟的目标
根据史料记载,公元764年,唐代“茶神”陆羽搭舟沿舜江(现名曹娥江)经东山上剡溪考察,在他撰写的世界上第一部茶叶科学名著《茶经》中,就提到包括舜江二岸的越州茶,并明确指出,浙江会
一元伊始,万象更新。告别了新世纪的第一年,我们又迎来了党和国家历史上具有重大意义的新一年。
一、一般情况近来采用干扰素抗乙型肝炎病毒的研究进展较快。单从几次国际会议的论文来看,已将基础研究与临床科研结合起来,并将干扰素的临床科研提到一个较重要的地位。会
带式输送机是煤矿井下和地面生产系统中应用最多的一种连续运输设备,它具有运输能力大,运输距离长,安全可靠等优点。隔爆变频器,通过改变频率和电压来控制交流电动机转速,对胶带运
雁荡山下,龙湫水旁,有一只中国名茶叫雁荡毛峰。一、雁荡毛峰有着独特的自然环境雁荡山位于浙江省乐清市境内,部分人永嘉县及温岭市,距温州68公里。雁荡山名声骤增始于南北朝,兴于
支持向量机以其模型结构简单、较好的推广能力和全局最优解等特点已经被用来进行智能控制的研究,主要包括采用支持向量机回归的非线性时间序列的建模与预测、系统辨识等建模方
儒、道两家,是产生于春秋战国时代的学术思想,儒家因倡导“齐家、治国、平天下”,而富有积极的入世精神;道家因崇尚“清静”“无为”而富有辩证思维,却采取避世态度。对两家人生观
从锅炉运行管理和节能技术着手,对首都航天机械公司燃煤采暖系统进行分析,找出能源利用效率方面存在的问题,提出改进建议,做好节能减排。