白井の講義一覧

情報システム/情報メディア工学科2年生以上対象「論理と意味論」(選択科目)
および情報知能学科2年生以上対象「数理論理学I」(選択必修)

出席と成績評価基準

大学の規定により、出席が67%以下の場合は試験を受ける資格を失います。 また、この講義の成績評価は、試験により90%、レポートや講義中の態度 (演習を行っているかどうかなど)により10%を決定します。
出席回数の確認

成績評価

講義及び試験は終了しました。
24名受験(出席回数不足者3名含む)、合格者19名です。 ですから出席回数が足りている者では合格率90%でした。 なおA以上は8名です。
今学期は出席回数が少ない人が目立ちました--- 全回出席者は1人だけ、ほとんどが3回以上の欠席です。
合格者: H111012, H111020, H111038, H111039, H111047, H111083, H111093, H111108, H111113, H112012, H112049, H112060, H112951, H209047, H311082, H310030 H111015, H111045, H208015
再試験はありません。成績はこれで確定です。

教科書

「論理と意味論」テクスト(PDF版または PostScript版)を使います。 (印刷した教科書をお貸しすることはほとんど不可能---残り冊数がほとんどないため)。

講義

金曜3限、 854教室
Hidetosi SIRAI