• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Theory Of Computation

Theory of Computation Courses

Courses in Theory of Computation often teach formal languages, automata theory, computability, and complexity classes. You can build skills in algorithm design, problem-solving, and understanding the limits of computation. Many courses introduce tools like Turing machines and state diagrams, which help illustrate concepts and analyze computational problems. You'll also explore key topics such as P vs NP, decidability, and the role of algorithms in artificial intelligence, enhancing your ability to tackle complex computational challenges.

Popular Theory of Computation Courses and Certifications


  • U

    University of California San Diego

    Computational Thinking for K-12 Educators: Sequences and Loops

    Skills you'll gain: Program Development, Computational Thinking, Education Software and Technology, Collaborative Software, Digital pedagogy, Programming Principles, Debugging, Computer Programming, Computer Programming Tools, Algorithms, Computer Science, Brainstorming

    ★ 4.8 (26) · Beginner · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
  • N

    Northeastern University

    Program Structure and Algorithms Part 2

    Skills you'll gain: Algorithms, Bayesian Statistics, Theoretical Computer Science, Network Model, Computational Thinking, Data Structures, Graph Theory, Network Analysis, Probability, Probability & Statistics

    Mixed · Course · 1 - 3 Months

    Category: Preview
    Preview
  • U

    University of California, Davis

    Computer Simulations

    Skills you'll gain: Simulations, Social Sciences, Systems Thinking, Agentic systems, Computational Thinking, Social Impact, Sociology, Socioeconomics, Economics, Programming Principles, Scientific Methods

    ★ 4.5 (87) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
  • U

    University of Colorado Boulder

    Introduction to Modeling for Formal Verification

    Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Computer Engineering, Communication Systems, Software Systems, Process Modeling, Theoretical Computer Science, Graph Theory

    ★ 4.7 (11) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
  • B

    Birla Institute of Technology & Science, Pilani

    Cloud Computing Fundamentals

    Skills you'll gain: Docker (Software), Amazon Web Services, Cloud Computing, Cloud Hosting, Cloud Platforms, Cloud Infrastructure, Cloud Solutions, Cloud Services, Cloud Computing Architecture, Cloud Storage, Cloud Management, Containerization, Amazon S3, Amazon Elastic Compute Cloud, Cloud Security, Cloud Applications, Infrastructure As A Service (IaaS), Software As A Service, Cloud-Native Computing, Cloud Deployment

    Intermediate · Course · 1 - 3 Months

    Category: New
    New
    Category: Preview
    Preview
  • É

    École normale supérieure

    Statistical Mechanics: Algorithms and Computations

    Skills you'll gain: Sampling (Statistics), Mathematical Software, Physics, Simulations, Numerical Analysis, Markov Model, Mechanics, Simulation and Simulation Software, Algorithms, Programming Principles, Applied Mathematics, Integral Calculus, Model Optimization, Program Development

    ★ 4.8 (270) · Mixed · Course · 1 - 3 Months

    Category: Free
    Free
  • U

    University of Colorado System

    Algorithms, Data Collection, and Starting to Code

    Skills you'll gain: Computational Thinking, Data Collection, Microsoft Visual Studio, Program Development, C (Programming Language), Programming Principles, Algorithms, Microsoft Development Tools, Integrated Development Environments, Data Storage, Development Environment, Computer Programming, Mathematical Software

    ★ 4.6 (377) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
  • N

    National Taiwan University

    機器學習基石上 (Machine Learning Foundations)---Mathematical Foundations

    Skills you'll gain: Supervised Learning, Model Training, Machine Learning, Machine Learning Methods, Statistical Machine Learning, Model Evaluation, Machine Learning Algorithms, Artificial Intelligence and Machine Learning (AI/ML), Theoretical Computer Science, Classification Algorithms, Mathematical Modeling, Statistical Methods, Probability & Statistics, Algorithms, Statistical Inference

    ★ 4.9 (937) · Beginner · Course · 1 - 3 Months

    Category: Preview
    Preview
  • U

    University of Colorado Boulder

    Model Checking with SAT and SMT

    Skills you'll gain: Graph Theory

    Beginner · Course · 1 - 4 Weeks

    Category: Preview
    Preview
  • I

    Illinois Tech

    Bayesian Computational Statistics

    Skills you'll gain: Bayesian Statistics, Data Analysis, Statistical Inference, Regression Analysis, Data Analysis Software, Statistical Methods, Statistical Analysis, Statistical Modeling, Statistical Programming, Statistical Software, Sampling (Statistics), R (Software), R Programming, Numerical Analysis, Markov Model, Logistic Regression, Probability, Simulations, Model Evaluation, Probability Distribution

    Intermediate · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Build toward a degree
    Build toward a degree
  • U

    University of Colorado Boulder

    Temporal Logic Model Checking

    Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Design, Functional Specification, Process Modeling, Communication Systems, Test Tools, Algorithms, Safety and Security

    Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
  • R

    Rice University

    Algorithmic Thinking (Part 1)

    Skills you'll gain: Graph Theory, Algorithms, Computational Thinking, Data Analysis, Data Structures, Theoretical Computer Science, Network Analysis, Analysis, Programming Principles, Python Programming, Program Development

    ★ 4.6 (385) · Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
