情報数学II(岡崎)
---Mathematics for Computer Sciences II
　(R. Okazaki)

2003年度　春学期

Click here for English
これは集合の言葉の入門のコースです．
集合，関数，関係の基本的な概念をつかむことが目標です．
数学的な構造に触れることがもう一つの目標です．
この授業の内容を修得すると，計算機科学の数学的な概念化になじみやすくなります．

授業計画

    ４月１１日　集合--外延性
    ４月１８日　集合--論理
    ４月２５日　集合--包含関係
    ５月０９日　集合--基本演算
    ５月１６日　集合--演算法則
    ５月２３日　-- 国際学会出張のため休講 --
    ５月３０日　-- 国際学会出張のため休講 --
    ６月０６日　集合--演算と包含関係
    ６月１３日　集合--直積
    ６月２０日　関係--グラフ
    ６月２７日　関係--順序
    ７月０４日　関係--同値関係
    ７月１１日　関係--関数
    ７月１５日　関係--関数の演算
    ７月１６日　構造

成績評価

期末試験    100%

定期試験で，いくつかのポイントについての達成度を検証します．
具体的な集合についての理解；
図式を通した集合の理解；
要素の記述を通した集合の論理的な扱い；
集合の演算を行う能力；
集合によって定式化された問題に関して推論する多少の能力；
関数，関係，構造に関する基本的な知識．

学習の仕方

講義・演習時間中

講義で提示される豊富な題材を通して，
集合，関数，関係に関する基本的な概念に 触れることができます．
講義の各所で図式が使われるので， 離散数学の概念を
図式を通して理解したり表現したりする能力を 身に付けることができます．
日常的な題材も講義でよくとりあげられますので， 集合に親しむことが簡単です．
集合的な対象の性質を個々の対象の情報から復元する仕方を繰返しますので，
数学や計算機科学の１つの見方を学ぶことができます．