1、1信息检索与利用课程考核与实习报告(理工类)说明：1.“课程考核与实习报告”为本课程考核形式，最迟请于课程结束后一周内完成。2.提交形式：纸质文本以 A4 纸打印交给班长，由班长按学号整序后交给任课老师。（第一、二部分要求第一次第 2 节课完成）第一部分 文献类型及学术规范 5 分1、根据以下一条文献题录，按以下步骤查找原文。4 分题录：关于提高高等数学教学质量的几点思考 【作者中文名】 秦应兵; 夏世芬; 卿铭; 【作者单位】 西南交通大学数学系; 【文献出处】 教育理论与实践 2007 年 1 期（1）指出上述文献是何种出版类型： 期刊 （2）可通过哪些字段途径来查找？ 可以通过篇名，作者
2、及期刊名来查找（3）可从我馆收藏的哪些数据库中获取该文献全文？ 可以从我馆的期刊文献数据库中获取全文 （4）查到该文献，列出其中文关键词： 高等数学，教学质量 2、什么是学术规范？在我们的学习工作中应遵守哪些基本的学术规范？1 分答：所谓学术规范，是指学术共同体内形成的进行学术活动的基本伦理道德规范。一是学术研究中的具体规则，二是高层次的规范。文献的合理使用规则，引证标注规则，立论阐述的逻辑规则等学术制度规范、学风规范等。第二部分 基础知识题 15 分一、 请指出以下文献的出版类型（5 分）（1）Diez, Fernando; Moriyon, Roberto. Solving mathema
3、tical exercises that involve symbolic computations. Computing in Science and Engineering, v 6, n 1, January/February, 2004, p 81-84（2）Fahrenthold, Eric PDiscrete Hamiltons equations for distributed property systems simulations.Proceedings of the American Control Conference, v 6, 2002, p 4960-4961（3）
4、Stereo active vision and peripheral optical flow: Computer vision applications of the wide-field human visual representation by Wagner, Robert Edward, PhD BOSTON UNIVERSITY, 2004, 142 pages（4）Shuman, Jim. .Multimedia concepts :illustrated introductory. Beijing :Higher Education Press,2003. 230 （5）AS
5、TM A401-87(1993)Standard Specification for Chromium- Silicon 2Alloy Steel Spring Wire.答：（1） 期刊 （2） 会议论文 （3） 学位论文 （4） 图书 （5）标准文献 一、 想要了解某一课题最新研究成果，可选择以下哪些类型文献资料，请说明理由。 （3 分）图书 期刊 会议论文 学位论文 专利 标准 科技报告。答：可以选择文献类型：期刊。理由：当一项研究有了一定成果时,首先以期刊论文的形式刊登出来，一方面可以让他人了解这项成果，另一方面也表示这项工作是作者首先完成的，知识产权属于作者。所以许多新事物大都是通过
6、期刊首先公诸于世的。三、 中图法的全称是什么？中图法分为几个基本大类？分类号是由什么组成的？你所学专业的相关图书应该分在哪个大类？（4 分）答：中图法的全称是中国图书馆图书分类法 ，可分为 22 个基本大类，分类号是由数字和字母组成的。本专业的相关图书应该分在 O1 数学。四.IPC 的中文全称是什么？它用于什么类型文献的分类？它的结构形式如何？（3 分）答：IPC 的中文全称是国际专利分类，它用于专利文献的分类，它的结构形式是：部、大类、小类、主组、分组。第三部分 实习报告 （共 80 分）（第三部分要求：第二次上机完成一至三大题；第三次上机完成四到七题）课题检索说明：1.实习时，围绕自己选
7、定的课题进行检索与报告。检索年限：近 5 年的相关文献。如检出结果为“0”，请调整策略，一般结果在 50 篇以内。2.本报告中的题录要求：一般按照参考文献著录格式。3.检索式包括检索词、逻辑组配符号等，如有其他检索限定请一一注明。一、选题（10 分）1检索课题名称中文：数理逻辑在生活中的应用英文：The Application of Mathematical Logic in Life32所涉及的学科领域（按中图法） ：数理逻辑3关键词或主题词（中文）： 数理逻辑、生活、应用（英文）：Mathematical Logic、Life、Application4检索式 中文： 数理逻辑*生活-应用英
8、文：Mathematical Logic And Life二、根据课题所属学科，检索中文图书和期刊数据库。(10 分)1从中文图书数据库中进行检索。数据库 方正 Apabi 数字图书馆 年限 2006-2011 检索字段 数理逻辑 其他限定条件 书名检索式 数理逻辑*生活-应用检出条数 15题录 1 篇,按标准著录格式。(例：傅璇琮，谢灼华中国藏书通史M宁波：宁波出版社，2001.）朱梧槚， 肖奚安，数理逻辑引论（O），大连：大连理工大学出版社，2008.2.从中文期刊全文数据库中进行检索。数据库 CNKI-期刊全文数据库 年限 2006-2011 检索字段 数理逻辑 其他限定条件 篇名检索式
9、 数理逻辑*生活-应用检出篇数 57题录（1 篇）按标准著录格式。(例：李晓东，张庆红，叶瑾琳.气候学研究的若干理论问题J.北京大学学报：自然科学版，1999，35(1)：101-106.） 孟令江，数理逻辑在物流技术上应用的教学技巧（O）中国市场：编辑部邮箱，2008，36-032三、根据课题所属学科，在本馆外文全文期刊数据库和二次文献数据库（EI、SCI、IEL）中各选择一个数据库进行检索。（10 分）数据库 1 SPRINGER LINK 电子期刊 4检索年限 2009-2011 检索字段 logica 其他限定条件 篇名检索式 logica检出篇数 32 题录（1 篇）（例：Morse
10、 SP. Factors in the emergence of infectious disease. Emerg Infect Dis，1995， 53(2): 117-210.）Johan Benthem. A New Modal Lindstrm TheoremJ Logica Universalis, 2009,11（2） :103-119 数据库 2 CALIS 西文期刊目次数据库检索年限 2009-2011 检索字段 logic 其他限定条件 _篇名检索式 logic检出篇数 37 题录（1 篇）Kraus S, Lehmann D, Magiodor M. Nonmonoton
11、ic reasoning, preferential models and cumulative logic .Artificial Intelligence, 2009,44, 44 :167207（第三部分要求：第三次上机完成四到七题）四、特种文献检索（25 分）1从本馆中、英文学位论文数据库中（中外文库各选一个）检索有关本课题的文献。数据库 1 CNKI-博硕学位论文数据库 年限 2010-2011 检索字段 逻辑 其他限定条件 无检索式 逻辑检出篇数 21 题录（1 篇）略论现代逻辑在当代高等教育中的地位和作用，安徽大学学报 , 2010 年 02 期 数据库 2 PQDD 学位论文（
12、全文） 5年限 2010-2011 检索字段 logic 其他限定条件 篇名 检索式 logic检出篇数 18题录（1 篇） THE COMMONSENSE PROBLEMCOMMONSENSE,AI, AND MATHEMATICAL LOGIC，PQDD:CDMD:2.2010.0985482请检索与本课题有关的中国国家标准、国际（ISO）标准或国外标准 1 个。数据库 1 中国国家标准咨询服务网 年限 2001-2011 检索字段 逻辑 其他限定条件 无检索式 逻辑检出篇数 14题录（1 篇）时明德; 素质教育视野下的逻辑教学 方法国家标准通过审定J; 中国逻辑学;2003 年 11 期
13、3、请利用中华人民共和国国家知识产权局 http:/ 查找有关本课题的专利。要求拷贝专利文献的书目数据（申请号、申请日、公开号、公开日、授权公告号、授权公告日、发明人、申请人、专利权人、专利题目、IPC 号有限权项等） ，尤其要注意其法律状态数据（专利的有效性、地域性，以及自该项专利授权之后所发生权利人等，它分为：专利有效性、专利地域性和权利人变更） 。名称：人工智能知识逻辑专家系统申请号：200610157917.8申请日：2006.12.22公开号：CN101118640公开日：2008.02.06授权公告号：CN101118640授权公告日：2008.02.06发明人：张湘安申请人：张湘
14、安专利权人：张湘安分类号：G06Q90/00(2006.01)I;G06Q10/00(2006.01)N;G06Q50/00(2006.01)N64、从万方数据资源系统中检索本课题已取得哪些科学技术成果？ 数据库 _万方数字化期刊_ 年限 2000-2011 检索字段 逻辑 其他限定条件 无检索式 逻辑检出篇数 9_题录（1 篇）：刘庆炬；普通逻辑学课程教学改革研究（M） ；清华大学出版社；2010 五、 本专业中外文重要学术期刊（10 分）1请查出你所学专业领域内的国内核心期刊，找出其中两种核心期刊编辑部的地点、电话、邮编、E-mail 地址（1）高校应用数学学报；浙江大学，中国工业与应用数
15、学学会；邮编：311261；电话：0571-82669659；Email ： （2）数学学报；中国科学院数学与系统科学院数学所； 邮政编码：100190；电话：86-10-62553063；Email：六、通过本课题的检索和解读文献，请回答下列问题（10 分）1、本课题主要研究内容答：数理逻辑知识在生活中的应用2、本课题研究的主要国家和主要机构（利用 SCI 分析功能，各做出前五名）答：美国，中国，法国，德国，英国美 国 布 朗 大 学 计 算 与 实 验 数 学 研 究 所中 国 科 学 院 数 学 研 究 所7法 国 国 家 科 学 研 究 中 心德 国 国 家 研 究 中 心英 国 牛 津 大 学 数 学 研 究 所3、与本课题相关的专利总数，三种专利的数量（用国家知识产权网专利数据库检索）专利总数 1789，发明专利 1498，实用新型专利 251，外观设计专利 40七、对本课程的意见、建议和收获（5 分）希望老师能多给我们上机的机会和时间
