授業科目名	情報数学Ⅰ Mathematics for Computer ScienceⅠ	時間割番号	5611
担当教員名	犬塚　信博	実務経験反映科目
学科・年次	工学部情報工学科工学部創造工学教育課程 1年次
科目区分	専門教育科目	単位数	2
時間割	後期金曜7-8限	授業形態	講義
授業実施方法	☑ 対面【一部遠隔の場合あり】 ☐ 全て遠隔【全授業（テストを除く）をオンデマンドで実施（全オンデマンド型）】 ☐ 全て遠隔【同時双方向で実施】 ☐ 全て遠隔【オンデマンド及び同時双方向で実施】 ☐ 1/2遠隔【全授業のうち、1/2以上を遠隔（オンデマンド又は同時双方向）】・「全て遠隔」又は「1/2遠隔」に✓のある科目は、遠隔授業の上限単位数60単位に算定されます。・大学院には遠隔授業における上限単位数はありません。
ディプロマ・ポリシーとの対応 ☐ 1. 人間，文化，社会を理解し，それらを技術的観点から考察する能力と技術を新しい生活につなぐ強い使命感・責任感，高い倫理観 ☑ 2. 現象の理解・操作のための数理的基礎知識と科学的素養 ☐ 3. 国内外の人々と対話できるコミュニケーション力と論理的思考力 ☑ 4. （高度工学教育課程のみ）基幹となる専門分野の基盤的な知識・技術とこれによって課題を解決する能力，新たな知識・技術を習得する能力 ☑ 4. （創造工学教育課程のみ）基幹となる専門分野の基礎知識と他の分野の知識・技術を関連づけ多面的に見ることで新たな価値を創出する能力
授業の目的・達成目標授業の目的この講義では情報工学の学習に必要な数学の基礎を学ぶ。基本概念の習得の他、数学的・論理的思考を養うこと、今後の情報工学の各分野で用いる数学概念の概観を把握することを目的とする。達成目標次の項目の概念の理解と適切な利用法を習得することを達成目標とする。命題の形式的な記述法、命題論理、述語論理集合の基本的な概念、演算関数の基本的性質再帰的定義やそれを用いた証明関係の基本的概念、同値関係、順序関係代数の基本的概念授業計画この授業の概要　と　論理（１）　基本論理演算：　命題を表現する方法論理（２）　論理式，真理値関数，論理の恒等式：　命題の正しさと性質論理（３）　述語論理（述語と限定子）　主語と述語による命題の表現数学的証明法：　背理法，再帰的定義，数学的帰納法による証明論理と証明法についての演習集合（１）　集合とは何か，集合の基本演算集合（２）　集合の性質，集合について成り立つ恒等式，集合についての演習中間試験関数　関数とは何か，関数の性質（全射と単射，単調性），関数の合成関数についての演習関係（１）　関係とは何か，関係の性質と関係の種類関係（２）　同値関係：　等しさをあらわす関係，等しさによる分類，剰余類関係（３）　順序関係と順序構造，順序による対象の分類（最大・最小，極大・極小他）代数　代数とは何か，代数の性質，代数構造（群，束，ブール代数）関係，順序，代数についての演習期末試験成績評価の方法中間・期末試験、宿題や授業中に行うプリントなどの平常点を加味して成績を評価する。試験：MR・演習等＝６：４成績評価の基準秀　達成目標を超えた成果を上げている　100点～90点優　達成目標に十分達している　　　　　89点～80点良　達成目標に達している　　　　　　　79点～70点可　達成目標に概ね達している　　　　　69点～60点不可達成目標に達していない　　　　　　59点以下 60点以上を合格とする。但し，宿題等の提出率が70％未満は不合格とする。事前・事後学修等の指示及び履修にあたっての注意事項高校までの数学とは異なるので、新鮮な気持ちで望んで欲しい。教科書とそこまでの内容の確認を事前に準備する（６０分）出題されたミニレポート、演習をこなす（６0分）毎回の講義ノートを整理し、理解を確認する（６０分）講義内容教科書を読み、そこまでの内容の確認する（６０分）教科書「情報工学レクチャーシリーズ離散数学」陳慰・和田幸一共著，森北出版株式会社，ISBN978-4-627-81081-5 参考書講義中に紹介する。オフィスアワー月曜１６：２０－１８：００　２号館３階３２４Ａ連絡：inuzuka@nitech.ac.jp