講義名 情報基礎学 　(Foundations of Computer Science)
開講学期 2 学期 単位数 2--0--0
担当教官 ニ.上野 修一 教授 ヌ.中嶋　正之教授 ネ.佐藤　泰介教授
ノ.亀井　宏行助教授　ハ. 高橋　篤司助教授
講義の目的 計算機科学に必要となる数学的な概念，記法，論法の基礎を習得する．
知識
ユニット
  • 集合，写像，関係，論理
  • 数学的帰納法
  • 離散構造
  • アルゴリズム
関連科目・
履修条件等		 ---> 　 計算基礎論 ， 論理回路理論 ， オートマトンと言語 ， 数理論理学
教科書
  • 計算機科学入門 (A Basis for Theoretical Computer Science)， M. Arbib, A. Kfoury, R. Moll 著， 甘利，金谷，嶋田訳，サイエンス社，1984
参考書
  • コンピュータサイエンスのための離散数学， 守屋悦朗著，サイエンス社，1992
講義計画
  1. 集合，写像，関係に関する基礎概念と記法
  2. 命題論理と述語論理に関する基礎概念と記法
  3. 数学的帰納法を用いた証明と定義
  4. 数え上げと再帰
  5. 記号列，グラフ，木などの離散構造
  6. アルゴリズムの基礎概念
注）具体的な講義内容や順序は，担当教官により異なる．
成績評価 レポート，小テスト，中間試験，期末試験等により評価する．
試験問題・
略解の公開 		（上野担当）試験終了後に直接配布
担当教官
からの一言 		抽象的，論理的なものの見方，考え方を身につけていくことが重要です．
関連サイト 特になし


インデックスへ戻る