概要:
・コンピュータサイエンスに必要とされる数学的基礎理論について学習する．
・離散数学における集合，ブール代数，論理代数について学習する．
・関係，述語論理について学習する．
※実務との関係
この科目は企業で、システム開発を担当していた教員が、その経験を活かし、情報数学の活用などについて講義・演習形式で授業を行うものです。
授業の進め方・方法:
・授業は講義形式で行う．
・学習内容の定着のため，授業中に演習を行うとともに，予習復習のための課題を課す．
・内容理解度の確認のため，小テストを実施する．
・この科目は学修単位科目のため，事前・事後の学習として課題やレポートを実施する．
注意点:
・・授業の前後に１時間程度の予習，復習を行うこと．
| 分類 | 分野 | 学習内容 | 学習内容の到達目標 | 到達レベル | 授業週 |
| 基礎的能力 | 工学基礎 | 情報リテラシー | 情報リテラシー | 情報を適切に収集・処理・発信するための基礎的な知識を活用できる。 | 3 | |
| 論理演算と進数変換の仕組みを用いて基本的な演算ができる。 | 3 | |
| コンピュータのハードウェアに関する基礎的な知識を活用できる。 | 3 | |
| 情報伝達システムやインターネットの基本的な仕組みを把握している。 | 2 | |
| 情報セキュリティの必要性および守るべき情報を認識している。 | 2 | |
| 個人情報とプライバシー保護の考え方についての基本的な配慮ができる。 | 2 | |
| インターネット(SNSを含む)やコンピュータの利用における様々な脅威を認識している | 2 | |
| インターネット(SNSを含む)やコンピュータの利用における様々な脅威に対して実践すべき対策を説明できる。 | 2 | |
| 専門的能力 | 分野別の専門工学 | 情報系分野 | 情報数学・情報理論 | 集合に関する基本的な概念を理解し、集合演算を実行できる。 | 3 | |
| 集合の間の関係(関数)に関する基本的な概念を説明できる。 | 3 | |
| ブール代数に関する基本的な概念を説明できる。 | 3 | |
| 論理代数と述語論理に関する基本的な概念を説明できる。 | 3 | |
| 離散数学に関する知識をアルゴリズムの設計、解析に利用することができる。 | 3 | |
| コンピュータ上での数値の表現方法が誤差に関係することを説明できる。 | 3 | |
| コンピュータ上で数値計算を行う際に発生する誤差の影響を説明できる。 | 3 | |
| コンピュータ向けの主要な数値計算アルゴリズムの概要や特徴を説明できる。 | 3 | |
| 情報量の概念・定義を理解し、実際に計算することができる。 | 3 | |
| 情報源のモデルと情報源符号化について説明できる。 | 3 | |
| 通信路のモデルと通信路符号化について説明できる。 | 3 | |
| その他の学習内容 | 少なくとも一つの具体的なコンピュータシステムについて、起動・終了やファイル操作など、基本的操作が行える。 | 3 | |
| 少なくとも一つの具体的なオフィススイート等を使って、文書作成や図表作成ができ、報告書やプレゼンテーション資料を作成できる。 | 3 | |
| 少なくとも一つのメールツールとWebブラウザを使って、メールの送受信とWebブラウジングを行うことができる。 | 3 | |
| メディア情報の主要な表現形式や処理技法について説明できる。 | 3 | |
| ディジタル信号とアナログ信号の特性について説明できる。 | 3 | |
| 情報を離散化する際に必要な技術ならびに生じる現象について説明できる。 | 3 | |