大学ネットワーク

離散数学

説明

離散数学は、コンピュータおよび情報科学の数学的基盤を形成します。 それ自体も魅力的なテーマです。

学習者は、コンピュータサイエンスに遍在する集合、関数、関係、グラフなどの幅広い数学的オブジェクトに精通するようになります。 おそらくもっと重要なことは、彼らはある程度の数学的成熟度に達するでしょう–正式な声明とその証明を理解することができることです。 厳密な証明を自分で考え出す。 そして興味深い結果を考え出します。

このコースは、過度にフォーマルになることなく、厳密になるように試みます。 これは、私たちが紹介するすべてのコンセプトについて、少なくともXNUMXつの興味深い重要な結果を示し、完全な証明を提供することを意味します。 ただし、可能な限り例や図を使用して、あまり正式な表記は行わずにこれを行います。

このコースの主なトピックは、(1)セット、関数、関係、(2)列挙型組み合わせ論、(3)グラフ理論、(4)ネットワークフローとマッチングです。 これらのトピックにはわずかに異なるフレーバーがあり、これらのトピックに特化したCourseraのコースがすでにいくつかあるため、モジュラー演算、代数、およびロジックはカバーしていません。

価格:無料で登録!

言語: 英語

字幕: 英語

離散数学 –上海交通大学