DOMAIN

離散数学・論理・証明

CSで扱う離散構造を、集合・関係・論理・証明・帰納法の共通言語で理解する。