L0910500

離散数学1

Discrete Mathematics 1

開講部

工学部

開講学科

情報工学科

開講学年

1年次

開講時期

前期

単位数

2

単位区分

必修

系列区分

専門

講義区分

講義
教授古宮誠一この先生のアンケート一覧を参照

授業の概要

計算機科学で必要となる数学的な概念、記法、論法の基礎を学習する。すなわち、集合、関係、順序、写像、関数、同値などの諸概念や記法の使い方、基本的な数学的論法などについてである。(なお、論理、論理式、論理演算などについては、数理論理学で学習する。) 情報工学との関連も考慮に入れながら学習を進める。

達成目標

1.集合、関係、順序、写像、関数、同値、合同式、群などの諸概念や記法の使い方を理解する。
2.基本的概念を理解し、具体的に使用できるようになる。

授業計画

1.集合の概念と記法
2.包含関係と集合演算
3.関係の概念
4.関係 2項関係
5.順序関係とその性質
     半順序と半順序集合
6.順序関係 全順序と全順序集合
7.写像 定義域、値域、逆写像
8.写像 全射、単射、合成写像
9.同値関係とその性質
10.同値類、分割
11.合同式
12.群の概念 半群、単位元、逆元
13.群 可換群
14.置換群
15.総合学習

評価方法と基準

期末試験、臨時試験、授業時の課題提出物

教科書・参考書

適宜指示する。

履修前の準備

解析学(微積分)、線形代数を履修していることが望ましい。

オフィスアワー

月曜日の講義時間以外

環境との関連

環境に関連しない科目

最終更新 : Thu Sep 20 07:48:21 JST 2012