論理学基礎

論理学基礎

このスキルの関連項目

このスキルのために必要な知識

証明技法
数え上げ基礎
文法
有限状態機械と正規表現
論理学基礎(命題、述語)