情報数理入門 (E42T)

学修到達目標	計算機を使って問題を解く場合に，数学がどのように応用されるかを理解することを目的とする。講義では，離散数学の基礎的な事項を取り上げながら，対象を抽象的に表現すること，具体的な例から普遍的な性質を見つけ出すことなどを学ぶ。
授業形態及び授業方法	板書を中心とした講義形式であり，演習も行う。
履修条件	専門教育科目／選択（情報分野）

第1回	全１５回の講義内容の概略説明
第2回	集合，写像，関係
第3回	代数構造
第4回	順序構造
第5回	言語の表現と再起手続き
第6回	有限オートマトン　　定義，状態遷移グラフ，状態遷移表
第7回	有限オートマトン　　有限オートマトンの受理状態，非決定性有限オートマトン
第8回	中間試験及びその解説
第9回	形式文法
第10回	ブール代数　　ブール関数表現の簡単化，真理値表，カルノー図
第11回	論理回路
第12回	グラフ　　ケーニヒスベルクの橋，ハミルトン線，グラフの同型性
第13回	木
第14回	グラフと行列
第15回	理解度確認テスト及びその解説

教科書	必要に応じて資料を配付します。
参考書
成績評価の方法及び基準	（１）授業への取組状況・課題レポートなど平常点５０％，平常試験５０％（２）出席回数が総授業回数の５分の３（９回）に満たない場合は，履修放棄として取り扱い，学業成績を評価E（判定不可）とする。
質問への対応	研究室において随時対応する。
研究室又は連絡先	研究室：船橋校舎4号館442号室 komada.toshihiko"@"nihon-u.ac.jp（実際のアドレスは"を除いたもの）
オフィスアワー	月曜船橋 12:15 ～ 13:15 水曜船橋 12:15 ～ 13:15
学生へのメッセージ

2015年 短期大学部 シラバス - ものづくり・サイエンス総合学科