计算理论课程
计算理论课程通常教授形式语言、自动机理论、可计算性和复杂性课程。您可以培养算法设计、解决问题和理解计算极限方面的技能。许多课程都会介绍图灵机和状态图等工具，这些工具有助于说明概念和分析计算问题。您还将探索 P vs NP、可判定性和算法在人工智能中的作用等关键主题，提高您应对复杂计算挑战的能力。
热门计算理论课程和认证
状态：免费Princeton University
您将获得的技能: 数据结构, 计算机科学, 理论计算机科学, 可扩展性, 编程原则, Java 编程, 计算逻辑, 计算机硬件, Algorithm, 计算机结构
状态：免费试用University of California San Diego
您将获得的技能: Python 程序设计, 数据结构, 调试, 软件测试, 图论, 理论计算机科学, 数据存储, 开发测试, 测试案例, 编程原则, 计算思维, Java, C 和 C++, 网络分析, Algorithm, Javascript, 计划发展, 拉斯特（编程语言）, 计算机编程, 生物信息学
状态：免费试用University of California San Diego
您将获得的技能: Python 程序设计, 数据结构, 图论, Encryption, 概率分布, 理论计算机科学, 组合学, 计算思维, 网络分析, 概率, Algorithm, 网络安全, 计算逻辑, 公钥加密标准（PKCS）, 演绎推理, 可视化（计算机制图）, 逻辑推理, 贝叶斯统计, 密码学, 算术
状态：新Birla Institute of Technology & Science, Pilani
您将获得的技能: Theoretical Computer Science, Computational Logic, Mathematical Theory & Analysis, Algorithms, Computational Thinking, Programming Principles, Computer Science, Data Structures, Graph Theory, Natural Language Processing, Logical Reasoning, Formal Learning
状态：免费试用您将获得的技能: Computational Thinking, Algorithms, Graph Theory, Data Structures, C++ (Programming Language), C and C++, Programming Principles, Computer Programming, Object Oriented Programming (OOP), Technical Design, Theoretical Computer Science
状态：免费试用Rice University
您将获得的技能: Python 程序设计, 数据结构, 面向对象编程（OOP）, 图论, 组合学, 理论计算机科学, 数据分析, 应用程序开发, 编程原则, 计算思维, 大数据, 计算机编程, 概率, 事件驱动编程, 伪代码, 用户界面（UI）, 计划发展, Algorithm, 互动设计, 生物信息学
是什么让您今天来到 Coursera？
状态：预览University of Pennsylvania
您将获得的技能: Python 程序设计, 数据结构, 面向对象编程（OOP）, 调试, 计算思维, 分析, 解决问题, Algorithm, 伪代码, 计算机编程, 计划发展, 计算机硬件
状态：新状态：免费试用Birla Institute of Technology & Science, Pilani
您将获得的技能: Theoretical Computer Science, Applied Mathematics, Algorithms, Cryptography, Relational Databases, Data Management
状态：新状态：预览University of Colorado Boulder
您将获得的技能: Graph Theory, Model Evaluation, Arithmetic
状态：新状态：免费试用University of Colorado Boulder
您将获得的技能: Computational Logic, Systems Design, Verification And Validation, Systems Analysis, Software Systems, Theoretical Computer Science, Computational Thinking, System Design and Implementation, Simulations, Programming Principles, Software Architecture, Software Design, Model Evaluation, Graph Theory, Software Testing, Hardware Architecture, Software Quality Assurance, Computer Architecture, Algorithms, Logical Reasoning
状态：免费试用University of California San Diego
您将获得的技能: Debugging, Computer Programming Tools, Algorithms, Programming Principles, Computational Thinking, Digital pedagogy, Program Development, Technical Communication, Computer Programming, Education Software and Technology, Event-Driven Programming, Code Review, Diversity Equity and Inclusion Initiatives, Computer Science, Software Documentation, Brainstorming, Data Structures, Student Engagement, Visualization (Computer Graphics), Game Design
状态：免费试用University of Colorado Boulder
您将获得的技能: Computational Logic, Mathematical Modeling, System Requirements, Functional Requirement, Theoretical Computer Science, Verification And Validation, Control Systems, Automation, Network Model, Systems Analysis, Mechanical Engineering, Systems Design, Model Evaluation, Real-Time Operating Systems, Simulations, Robotics, Differential Equations, Safety Assurance, Artificial Intelligence, Algorithms
总之，以下是 10 最受欢迎的 theory of computation 课程
- 计算机科学 算法、理论和机器: Princeton University
- 数据结构和算法: University of California San Diego
- 计算机科学离散数学入门: University of California San Diego
- Automata and Computability: Birla Institute of Technology & Science, Pilani
- C++: Data Structures and Algorithms: Codio
- 计算机基础: Rice University
- 解决问题的计算思维: University of Pennsylvania
- Discrete Mathematics for Computer Science and Engineering: Birla Institute of Technology & Science, Pilani
- Model Checking with SAT and SMT : University of Colorado Boulder
- Fundamentals of Model Checking: University of Colorado Boulder
