离散数学
卢欣华，女，1977年出生，博士，讲师。2010-2011年到德国罗斯托克大学从事博士后研究。主要从事电子细胞、计算机建模与模拟等方向的研究
培养目标：本专业面向国家和粤港澳大湾区经济发展需求，培养德、智、体、美、劳全面发展，具备坚实的信息科学和数理基础知识、科学素养与人文精神、社会责任感和工程职业道德，掌握人工智能的基本理论、知识、技能和方法，熟悉人工智能开发应用平台和环境，能够从事人工智能相关系统、软件的设计、开发及在经济、管理等领域的应用，具有较强的领域应用能力、工程实践能力和创新创业能力的“人工智能+”型卓越应用人才。毕业后能够在IT企业、商务、金融等服务型企业或党政部门、学校等单位从事智能应用系统开发、智能信息处理、智能决策管理等工作，也可继续攻读相关学科的研究生。 主要课程：程序设计基础、面向对象程序设计、离散数学、数据结构、数据库原理、软件工程、大学物理、数字逻辑与系统设计、计算机组成原理、操作系统、计算机网络、人工智能导论、最优化方法、算法分析与设计、机器学习基础、智能优化算法等
数学系的基本使命为培养具有丰富的基础知识、专业知识和创造能力的数学人才，让他们圆满解决国民经济各方面的科技问题，并取得尖端科研成果。 金日成综合大学刚成立时有理学系，物理系有数学专业。后来理学系改称为物理数学系，主体49(1960)年物理数学系分为物理系和数学力学系，主体99(2010)年数学力学系又分为数学系和力学系
培养目标：本专业面向国家和粤港澳大湾区经济发展需求，培养德、智、体、美、劳全面发展，具备坚实的信息科学和数理基础知识、科学素养与人文精神、社会责任感和工程职业道德，掌握人工智能的基本理论、知识、技能和方法，熟悉人工智能开发应用平台和环境，能够从事人工智能相关系统、软件的设计、开发及在经济、管理等领域的应用，具有较强的领域应用能力、工程实践能力和创新创业能力的“人工智能+”型卓越应用人才。毕业后能够在IT企业、商务、金融等服务型企业或党政部门、学校等单位从事智能应用系统开发、智能信息处理、智能决策管理等工作，也可继续攻读相关学科的研究生。 主要课程：程序设计基础、面向对象程序设计、离散数学、数据结构、数据库原理、软件工程、大学物理、数字逻辑与系统设计、计算机组成原理、操作系统、计算机网络、人工智能导论、最优化方法、算法分析与设计、机器学习基础、智能优化算法等
专业介绍：本专业培养掌握计算机和计算机网络的基础理论与技术知识，掌握网络工程的基本理论与技术实现方法，能运用所学知识与技能去分析和解决计算机网络相关理论与技术问题的高级网络技术专门人才。 本专业培养掌握计算机和计算机网络的基础理论与技术知识，掌握网络工程的基本理论与技术实现方法，能运用所学知识与技能去分析和解决计算机网络相关理论与技术问题的高级网络技术专门人才。 毕业生应获得以下几方面的知识和能力： 1．具有扎实的自然科学基础、较好的人文社会科学基础和外语综合能力； 2．系统地掌握计算机和网络通信领域内的基本理论和基本知识； 3．掌握计算机、网络与通信系统的分析、设计与开发方法； 4．具有设计、开发、应用和管理计算机网络系统的基本能力； 5．了解计算机及网络通信领域的一些最新进展与发展动态； 6．了解信息产业、计算机网络建设及安全的基本方针、政策和法规； 7．掌握文献检索、资料查询的基本方法，具有一定的科学研究和实际工作能力
我院继续教育工作开始于2003年，招生专业有计算机应用（专科）、计算机科学教育（专科）与计算机科学与技术（本科）两个专业。 培养目标：本专业培养培养培养热爱祖国、热爱人民，拥护党的基本路线和方针政策；德、智、体、美全面发展；具有良好的科学素养，系统地掌握计算机科学与技术，包括计算机硬件、软件与应用的基本理论、基本知识和基本技能与方法，能进行程序设计和使用数据库技术、网络技术以及多媒体技术等解决实际问题。能在科研部门、教育单位、企业、事业、技术和行政管理部门等单位从事计算机教学、科学研究和应用的计算机科学与技术学科的高级技术人才
有一个离散数学的教授开了一门有N个学生的课程。但教授对他那些迟到的学生感到很不满，如果开始上课时的学生人数小于K，就会取消这堂课程。 给定每个学生到达课堂上的时间，判断课程是否会被取消
科学馆今日至11月30日举行邵逸夫奖展览，介绍2022年度得奖者及其贡献，并阐述相关学术领域的基础科学知识。 邵逸夫奖为国际奖项，2002年成立，每年设天文学奖、生命科学与医学奖、数学科学奖。 得奖者须仍从事有关学术领域、在学术和科学研究及应用上有杰出贡献、在近期获得突破性成果或在其他领域有卓越成就
本书全面而系统地介绍了离散数学的经典理论和方法。内容共分为集合论、代数系统、图论、数理逻辑四篇。第一篇包括集合、关系、函数与无限集合；第二篇包括代数系统、几类典型的代数系统、格与布尔代数；第三篇包括图论基础、树；第四篇包括命题逻辑、谓词逻辑
成人高考专升本计算机科学与技术专业主要课程有：C语言程序设计、离散数学、模拟电子技术、数据结构、数字逻辑、计算机组成原理、微型计算机原理与应用、操作系统、编译原理、数据库系统概论、软件工程、计算机网络等。 专升本计算机科学与技术专业培养具有良好的科学素养，系统地、较好地掌握计算机科学与技术的基本理论、基本知识和基本技能与方法，能在科研部门、教育单位、企事业、技术和行政管理部门等单位从事计算机教学、科研和应用的计算机科学与技术的应用型高级技术人才。 本专业学生主要学习计算机科学与技术方面的基本理论和基本知识，接受从事研究和应用计算机的基本训练，具有开发和应用计算机系统的基本能力