１．集合とは，集合の内包的表現と外延的表現
２．集合の基本概念（部分集合、和集合、共通部分）
３．集合の演算法則
４．集合演算とブール代数（公理系）
５．集合演算の演習
６．ラッセルのパラドックス，集合族，直積集合
７．関数（定義域と値域、部分関数と全関数、単射・前射・全単射）
８．濃度とは、カントールの対角線論法
９．関係と性質（反射律、対称律、etc.)
10．同値関係（同値類、商集合）
11．順序関係（半順序と全順序、順序集合、ハッセ図）
12．命題論理： 命題とは、命題論理式の帰納的定義
13．命題論理の意味論（真理値表、解釈とモデル）
14．トートロジィ、矛盾、充足可能、ブール代数との関係
15．期末試験
