机构名称：
¥ 1.0
CS 4510 自动机和复杂性第 X 节 2021 年春季 我要求设计 CS 4510 的高级/荣誉部分，专门为数学本科生和理论导向的计算机科学本科生量身定制。讲座与正常部分重叠，但作业在广度和深度上都大得多。主题包括 G¨odel 不完备性、Kolmogorov 复杂性、原始递归函数、Myhill-Nerode 和 Rice 定理等。现在深受理论导向的本科生和数学专业的学生的喜爱。一些作业和笔记可在此处找到：https://ladha.me/files/sectionX/
