可定义性

2024-08-07 机构名称:

lu

•计算理论（CSCI 313）。秋季2021。2023年秋季。2024年秋季。理论计算机科学的高级课程。课程内容涵盖了复杂性理论，包括各种计算的理论模型，例如有限自动机，下降自动机，图灵机及其与形式语言的关系。还详细讨论了可定义性和P与NP问题的问题。

查看详细