I 5類1年次の学生を対象として,情報工学の基礎となる概念や手法について講義する。
II 集合,写像,関係,論理,再帰,グラフ,アルゴリズム。
計算機科学に必要となる数学的な概念,記法,論法の基礎を習得する.
知識ユニット
・集合,写像,関係,論理,数学的帰納法,離散構造,アルゴリズム.
1 集合,写像,関係に関する基礎概念と記法
2 命題論理と述語論理に関する基礎概念と記法
3 数学的帰納法を用いた証明と定義
4 数え上げと再帰
5 記号列、グラフ、木などの離散構造
6 アルゴリズムの基礎概念
注)具体的な講義内容や順序は担当教員により異なる
教科書: 情報基礎数学,佐藤泰介,高橋篤司,伊東利哉,上野修一著,昭晃堂,2007
参考書: 計算機科学入門(A Basis for Theoretical Computer Science)
M. Arbib, A. Kfoury, R.Moll著,甘利俊一,金谷健一,嶋田晋 訳 サイエンス社,1984
コンピュータサイエンスのための離散数学,守屋悦朗著,サイエンス社,1992
関連科目: 計算基礎論,論理回路理論,オートマンと言語,数理論理学
レポート,小テスト,中間試験,期末試験等により評価する.
抽象的,論理的なものの見方,考え方を身につけていくことが重要です.