• For Individuals
  • For Businesses
  • For Universities
  • For Governments
Degrees
​
Log In
Join for Free
  • Browse
  • Proofs

Results for "proofs"


  • U

    University of Leeds

    An Introduction to Logic for Computer Science

    Skills you'll gain: Logical Reasoning, Deductive Reasoning, Computational Logic, Computational Thinking, Algorithms, Artificial Intelligence, Cryptography, Graph Theory

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

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • T

    The Hong Kong University of Science and Technology

    Discrete Math for Computer Science - Logic & Set Theory

    Skills you'll gain: Computational Logic, Logical Reasoning, Theoretical Computer Science, Deductive Reasoning, Programming Principles, Mathematics and Mathematical Modeling, Computer Science, Algorithms

    Beginner · Course · 1 - 3 Months

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • U

    Universidad de Palermo

    Matemática Preuniversitaria

    Skills you'll gain: Algebra, Arithmetic, Mathematical Modeling, General Mathematics, Applied Mathematics, Graphing

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

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • T

    The Hong Kong University of Science and Technology

    Mastering Statics

    Skills you'll gain: Structural Engineering, Structural Analysis, Torque (Physics), Mechanics, Engineering Calculations, Mechanical Engineering, Civil Engineering, Mechanical Design, Engineering Analysis, Engineering, Engineering Drawings, Geometry, Trigonometry, Integral Calculus, Algebra

    ★ 4.8 (239) · Intermediate · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • U

    University of California San Diego

    Combinatorics and Probability

    Skills you'll gain: Combinatorics, Probability, Probability & Statistics, Algorithms, Bayesian Statistics, Mathematical Modeling, Computational Thinking, Statistical Methods, Arithmetic, Applied Mathematics, Program Development, Python Programming

    ★ 4.6 (869) · Beginner · Course · 1 - 3 Months

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • C

    Coursera

    Evaluate LLMs: Test and Prove Significance

    Skills you'll gain: Statistical Visualization, Model Evaluation, Data Presentation, Scientific Visualization, Statistical Hypothesis Testing, Model Deployment, Statistical Analysis, Statistical Software, Data Storytelling, Large Language Modeling, Statistical Methods, Data-Driven Decision-Making, Statistical Programming, Matplotlib, Statistical Inference, Statistics, Experimentation, Performance Metric

    Intermediate · Course · 1 - 4 Weeks

    Category: New
    New
    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • B

    Board Infinity

    Deep Dive into Cryptography

    Skills you'll gain: Blockchain, Cryptography, Encryption, Key Management, Cryptographic Protocols, Data Security, Quantum computing, Information Privacy, Algorithms

    Intermediate · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • D

    Deep Teaching Solutions

    Rethinking Logic: Surprising Science of Critical Thinking

    Skills you'll gain: Critical Thinking, Curiosity, Critical Thinking and Problem Solving, Deductive Reasoning, Logical Reasoning, Open Mindset, Lifelong Learning, Problem Solving, Growth Mindedness, Cognitive flexibility, Decision Making

    ★ 4.9 (47) · Beginner · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • J

    Johns Hopkins University

    Mathematical Biostatistics Boot Camp 1

    Skills you'll gain: Sampling (Statistics), Bayesian Statistics, Probability & Statistics, Statistical Inference, Statistical Methods, Statistics, Probability, Probability Distribution, Data Analysis, Statistical Analysis, Biostatistics, Statistical Hypothesis Testing, R Programming

    ★ 4.4 (544) · Mixed · Course · 1 - 4 Weeks

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
  • S

    Stanford University

    Introduction to Logic

    Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Problem Solving, Mathematics and Mathematical Modeling, Business Logic

    ★ 4.4 (655) · Intermediate · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • É

    École Polytechnique

    Aléatoire : une introduction aux probabilités - Partie 1

    Skills you'll gain: Probability, Probability Distribution, Simulations, Probability & Statistics, Statistical Methods, Sampling (Statistics), Mathematical Theory & Analysis, Correlation Analysis, Applied Mathematics

    ★ 4.5 (105) · Mixed · Course · 1 - 3 Months

    Category: Preview
    Preview
    Category: Credit offered
    Credit offered
  • J

    Johns Hopkins University

    Algebra: Elementary to Advanced - Equations & Inequalities

    Skills you'll gain: Algebra, Arithmetic, Mathematical Modeling, Applied Mathematics, Advanced Mathematics, Graphing, Probability & Statistics

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

    Status: Free Trial
    Free Trial
    Category: Credit offered
    Credit offered
1…456…10

In summary, here are 10 of our most popular proofs courses

  • An Introduction to Logic for Computer Science: University of Leeds
  • Discrete Math for Computer Science - Logic & Set Theory: The Hong Kong University of Science and Technology
  • Matemática Preuniversitaria: Universidad de Palermo
  • Mastering Statics: The Hong Kong University of Science and Technology
  • Combinatorics and Probability: University of California San Diego
  • Evaluate LLMs: Test and Prove Significance: Coursera
  • Deep Dive into Cryptography: Board Infinity
  • Rethinking Logic: Surprising Science of Critical Thinking: Deep Teaching Solutions
  • Mathematical Biostatistics Boot Camp 1: Johns Hopkins University
  • Introduction to Logic: Stanford 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

  • 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
  • Free IT Certifications and Courses
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications

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