授業の概要（ねらい）

　集合、写像、関係、命題論理、述語論理の基礎について学習するコースです。
　第１回から第５回のメディア授業はLMSを利用して行い、第６回から第１５回の授業は２日間の対面授業で行います。対面授業は、講義形式および演習形式で行います。講義では、抽象的な概念の理解に役立つように、例題を取り入れながら進めます。理解を確かなものにするために単元ごとに演習を行います。演習では、演習問題の解答の板書による発表が課されます。
　この科目は、情報科学科のディプロマポリシーの項目１，２に関連する科目です。
　本授業は民間企業で研究開発を担当した教員によるものです。授業ではそれらとの関連も説明します。
　

授業の到達目標

　情報科学の基礎である集合と論理の基礎を習得する。
　情報科学の様々な問題に対応できる論理的な思考力を身に付ける。

成績評価の方法および基準

　科目修得試験を４割、演習問題の解答の板書発表を４割、LMSの小テストを２割の割合で考慮して評価し、全体の６割以上の得点を合格とします。
　第１回から第５回までのメディア授業のLMSの小テストを対面授業までに完了すること、および、対面授業への出席は単位認定の必須条件です。
　単元ごとの演習問題を自力で解く力を身につけることが科目修得の基準です。
　対面授業の演習では、単元ごとに、演習問題の解説と学生の板書発表に対するフィードバックとして講評が行われます。

教科書・参考文献

準備学修の内容

　授業用資料の集合、写像、関係の演習問題を解いて、対面授業に参加して下さい。
　授業用資料の命題論理、述語論理の部分を読み、疑問点を整理して、対面授業に参加して下さい。予習復習の時間が各回の講義時間の概ね２倍程度となるように授業用資料、演習問題を準備しています。
　命題論理、述語論理についての対面授業は、高等学校数学の『数学Ⅰ』の「集合と命題」の理解を前提としていますので、その内容を事前に確認しておいて下さい。

その他履修上の注意事項

　LMSに掲載した対面授業で用いる授業用資料を印刷して対面授業に持参して下さい。
　高等学校用教科書はhttp://www.mext.go.jp/a_menu/shotou/kyoukasho/mokuroku.htmより探せます。

授業内容