授業の概要（ねらい）

　集合、写像、関係、命題論理、述語論理の基礎について、ＬＭＳに準備された教材により学習するコースです。
　抽象的な概念の理解に役立つように、例題を取り入れながら授業を進めます。単元ごとに準備された演習問題を解くことにより、理解を深め、運用能力の定着を図ります。
　この科目は、情報科学科のディプロマポリシーの項目１，２に関連する科目です。
　本授業は民間企業で研究開発を担当した教員によるものです。授業ではそれらとの関連も説明します。

授業の到達目標

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

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

　科目修得試験により成績評価をします。科目修得試験における６０点以上の得点を合格とします。
　ＬＭＳに準備された演習の授業に対応しない各回の小テストの全てに解答し、かつ、その得点が全体の６割を超えていることを科目修得試験の受験資格とします。
　ＬＭＳの掲示板に投稿された質問に対する回答によりフィードバックを行います。

教科書・参考文献

準備学修の内容

　予習復習として、参考書の関連する箇所を学習して下さい。予習復習とＬＭＳに準備された演習問題の解答を含む教材の学習時間の各回の平均が４．５〜６時間程度となるように授業内容を準備しています。
　命題論理、述語論理についての授業は、高等学校数学の『数学Ⅰ』の「集合と命題」の理解を前提としていますので、その内容を事前に確認しておいて下さい。

その他履修上の注意事項

　ＬＭＳに準備された小テストの総得点が全体の６割以上であることを科目修得試験の受験資格としたことに合わせ、小テストの受験回数を無制限にします。
　科目修得試験では、参考資料等の持ち込みを禁止します。
　科目修得試験には、各単元末の演習問題またはその類似問題を出題します。
　高等学校用教科書はhttp://www.mext.go.jp/a_menu/shotou/kyoukasho/mokuroku.htmより探せます。

授業内容