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
Status: Free TrialRice University
Skills you'll gain: Computational Thinking, Programming Principles, Algorithms, Data Structures, Theoretical Computer Science, Computer Programming, Python Programming, Computer Science, Game Theory, Mathematical Modeling, Software Testing
Status: PreviewNational Taiwan University
Skills you'll gain: Computational Logic, Artificial Intelligence, Simulations, Computational Thinking, Theoretical Computer Science, Algorithms, Machine Learning
Status: Free TrialUniversity of Colorado System
Skills you'll gain: Simulations, C (Programming Language), Computational Thinking, Automation, Algorithms, Data Structures, Theoretical Computer Science, Programming Principles, File Management, Debugging
Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, System Software, Systems Design, Software Architecture, Embedded Systems
EIT Digital
Skills you'll gain: Geometry, Algorithms, Computer Graphics, Data Structures, Graph Theory, Spatial Data Analysis, Computational Thinking, Geographic Information Systems, Pseudocode, Theoretical Computer Science, Spatial Analysis
Skills you'll gain: Verification And Validation, Systems Analysis, Systems Design, Computational Logic, Data Structures, Theoretical Computer Science, Distributed Computing, Algorithms, Logical Reasoning
Status: PreviewUniversity of Washington
Skills you'll gain: Ruby (Programming Language), Other Programming Languages, Object Oriented Programming (OOP), Computer Programming, Programming Principles, Functional Design, Computational Thinking, Software Design Patterns, Theoretical Computer Science, Debugging
Status: PreviewKorea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Scala Programming, Other Programming Languages, Computer Programming, Programming Principles, Theoretical Computer Science, Extensible Languages and XML, Concept Of Operations
EIT Digital
Skills you'll gain: Computational Logic, Markov Model, Verification And Validation, Theoretical Computer Science, Mathematical Modeling, Systems Analysis, Probability, Algorithms, Graph Theory, Probability Distribution
Status: PreviewKorea Advanced Institute of Science and Technology(KAIST)
Skills you'll gain: Scala Programming, Programming Principles, Theoretical Computer Science, Other Programming Languages, Computer Programming, Functional Design, Algorithms
Status: PreviewPeking University
Skills you'll gain: Algorithms, Pseudocode, Theoretical Computer Science, Mathematical Modeling, Computational Thinking, Combinatorics, Applied Mathematics, Graph Theory, Mathematical Theory & Analysis, Data Structures, Design Strategies
Status: Free TrialUniversidad Nacional Autónoma de México
Skills you'll gain: Algorithms, Computational Thinking, Theoretical Computer Science, Data Structures, Python Programming, Artificial Intelligence
In summary, here are 10 of our most popular theoretical computer science courses
- Principles of Computing (Part 2): Rice University
- 人工智慧：搜尋方法與邏輯推論 (Artificial Intelligence - Search & Logic): National Taiwan University
- Simulation, Algorithm Analysis, and Pointers: University of Colorado System
- System Validation: Automata and behavioural equivalences: EIT Digital
- Geometric Algorithms: EIT Digital
- System Validation (2): Model process behaviour: EIT Digital
- Programming Languages, Part C: University of Washington
- Programming Languages Ⅱ: Korea Advanced Institute of Science and Technology(KAIST)
- Quantitative Model Checking: EIT Digital
- Programming Languages Ⅰ: Korea Advanced Institute of Science and Technology(KAIST)
