命題論理からイプシロン-デルタ論法まで

この講義では、数理論理学の基礎について学びます。命題論理の基礎からはじめて述語論理までを概観します。講義の最後には微積分学でよく使われる「イプシロン-デルタ論法」を解説します。

我々がもつ論理を記号化することにより、論理的思考とは何かを深く考える機会になると思います。

※アーカイブ講座の動画販売についてお申し込み受付中です。