《“数理逻辑”跨学科学程实施方案.docx》由会员分享，可在线阅读，更多相关《“数理逻辑”跨学科学程实施方案.docx（3页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、“数理逻辑”跨学科学程实施方案学程名称：数理逻辑主题简介：数理逻辑是当代哲学、数学、理论计算机科学的共同基础，根据数理逻 辑学科性质及其人才培养规律，为培养具有国际视野、有志于前沿学术研究的跨学科人 才，由哲学学院、数学科学学院与计算机科学技术学院联合推出“数理逻辑”跨学科学 程项目。“数理逻辑”学程的目的是为学生提供较为完整的数理逻辑修读方案，使其对数理 逻辑的基本内容、思想和方法有初步的了解，在一定程度上学会使用数理逻辑的工具, 并应用于数学、计算机和哲学等领域中。主要内容包括：由哲学、数学和与计算机三个 学院开设的学程课程；邀请本领域优秀学者担任指导，面向全国招生的数理逻辑暑期学 校；邀
2、请国际顶尖专家并围绕逻辑学普及、教学与前沿研究等主题开展的“逻辑周”活 动。1 .实施对象：本校一至四年级本科生；2 .获得证书的条件：1）在附录中所列的学程课程中，至少修读15个学分，课程门数不少于5门; 必修课程为：数理逻辑、集合论、可计算性理论，计10学分；2）至少参加一次数理逻辑暑期学校；3 .申请人在本科阶段若达到上述要求，可向学校申请“数理逻辑”本科学程证书。4 .备注：1）每年暑期举办为期两周的数理逻辑研讨班，邀请本领域较活跃的优秀学者 （国内为主）2-3名担任指导，以数理逻辑前沿研究为主题，采取上午授课、下午 习题课与讨论班等形式，以学生申请+学者推荐模式面向全国招收优秀学生参
3、与。 研讨班不设学分，根据考核成绩提供奖学金，鼓励参加本学程的学生，通过与高水 平同学的相互学习与竞争促进自我提升。2）每年秋季邀请国际顶尖学者来访，开展“逻辑周”活动，使学生有机会与 世界逻辑学的顶尖学者面对面交流。具体形式包括：一次有影响力的逻辑学讲座;结合学程课程教学安排与受邀专家背景，就数理逻辑某一专题开设面向学程学生的 微型课程（3-5讲）；一次小规模高水平的逻辑学研究与教学工作坊。5 .如需咨询本学程有关问题，请联系哲学学院郝兆宽教授：o附录：“数理逻辑”学程课程及替换方案课程代码课程名称学分/ 周学时所含实 验实践 学分开课 学期课程负责 教师授课教师 所在院系可替换课程及相应学
4、分（选修以下课程后可免修本表 第2列中相应的学程课程）备注PHIL130289数理逻辑4/40.5秋姚宁远哲学学院PHIL130175h数理逻辑 （4分，哲学学院荣誉课程）必修PHIL 130295集合论3/30秋郝兆宽哲学学院无PHIL 130279模型论导论2/20秋WilliamJohnson哲学学院无PHIL 130311数学分析原理4/40春郝兆宽哲学学院MATH 120017 数学分析 B II（5分，自然科学类基础课程）； MATH 120015数学分析AH（5分，自然科学类基础课程）； MATH 130091数学分析原理 （5分，数学科学学院各专业进阶课程）至少选 修两门MATH 130005抽象代数3/30.75春陈猛 王庆雪数学科学学院无PHIL 130296可计算性理论3/30春杨睿之哲学学院无COMP130171计算复杂性3/30春陈翌佳计算机科学 技术学院COMP 130145计算复杂性与密码学 （3分，计算机科学与技术专业进阶课程）MATH130010拓扑学3/30.75春吕志 马继明数学科学学院无