辽宁师范大学学报（自然科学版）

《辽宁师范大学学报》(自然科学版)由辽宁省教育厅主管，辽宁师范大学主办，辽宁师范大学学报编辑部编辑、出版、发行的多学科、综合性学未刊物，现设有数学、物理学、化学、地理学、生物学、体育学、计算机科学、图书情报学、自然辩证法等的理论研究、实验研究、应用研究和理科教育研究等栏目．为保证办刊质量，     

中科院李福安教授、浙江大学李慧陵教授来我校讲学

2007年5月22日-26日，应我校教学与计算机科学学院和科技处的邀请，中科院博士生导师李福安教授、浙江大学数学系博士生导师李慧陵教授来我校讲学。[第一段]     

模型论逻辑与理论计算机科学

近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视．作为语义方法的逻辑基础，（一阶）模型论是研究（一阶）逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支；而模型论逻辑（又称广义模型论）则是在抽象逻辑的框架中，用模型论的方法研究各种扩充逻辑系统的异、同及相互关系．本文从抽象逻辑的观点出发．介绍模型论中与计算机科学（ＣＳ）密切相关的若干概念及其应用．特别是广义的有限模型论，它在ＣＳ的刺激下于８０年代形成并急速发展起来，已在数据库、计算复杂性以及形式语言与自动机等理论中取得突出成果或重大的应用．     

英国计算机辅助教学的发展现状——赴英国考察报告

伴随着计算机科学研究和技术的迅猛发展，它正在惊人的速度渗透到各国的教育领域中，带领或推进着教育体系、内容和方法的重大改革，CAI就是其中的一个重要方面，我作为国家教育代表团成员之一，于97年10月26日～11月9日在英国就中英CAI的合作交流研究项目进行了考察，对英国计算机辅助教学的发展现状有一些了解，本文着重阐述英国在该领域的特点和中英的合作前景。     

本刊征稿简则

《福建师范大学学报(自然科学版)》为面向国内外公开发行的综合性自然科学学术理论刊物,主要刊登高校理科教师、科研人员、研究生的学术论文.设有数学、计算机科学、物理学、化学、生命科学、地理科学、环境科学、运动学等栏目,并不定期开设教学研究、综述评论、研究简报、简讯等专栏.欢迎校内外教师及科研人员投稿.     

《郑州大学学报（理学版）》征稿简则

《郑州大学学报（理学版）》（原刊名《郑州大学学报（自然科学版）》）是郑州大学主办的自然科学综合性学术刊物（季刊,国内外公开发行）,中文核心期刊,主要刊登数学、物理学、化学、信息科学、生物工程科学、计算机科学、环境科学、材料科学、土木工程科学等自然科学的基础研究及应用研究方面的学术论文．欢迎校内外科研工作者赐稿!     

《长春工业大学学报（自然科学版）》征稿简则

《长春工业大学学报（自然科学版）》系国内外公开发行的学术性刊物,由吉林省教育厅主管,长春工业大学主办,本刊主要发表机电工程、材料科学、计算机科学、电气与电子、工商管理、化学工程、生物工程、艺术设计以及相关基础学科（数、理、化、力学）等的最新成果,特别要求所发论文具有创新性、学术性、科学性和简洁性。本刊坚持为科研、教学服务的宗旨,投稿对象主要为本校师生;同时,本刊采取开放式办刊方针,择优刊发其它高校和科研单位相关学科的学术论文,尤其欢迎校友投稿。     

《长春工业大学学报（自然科学版）》征稿简则

《长春工业大学学报（自然科学版）》系国内外公开发行的学术性刊物,由吉林省教育厅主管,长春工业大学主办,本刊主要发表机电工程、材料科学、计算机科学、电气与电子、工商管理、化学工程、生物工程、艺术设计以及相关基础学科（数、理、化、力学）等的最新成果,特别要求所发论文具有创新性、学术性、科学性和简洁性。本刊坚持为科研、教学服务的宗旨,投稿对象主要为本校师牛;同时,本刊采取开放式办刊方针,择优刊发其它高校和科研单位相关学科的学术论文。尤其欢迎校友投稿。     

兰州大学博士生导师罗彦锋教授应山西师范大学数学与计算机科学学院邀请来我校讲学

2012年5月23日,兰州大学博士生导师罗彦锋教授应山西师范大学数学与计算机科学学院邀请在科学会堂A710作了精彩的学术报告.在题为《多项式的费马大定理》的报告中,罗彦锋教授首先回顾了费马大定理的历史,然后介绍了多项式的费马大定理的一个初等证明。     

贵州大学学报(自然科学版)征稿简则

<正>1《贵州大学学报(自然科学版)》是由贵州大学主办的综合性学术理论刊物,主要刊载数学、物理、化学、生物、地理、天文、电子学、计算机科学技术、建筑科学、采矿、治金、机械、电力、化工、轻工等学科的研究成果,