複数の先生が担当します。
内容としては論理と証明，関数，言語，数え上げなどの基礎内容です。

教科書はkibacoのPDFで配布されますが英語です。(授業スライドはそれの日本語版って認識でも良いと思います。)

初回の課題が難しい＆量が多いでインパクトが強く、履修を避ける人もいます。

確かに毎回課題の量も多く比較的難しい回がほとんどです。

その一方課題をしっかりこなせばテストの対策にそのまま繋がります。(期末は課題の類題で難易度も近いです。)

またこの授業内容が2年の内容に繋がることも多いです。

履修する場合一緒に課題に取り組む友達がいると良いと思います。(1人だと行き詰まった時大変かも)