平成２３・２４年度担当教員： 安藤直也
第１章 Boole代数 1.1 集合と写像 1.2 順序 1.3 束 1.4 Boole代数の定義 1.5 Boole関数
第２章 オートマトン 2.1 形式言語 2.2 有限オートマトン 2.3 正規表現と正規言語
授業で使用したプリントのファイルが こちら にあります。