共查询到20条相似文献,搜索用时 359 毫秒
1.
《华中工学院学报》编辑部 《华中科技大学学报(自然科学版)》1979,(1)
数理逻辑是研究推理、计算的一门数学。它在数学、计算机科学、逻辑学等各个领域中都有着重要的应用。当前,关心数理逻辑的人越来越多,迫切要求开展学术交流和学术讨论,以促进数理逻辑的发展,为此,本刊从一九七九年第一期起开辟“数理逻辑及其应用”专栏,陆续刊登有关这方面的文章,请读者订阅,并欢迎向本刊投稿。致读者@《华中工学院学报》编辑部~~ 相似文献
2.
李建 《上饶师范学院学报》1983,(3)
中国作家协会江西分会会员、《赣东北报》编委程关森同志,应我校教务处和中文科的邀请,于六月十一日下午来我校主讲了“我与《深山短笛》”文学讲座。《深山短笛》是五十年代就从事散文创作、发表过十多万字作品的程关森同志,被迫搁笔一、二十年,重返文坛后的散文力作,自一九八一年初起,在《南昌晚报》连载(另一 相似文献
3.
李立鹏 《华中科技大学学报(自然科学版)》1983,(3)
鉴于国内外数理逻辑科学的迅速发展,为适应我国四化建设的需要,华中工学院出版社已出版莫绍揆教授著的《数理逻辑教程》一书.全书约245千字,定价1.40元.本书非常注意理论与实践相结合的原则,对数理逻辑各重要概念的来龙去脉以及数理逻辑各家学说介绍得特别详细而有系统,为同类书籍所少有.本书提出了一些理论方面的创见与新说法,例如,约束词新说法可使读者对数理逻辑最重要的基本概念有清晰而深刻的理解;又如,永真假性的特征数的概念是这方面的总结性理论.这些都是过去书中所没有的. 相似文献
4.
5.
《重庆师范大学学报(自然科学版)》2007,24(1):14
2006年岁末,我校学科建设取得喜人成绩。在重庆市教委组织的重庆市“十一五”重点学科申报中,我校《课程与教学论》、《中国现当代文学》、《专门史》、《运筹学与控制论》、《动物学》等5个学科成功申报为市级重点学科;《特殊教育学》、《人文地理学》、《旅游管理》等3个学科成功申报为立项建设重点学科。这是我校长期以来致力于搭建学术研究和人才培养平台,大力开展学科建设的结果。 相似文献
6.
7.
8.
本刊编辑部 《河北科技大学学报》2000,(2)
自1999年我校《河北科技大学学报》和《河北工业科技》两科技期刊通过美国《化学文摘》服务社的评估,被接收为收录刊源以来,从1998年9月到1999年底,我校学报编辑部共向美国《化学文摘》服务社寄送样刊12期(其中《河北科技大学学报》6期;《河北工业科技》6期),在所寄送的12期样刊中,应我校两科技期刊主编及学报编辑部的要求,最近美国《化学文摘》服务社给我校学报编辑部回函,我校两科技期刊所刊载论文中,已被美国《化学文摘》收录43篇,其中《河北科技大学学报》被收录26篇,《河北工业科技》被收录17篇… 相似文献
9.
《中央民族学院学报》2006,33(3):93-93
2005年我校申报19个国家自然科学基金面上项目,经国家自然科学基金评审委员会组织专家评审、国家自然科学基金评审委员会审批,我校生命与环境科学学院共有3个面上项目通过审批立项,它们分别是冯金朝的《沙地植被群落动态变化机制及其数量分析》、金军的《我国环境及生物体中溴代阻燃剂水平及其分布控制因素的研究》和盂秀祥的《马麝繁殖和麝香分泌的行为及其与性激素水平关系的研究》。我校本次共计获得国家自然科学基金项目资助研究经费72万元,获项目数和经费均取得历史最好成绩。 相似文献
10.
《中央民族大学学报(自然科学版)》2005,14(4):314-314
2005年我校申报19个国家自然科学基金面上项目,经国家自然科学基金评审委员会组织专家评审、国家自然科学基金评审委员会审批,我校生命与环境科学学院共有3个面上项目通过审批立项,它们分别是冯金朝:《沙地植被群落动态变化机制及其数量分析》、金军:《我国环境及生物体中溴代阻燃剂水平及其分布控制因素的研究》和孟秀祥: 相似文献
11.
《曲靖师范学院学报》2008,27(5)
根据《云南省教育厅关于公布2008年度云南省精品课程名单的通知》,我校孙成科教授申报的《结构化学》和巴春生教授申报的《政治经济学》两门课程被评为2008年度云南省精品课程。至此,我校省级精品课程已达到5门,居全省同类院校前列,我校课程建设又上了一个新台阶。 相似文献
12.
13.
王班英 《中山大学学报(自然科学版)》1996,(3)
《数学生态学导论》一书出版我校生物学系余世孝教授根据多年的教学与科研成果而编著的《数学生态学导论》一书,已于1995年8月由科学技术文献出版社出版.全书27万字,内容丰富,并具有新颖、全面、系统等特点.该书填补了我国在此领域教材的空白.数学生态学是当... 相似文献
14.
数理逻辑中的命题符号化的几个值得注意的问题 总被引:2,自引:0,他引:2
在数理逻辑中,要确保推理的正确性,首先就得保证命题符号化的准确性,本文对数理逻辑中的命题符号的准确性问题提出了值得注意的几点看法,以期在帮助学生掌握数理逻辑中的命题符号化即翻译方法的同时,又能对学生进行逻辑思维能力和抽象概括能力的训练。 相似文献
15.
《山西师范大学学报:自然科学版》2009,23(1):11-11
《全国专业标准化技术委员会》及《全国铅酸蓄电池标准化技术委员会》第五届三次会议暨标准化技术委员委会年会近期在浙江舟山召开。在此次会议上,我校受标准化委员会委托与沈阳蓄电池研究所(国家)共同制定高纯腐植酸、木素磺酸钠、超细硫酸钡三种工业产品全国行业标准(我校负责标准的前期调研和编写草案工作),这是我校首次参与制定国家工业产品行业标准,也为我校应用技术研发领域和生产实践相结合迈出了坚实的一步。 相似文献
16.
《北京交通大学学报(自然科学版)》1994,(2)
三个无线电管理的国家标准审查会在我校召开1993年12月20日至22日,国家无线电管理委员会办公室在我校主持召开了《城市无线电噪声测量方法》、《陆地移动通信设备电磁兼容技术要求和测量方法》以及《发射频率的测量方法》三个无线电管理的国家标准的审查会,到... 相似文献
17.
黄德裕 《东北师大学报(自然科学版)》1988,(3)
控制论是第二次世界大战后出现的一门薪学科。它是由美国数学家诺伯·维纳(N.Wiener,1964—1964)提出的关于动物和机器中控制和通讯的科学。它是自动控制、电子技术、无线电通讯、神经生物学、数理逻辑、统计力学等多种学科和技术相互渗透的产物。它产生于本世纪四十年代,早在1943年维纳等人在发表《行为、目的和目的论》一文时就第一次把属于生物的有目的行为赋予机器,阐明了控制论的基本思想。 相似文献
18.
谢照明教授为《叶公沈诸梁论考》作序1995年1月中州古籍出版社出版了我市著名中国古代史和平顶山历史文化研究者杨晓宇、潘民中、叶健民合编的《叶公沈诸梁论考》一书,值得庆贺.更值得庆贺的是,此书作者特邀我校历史学教授谢照明作序,这在我校科研史上尚属首例。... 相似文献
19.
陈洁 《西安理工大学学报》1997,13(1):91-94
《西安理工大学学报》(以下简称《学报》)为综合性自然科学学术期刊。本文针对我校《学报)1989~1995年间的301篇论文的文后参考文献的引用情况,分别从引文数量、类型、文种、年代等几个方面进行分析,并得出相应的结论;同时结合分析指出了参考文献的重要作用及引用文献中所存在的问题,使科技工作者在撰写科技论文时引起注意和重视。1引文统计与分析1·1引文量在301篇论文中,有297篇附有引文,占98.7%,比我国科技期刊的平均值88%、国外科技期刊的平均值90%[1]要高。这表明作者对文献的著录还是比较重视。在297篇论文中共引用… 相似文献
20.
分析了“光肥影瘦”的提出起因和理论基础.认为“光肥影瘦”理论针对《乾坤体义》中的数理逻辑矛盾,是在蒙气差理论,特别是在《崇祯历书》“蒙气径差”理论的基础上,结合传统自然哲学而构建的;《历象考成》中的“光分修正”并非源自方以智的“光肥影瘦”理论. 相似文献