離散数学は論理回路,アルゴリズムとデータ構造,言語論,人工知能,計算機ネットワークなどコンピュータサイエンスの幅広い分野の基礎となっている.本講義ではこれらの分野において重要とされる離散構造に関する基本概念や論理的な手法について学ぶ.