澳大利亚悉尼科技大学本科离散数学课程为学生提供了逻辑思维和工作的基础，这对计算机科学和数学专业的学生来说是必不可少的。课程从头开始涵盖了逻辑基础，集合论(数学符号)，函数，计数，证明数学陈述，分析算法的复杂性和正确性，以及一些基本的数论。以下是课程解析。
一、课程关键主题
1、命题逻辑基础：真值表、量词、简单证明结构(直接、间接)。
2、数学归纳法，良序原理。
3、形式数学符号：集合论，函数。
4、计数、鸽笼原理。
5、基础数论。
6、图论、树、应用。
二、课程学习目标
1、解决离散数学中的简单问题，并应用这些知识解决其他科学领域、工程和商业中出现的特定问题。
2、理解和应用离散数学的知识及其理论基础，通过构建逻辑的、清晰的和合理的论证，结合演绎推理。
3、确定离散数学的基本概念在解决现实世界问题中的用处。
4、参与小组讨论，决定从离散数学中选择适当的方法来描述包括物理科学、工程和商业在内的各种问题。
三、课程评估任务
1、评估任务1：学习进度检查
占比：45%。标准：分析的准确性；沟通清晰。
2、评估任务2：参与辅导
占比：5%。标准：定期积极参与；解决方案/证明的准确性，包括确定解决所提问题的正确方法；有效和积极的团队合作的证据。
3、评估任务3：期末考试
占比：50%。标准：解决方案的准确性，包括确定解决所提问题的正确方法；表达的清晰性。
关于悉尼科技大学本科离散数学课程的情况就先介绍到这里啦。之后我们会针对课程的具体内容进行更加深入的解析。