• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Log In
Join for Free
  • Browse
  • Proof Theory

Results for "proof theory"


  • Status: Preview
    Preview
    U

    University of Zurich

    An Intuitive Introduction to Probability

    Skills you'll gain: Probability, Probability Distribution, Probability & Statistics, Statistics, Descriptive Statistics, Applied Mathematics, Risk Analysis, Finance

    4.8
    Rating, 4.8 out of 5 stars
    ·
    1.9K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    T

    Tecnológico de Monterrey

    Cálculo Diferencial e Integral unidos por el Teorema Fundamental del Cálculo

    Skills you'll gain: Calculus, Integral Calculus, Advanced Mathematics, Graphing, Trigonometry, Mathematical Modeling, Mathematical Theory & Analysis, Algebra, Computational Thinking, Applied Mathematics, Mathematical Software, Derivatives

    4.6
    Rating, 4.6 out of 5 stars
    ·
    722 reviews

    Mixed · Course · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    B

    Berklee

    How to Play Guitar

    Skills you'll gain: Music Theory, Music, Musical Composition, Music Performance, Instrumental Music, Performing Arts, Coordination, Creativity

    4.8
    Rating, 4.8 out of 5 stars
    ·
    2.6K reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: Preview
    Preview
    N

    National Taiwan University

    賽局與產業競爭策略 (Game Theory and Business Strategy)

    Skills you'll gain: Game Theory, Business Strategy, Business, Business Marketing, Strategic Decision-Making, Decision Making, Case Studies, Negotiation, Competitive Analysis, Market Dynamics, Product Knowledge

    5
    Rating, 5 out of 5 stars
    ·
    37 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Machine Learning: Theory and Hands-on Practice with Python

    Skills you'll gain: Unsupervised Learning, Supervised Learning, Deep Learning, Machine Learning Algorithms, Dimensionality Reduction, Applied Machine Learning, Decision Tree Learning, Scikit Learn (Machine Learning Library), Matplotlib, Random Forest Algorithm, Machine Learning, Predictive Modeling, Keras (Neural Network Library), Artificial Neural Networks, Python Programming, Classification And Regression Tree (CART), Data Science, Tensorflow, Mathematical Modeling, Computer Vision

    Build toward a degree

    3.4
    Rating, 3.4 out of 5 stars
    ·
    127 reviews

    Intermediate · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    B

    Birla Institute of Technology & Science, Pilani

    Logic for Computer Science

    Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Analytical Skills, Theoretical Computer Science, Computational Thinking, Computer Science, Data Analysis, Computer Programming, Verification And Validation, Algorithms, Program Development, Software Development, Machine Learning

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Combinatorics and Probability

    Skills you'll gain: Combinatorics, Probability, Probability Distribution, Algorithms, Bayesian Statistics, Mathematical Modeling, Statistics, Arithmetic, Python Programming, Simulations

    4.6
    Rating, 4.6 out of 5 stars
    ·
    865 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Mathematical Thinking in Computer Science

    Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Theoretical Computer Science, Combinatorics, Algorithms, Python Programming, Computer Science, Program Development

    4.4
    Rating, 4.4 out of 5 stars
    ·
    2.3K reviews

    Beginner · Course · 1 - 3 Months

  • 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

  • Status: Free
    Free
    J

    Johns Hopkins University

    Mathematics and Democracy Teach Out

    Skills you'll gain: Game Theory, Mathematical Modeling, Political Sciences, Combinatorics, Social Sciences, Probability, Applied Mathematics, Critical Thinking, General Mathematics, Statistical Analysis

    Beginner · Course · 1 - 4 Weeks

  • U

    University of Colorado Boulder

    Temporal Logic Model Checking

    Skills you'll gain: Computational Logic, Systems Architecture, Software Design, Verification And Validation, Systems Design, Theoretical Computer Science, Communication Systems, Simulations, Algorithms, Safety and Security

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    K

    Korea Advanced Institute of Science and Technology(KAIST)

    Applied Math for Materials Science and Engineering

    Skills you'll gain: Integral Calculus, Calculus, Advanced Mathematics, Materials science, Applied Mathematics, Mathematical Theory & Analysis, Engineering Analysis, Mathematical Modeling, Differential Equations, Derivatives

    Intermediate · Course · 1 - 4 Weeks

1…456…182

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

  • An Intuitive Introduction to Probability: University of Zurich
  • Cálculo Diferencial e Integral unidos por el Teorema Fundamental del Cálculo: Tecnológico de Monterrey
  • How to Play Guitar: Berklee
  • 賽局與產業競爭策略 (Game Theory and Business Strategy): National Taiwan University
  • Machine Learning: Theory and Hands-on Practice with Python: University of Colorado Boulder
  • Logic for Computer Science: Birla Institute of Technology & Science, Pilani
  • Combinatorics and Probability: University of California San Diego
  • Mathematical Thinking in Computer Science: University of California San Diego
  • Automated Reasoning: Symbolic Model Checking: EIT Digital
  • Mathematics and Democracy Teach Out: Johns Hopkins University

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