• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
Log In
Join for Free
  • Browse
  • Theoretical Computer Science

Theoretical Computer Science Courses

Theoretical computer science courses can help you learn algorithms, computational complexity, automata theory, and formal languages. You can build skills in problem-solving, mathematical reasoning, and algorithm analysis, that support tackling complex computational tasks. Many courses introduce tools like Python for algorithm implementation, LaTeX for typesetting mathematical documents, and software for simulating automata, allowing you to apply these concepts in practical scenarios.


Popular Theoretical Computer Science Courses and Certifications


  • E

    EIT Digital

    Quantitative Model Checking

    Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Probability, Algorithms, Graph Theory, Probability Distribution

    4.3
    Rating, 4.3 out of 5 stars
    ·
    54 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    X

    Xi'an Jiaotong University

    系统平台与计算环境

    Skills you'll gain: Operating Systems, Microsoft Office, Computer Networking, Computer Systems, Network Architecture, Theoretical Computer Science, Computer Architecture, Hardware Architecture, Network Protocols, Computer Literacy, Computational Logic, Computing Platforms, Computer Hardware

    3.9
    Rating, 3.9 out of 5 stars
    ·
    35 reviews

    Mixed · Course · 1 - 3 Months

  • E

    EIT Digital

    Approximation Algorithms

    Skills you'll gain: Algorithms, Graph Theory, Computational Thinking, Applied Mathematics, Theoretical Computer Science, Linear Algebra

    4.7
    Rating, 4.7 out of 5 stars
    ·
    33 reviews

    Intermediate · Course · 1 - 4 Weeks

  • E

    EIT Digital

    System Validation (2): Model process behaviour

    Skills you'll gain: Verification And Validation, Systems Analysis, Systems Design, Computational Logic, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms, Logical Reasoning

    4.1
    Rating, 4.1 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    The Chinese University of Hong Kong

    离散优化算法篇 Solving Algorithms for Discrete Optimization

    Skills you'll gain: Operations Research, Process Improvement and Optimization, Process Optimization, Algorithms, Complex Problem Solving, Mathematical Modeling, Data Transformation, Computational Logic, Operational Efficiency, Performance Tuning, Business Logic, Programming Principles, Theoretical Computer Science, Linear Algebra

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Codio

    Java: Linear Data Structures and Trees

    Skills you'll gain: Data Structures, Java, Theoretical Computer Science, Programming Principles, Algorithms, Object-Relational Mapping

    Intermediate · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    C

    Copenhagen Business School

    AI and the Illusion of Intelligence

    Skills you'll gain: Artificial Intelligence, Large Language Modeling, Natural Language Processing, Theoretical Computer Science, Statistical Machine Learning, Statistical Analysis, Artificial Neural Networks, Responsible AI, Computational Thinking, Human Computer Interaction

    4.7
    Rating, 4.7 out of 5 stars
    ·
    25 reviews

    Beginner · Course · 1 - 4 Weeks

  • E

    EIT Digital

    Automated Reasoning: Symbolic Model Checking

    Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures

    4.7
    Rating, 4.7 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • E

    EIT Digital

    Automated Reasoning: satisfiability

    Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    45 reviews

    Intermediate · Course · 1 - 4 Weeks

  • E

    EIT Digital

    System Validation (3): Requirements by modal formulas

    Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Data Validation, Functional Requirement, Systems Design, Theoretical Computer Science

    4.5
    Rating, 4.5 out of 5 stars
    ·
    13 reviews

    Advanced · Course · 1 - 4 Weeks

  • D

    Duke University

    Understand Big O Notation in Python

    Skills you'll gain: Scalability, Performance Analysis, Simulations, Algorithms, Complex Problem Solving, Theoretical Computer Science, Python Programming, Data Structures, Software Architecture, Software Engineering

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Free Trial
    Free Trial
    C

    Codio

    C++: Linear Data Structures and Trees

    Skills you'll gain: Data Structures, C++ (Programming Language), Programming Principles, Algorithms, Theoretical Computer Science, Object Oriented Programming (OOP)

    Intermediate · Course · 1 - 4 Weeks

1…78910

In summary, here are 10 of our most popular theoretical computer science courses

  • Quantitative Model Checking: EIT Digital
  • 系统平台与计算环境: Xi'an Jiaotong University
  • Approximation Algorithms: EIT Digital
  • System Validation (2): Model process behaviour: EIT Digital
  • 离散优化算法篇 Solving Algorithms for Discrete Optimization: The Chinese University of Hong Kong
  • Java: Linear Data Structures and Trees: Codio
  • AI and the Illusion of Intelligence: Copenhagen Business School
  • Automated Reasoning: Symbolic Model Checking: EIT Digital
  • Automated Reasoning: satisfiability: EIT Digital
  • System Validation (3): Requirements by modal formulas: EIT Digital

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

  • Artificial Intelligence (AI)
  • Cybersecurity
  • Data Analytics
  • Digital Marketing
  • English Speaking
  • Generative AI (GenAI)
  • Microsoft Excel
  • Microsoft Power BI
  • Project Management
  • Python

Certificates & Programs

  • Google Cybersecurity Certificate
  • Google Data Analytics Certificate
  • Google IT Support Certificate
  • Google Project Management Certificate
  • Google UX Design Certificate
  • IBM Data Analyst Certificate
  • IBM Data Science Certificate
  • Machine Learning Certificate
  • Microsoft Power BI Data Analyst Certificate
  • UI / UX Design Certificate

Industries & Careers

  • Business
  • Computer Science
  • Data Science
  • Education & Teaching
  • Engineering
  • Finance
  • Healthcare
  • Human Resources (HR)
  • Information Technology (IT)
  • Marketing

Career Resources

  • Career Aptitude Test
  • Examples of Strengths and Weaknesses for Job Interviews
  • High-Income Skills to Learn
  • How Does Cryptocurrency Work?
  • How to Highlight Duplicates in Google Sheets
  • How to Learn Artificial Intelligence
  • Popular Cybersecurity Certifications
  • Preparing for the PMP Certification
  • Signs You Will Get the Job After an Interview
  • What Is Artificial Intelligence?

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
  • Share your Coursera learning story

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
© 2025 Coursera Inc. All rights reserved.
  • Coursera Facebook
  • Coursera Linkedin
  • Coursera Twitter
  • Coursera YouTube
  • Coursera Instagram
  • Coursera TikTok