離散数学

説明

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

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

このコースは、過度に形式的にすることなく、厳密に行うことを目指しています。これは、私たちが紹介するすべての概念について、少なくとも XNUMX つの興味深い重要な結果を示し、完全な証明を与えることを意味します。ただし、あまり形式的な表記はせず、可能な限り例や図を使用して説明します。

このコースの主なトピックは、(1) 集合、関数、関係、(2) 列挙的組み合わせ論、(3) グラフ理論、(4) ネットワークフローとマッチングです。モジュラー算術、代数、論理については取り上げていません。これらのトピックは少し異なる趣を持っており、Coursera にはこれらのトピックに特化したコースがすでにいくつかあるためです。