集合论

此条目需要补充更多来源。 (2014年5月31日) 请协助补充多方面可靠来源以改善这篇条目，无法查证的内容可能会因为异议提出而移除。 在集合论，一组集合的不交并指的是一种修改过的并集运算，除了普通的并集，还标记了元素的来源

空集（英文：empty set），又叫空集合，喺集合论里面，无元素（成员）嘅集。空集用符号∅来表示，有时为咗方便打起见，亦写做{}，即系集符号里面无元素。 空集只有一个：假设有两空集 A 同 B，咁 A 包含 B 而且 B 包含 A，由外延公理（如果两个集嘅元素一样，咁佢哋系同一个集）得出结论 A=B；所以空集系唯一嘅

本课程的 教学内容包括：形式语言与自动机理论、可计算性理论、计算复杂性理论等三个部分。这些内容分别回答下列问题：（1）有哪些计算装置？它们的能力如何？ （2）什么是计算？哪些问题是（不）可计算的？（3）什么是有效计算？哪些问题是（不）可有效计算的？通过这门课程的学习，学生将了解计算理论的基础知 识，掌握有效计算的概念。 本课程的教学方式包括教学录像片段（每段录像8-20分钟，内含1-2个测验问题），教学录像之外的书面作业，以及（必须参加的）期末考试

逻辑学专业学生主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识，受到公理化方法、形式化方法和语义分析方面的基本训练，具有专业研究的基本能力。 数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、中国逻辑史、西方逻辑史、现代逻辑思想史、程序语言设计、操作系统等。 本专业培养具备系统的逻辑学基础知识，一定的数学素养以及计算机理论和操作能力，能在高等院校、科研单位、国家机关及企事业管理部门从事逻辑学的教学、科研和应用方面的工作，并能从事计算机科学和语言学的科研和应用方面相关工作的逻辑学高级专门人才

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

1916年2月12日(1916－02-12)（84岁） 理查德·戴德金（Julius Wilhelm Richard Dedekind）（1831年10月6日－1916年2月12日），德国数学家。戴德金是高斯的学生，一生都以学术为主。他和狄利克雷、黎曼都是好朋友

本书以数论和集合论两个数学理论为依据来展开介绍无穷这一概念。全书的形式为每一章讲一堂课，共8 章，每一章都以幽默、轻快的笔触，以及基础的数学符号来讲述与无穷相关的理论及悖论，展现了数学世界的精彩。在书中我们会遇到许多既熟悉又陌生的数学家、思想家及他们在数学之旅中的故事，如芝诺、毕达哥拉斯、伯特兰·罗素、艾米·诺特、欧几里得等；还介绍了相关的悖论和问题，加芝诺悖论、希尔伯特的旅馆悖论、阿基里斯与众神悖论、天堂与地狱悖论、罗斯- 利特尔伍德悖论、伽利略悖论等

此条目需要补充更多来源。 (2014年5月31日) 请协助补充多方面可靠来源以改善这篇条目，无法查证的内容可能会因为异议提出而移除。 在集合论，一组集合的不交并指的是一种修改过的并集运算，除了普通的并集，还标记了元素的来源

1916年2月12日(1916－02-12)（84岁） 理查德·戴德金（Julius Wilhelm Richard Dedekind）（1831年10月6日－1916年2月12日），德国数学家。戴德金是高斯的学生，一生都以学术为主。他和狄利克雷、黎曼都是好朋友

此条目需要补充更多来源。 (2014年5月31日) 请协助补充多方面可靠来源以改善这篇条目，无法查证的内容可能会因为异议提出而移除。 在集合论，一组集合的不交并指的是一种修改过的并集运算，除了普通的并集，还标记了元素的来源