情報数理科学演習I

第1回目 ガイダンス。Sagemathのインストールと簡単な計算。 第2回目 命題論理 第3回目 述語論理 第4回目 束 第5回目 距離空間 第6回目 位相空間 第7回目 グラフ理論と多面体(Sagemathを利用して) 第8回目 集合の濃度 第9回目 公理的集合論 第10回目 群 第11回目 群の準同型 第12回目 環と体 第13回目 LaTeXによる文書作成

授業の情報はitc-lmsに公開されるので、itc-lmsをチェックせよ。 問題を解くのが中心の回と、コンピュータの操作が中心の回がある。 問題を解く回では、まず授業でその日の題材について解説する。 履修者は出題された問題を主に授業中に解いて、チェックを受ける。 コンピュータを使って数式処理をする回では指示された操作を行いitc-lmsを通じて課題を提出することになる予定である。 この授業は情報数理科学Iの授業と連動しており、その授業を履修中であることを前提に進められる。 また、無線LANでインターネットに繋ぐことのできるノートパソコンを所持していることを前提に進められる。WindowsでもMacでも構わない。

毎回、提出する課題を評価する。

特に指定しない。

特に指定しない。

この授業は、広域システムコースの広域システム特論IIIとの両面開講である。広域システム特論IIIを別の年度で履修することは制度上可能だがその場合は履修を取り消す。