离散数学

线性代数、高等代数、电子技术基础、离散数学、计算机引论(C语言)、数据结构、C++程序设计、汇编语言程序设计、算法设计与分析、计算机组成原理与体系结构、数据库系统、计算机网络、软件工程、软件测试技术、软件需求与项目管理、软件设计实例分析等。 3．会议召开的合法、合规性：公司于2015年12月29日召开第六届董事会第十三次会议审议通过了《关于召开2016年第一次临时股东大会的议案》，本次会议的召开符合有关法律、行政法规、部门规章、规范性文件和公司章程的规定。 S1 Plus 触控板面积比 S1 要大不少，左上角内置了触摸板开关和指示灯，不过较为遗憾的是指纹识别功能被取消了

离散数学是计算机科学的基础理论，离散结构的基础知识和逻辑思维的形式化是信息技术类学生的基本功，离散数学的基本概念是理科专业学生进行信息类课程学习的重要基础。 本课程介绍计算机科学和信息技术理论基础的概念和思想方法，介绍数理逻辑、集合论、图论、抽象代数和形式语言与自动机等各部分的基本概念，介绍离散数学基本概念和空间信息技术之间的联系与结合，培养学生理解和掌握离散数学基本概念，采用形式化方法分析问题，并能自觉运用逻辑分析、结构层次分析和同构类比等思想方法解决问题的能力。老师的讲解通俗易懂，言辞幽默，受益匪浅

专业培养目标：本专业培养具有良好的数学素养和数学思维能力，系统掌握数学教育专业的基本理论、基本知识和基本方法，具备教师职业的基本素养和技能，具有基本的教育管理、运用现代化教学手段的能力，能从事中、小学的数学教学、数学教育研究和数学实际应用等综合实用型人才。 专业主干课程：数学分析、高等代数、空间解析几何、常微分方程、离散数学、复变函数、概率论与数理统计、数学实验、数学模型、现代教育技术、数学学科教学论、教育学、心理学。 专业就业方向：毕业生主要能在地方中小学从事数学教育和教育管理工作，也可在其他部门从事相关专业的教学和管理工作

常亮，教授、博士、硕士生导师，1980年6月生于贵州赫章，2008年7月毕业于中国科学院计算技术研究所，获工学博士学位。主持完成国家自然科学基金青年基金项目1项，主持在研广西自然科学基金项目1项，作为主要成员参与完成973、863、国家科技支撑计划、国家自然科学基金项目共7项。在包括《Journal of Automated Reasoning》、《计算机学报》、《软件学报》、《计算机研究与发展》等在内的著名期刊和重要会议上发表论文40余篇，SCI、EI收录近30篇

数学与应用数学（师范）（本科）四年制普通本科，本专业的学生通过四年的培养，使之成为了面向21世纪素质全面、学识深厚、有持续发展潜力并具有创新精神和实践能力的中等学校师资队伍，大部分学生将成为中等学校的高素质骨干教师、学科带头人和教育管理人才。 该专业学生通过四年的学习，系统掌握教育理论，具有现代教育技术和教学研究的能力；具有良好的职业道德和教学基本功。 学生全面掌握了较为宽厚的数学专业基础知识、基本理论和基本技能，了解数学科学发展的新成果、新动态，其中包括数学建模、数学计算、解决实际问题等基本能力;具有较宽的知识面和一定的人文社会科学素养；具有独立获取知识、提出问题、分析问题、解决问题的基本能力和开拓创新意识；具有基本的教育教学能力、教育管理能力、教育教学研究能力和运用现代化教学手段的能力

杨彦，女，汉族，湖北武汉人，中共党员，硕士研究生，毕业于武汉大学计算机专业，曾任bet9备用线路检测院长助理，现任计算机科学与技术bet9副院长。 主要讲授课程数据结构、离散数学、数字逻辑、操作系统，c程序设计，编译原理，计算机软件基础相关课程；担任校内内训师。 参加湖北省计算机基础精品课程项目，参加武汉市教育局科研项目2项，国家级产教育人项目两项，以第一作者发表论文5篇第一主编清华大学出版社《离散数学》教材一部，参与编写教材4部

本专业系国家级一流本科专业建设点，旨在培养德、智、体、美、劳全面发展，适应新时代中国特色社会主义现代化建设和民用航空事业发展需要，具有高尚的道德、扎实的数学基础知识和良好的科学文化素养，掌握信息科学与计算科学的基础理论和研究方法，具备应用数学知识和技术解决实际问题的能力，富有创新应用精神和国际化视野，能够在数学及相关领域从事科学计算与软件应用开发、信息分析与处理、经济金融等方面的高素质应用型人才。 具有综合运用数学知识、信息学与计算数学专业知识开展算法分析与设计、科学计算与软件开发、数学建模等方面的实践能力，初步具有创新应用的实践能力。 具有运用现代信息检索、资料查询工具获取相关信息及信息数据分析处理的能力

多年主讲北京大学信息科学技术学院本科生离散数学课程，系国家精品课离散数学课程主持人，教育部师资培训离散数学课程主讲教师。多年主讲信息科学技术学院研究生课算法分析与计算复杂性理论以及软件与微电子学院算法分析与设计课程。主持过教育部立项的离散数学网络课程建设项目，参与过教育部高等学校计算机科学与技术专业核心课程内容实施方案研究项目，主持过高教社高等教育百门精品课程教材建设项目等

培养基础理论扎实、专业知识宽厚、实践能力突出，具备良好的软件理论、工程基础知识与应用能力，同时具有较强的创新意识、团队协作精神，适应社会主义市场经济发展，德、智、体、美、劳全面发展，具有良好科学素养，能到政府、企事业单位从事软件工程技术设计、开发、管理、服务等工作，并成为该领域技术骨干的软件工程应用型高级人才。 主要课程： 高等数学、离散数学、概率论与数理统计、 高级语言程序设计、数据结构与算法、计算机网络、数据库技术、操作系统、计算机组成原理与结构、Java程序设计、软件设计与体系结构、大型数据库技术、软件工程方法学导论、Web应用系统开发、软件需求过程与质量保证、软件测试技术等

1. 深入浅出地讲述了进入21世纪，物理学上空笼罩着的七朵“乌云”（谜团）——质子衰变论、黑洞大爆炸、埃弗莱特的多宇宙理论、异端的宇宙、暗物质和暗能量、量子力学、宇宙原理与人类原理； 2. 对每一朵“乌云”（谜团），书中给出了其由来、最新的物理学理论构想及分析以及这些“乌云”对人类未来的影响。 物理学几乎能够解释从微观粒子到宏观天体现象的所有事物构成，是一门获得过无数丰硕成果的体系。但事实上，在构成其基础的重要部分中仍存在知识空白，也有一些东西还无法整理成理论