計算理論

このコースは、計算可能性と計算複雑性理論に重点を置いています。学習者は、正規言語、文脈自由言語、決定可能および決定不能問題、再帰関数論などを扱うことになります。