1…789…834

In summary, here are 10 of our most popular theory of computation courses

  • Computational Thinking for K-12 Educators: Sequences and Loops: University of California San Diego
  • Program Structure and Algorithms Part 2: Northeastern University
  • Computer Simulations: University of California, Davis
  • Introduction to Modeling for Formal Verification: University of Colorado Boulder
  • Cloud Computing Fundamentals: Birla Institute of Technology & Science, Pilani
  • Statistical Mechanics: Algorithms and Computations: École normale supérieure
  • Algorithms, Data Collection, and Starting to Code: University of Colorado System
  • 機器學習基石上 (Machine Learning Foundations)---Mathematical Foundations: National Taiwan University
  • Model Checking with SAT and SMT: University of Colorado Boulder
  • Bayesian Computational Statistics: Illinois Tech

Skills you can learn in Design And Product

User Interface (18)
User Experience (16)
Software Testing (13)
Game Design (11)
Agile Software Development (10)
Graphics (10)
Virtual Reality (9)
Design Thinking (8)
Web (8)
Video Game Development (7)
Web Design (7)
Adobe Photoshop (6)

Other topics to explore

Arts and Humanities
338 courses
Business
1095 courses
Computer Science
668 courses
Data Science
425 courses
Information Technology
145 courses
Health
471 courses
Math and Logic
70 courses
Personal Development
137 courses
Physical Science and Engineering
413 courses
Social Sciences
401 courses
Language Learning
150 courses

Coursera Footer

Skills

  • Accounting
  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • Human Resources (HR)
  • Microsoft Excel
  • Project Management
  • Python
  • SQL

Professional Certificates

  • Google AI Certificate
  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM AI Engineering Certificate
  • IBM AI Product Manager Certificate
  • IBM Data Science Certificate
  • Intuit Academy Bookkeeping Certificate

Courses & Specializations

  • AI Essentials Specialization
  • AI For Business Specialization
  • AI For Everyone Course
  • AI in Healthcare Specialization
  • Deep Learning Specialization
  • Excel Skills for Business Specialization
  • Financial Markets Course
  • Machine Learning Specialization
  • Prompt Engineering for ChatGPT Course
  • Python for Everybody Specialization

Career Resources

  • Career Aptitude Test
  • CAPM Certification Requirements
  • CompTIA A+ Certification Requirements
  • CompTIA Security+ Certification Requirements
  • Essential IT Certifications
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications
  • Share your Coursera learning story

Coursera

  • About
  • What We Offer
  • Leadership
  • Careers
  • Catalog
  • Coursera Plus
  • Professional Certificates
  • MasterTrack® Certificates
  • Degrees
  • For Enterprise
  • For Government
  • For Campus
  • Become a Partner
  • Social Impact
  • Free Courses
  • Udemy

Community

  • Learners
  • Partners
  • Beta Testers
  • Blog
  • The Coursera Podcast
  • Tech Blog

More

  • Press
  • Investors
  • Terms
  • Privacy
  • Help
  • Accessibility
  • Contact
  • Articles
  • Directory
  • Affiliates
  • Modern Slavery Statement
  • Do Not Sell/Share
Learn Anywhere
Download on the App Store
Get it on Google Play
Logo of Certified B Corporation
© 2026 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok