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

Results for "proof theory"


  • Status: Preview
    Preview
    U

    University of Lausanne

    Healthy Urban systems Part 2 : Theories, models and tools

    Skills you'll gain: Health Systems, Systems Thinking, Health Policy, Public Health, Model Based Systems Engineering, Simulation and Simulation Software, Systems Analysis, Mathematical Modeling, Control Systems, Social Determinants Of Health

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    W

    Whizlabs

    AWS: Security, Management and Governance

    Skills you'll gain: AWS Kinesis, Amazon CloudWatch, AWS Identity and Access Management (IAM), Distributed Denial-Of-Service (DDoS) Attacks, Cloud Security, Data Security, Amazon S3, Authentications, Identity and Access Management, AWS CloudFormation, Key Management, Microservices, Real Time Data, Encryption, Multi-Factor Authentication

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    S

    Scrum Alliance

    Becoming an Agile Coach

    Skills you'll gain: Meeting Facilitation, Coaching, Agile Product Development, Mentorship, Teaching, Employee Coaching, Agile Project Management, Agile Software Development, Agile Methodology, Team Building, Leadership, Team Performance Management, Team Management, Team Leadership, Organizational Leadership, Business Transformation, Culture Transformation, Employee Training, Leadership and Management, Project Management

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    N

    Northeastern University

    Data Structures & Algos: Software Development Skills

    Skills you'll gain: Algorithms, Theoretical Computer Science, Data Structures, Computational Thinking, Analysis, Computer Science, Software Development, Scalability

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    Python: Master House Price Prediction with Linear Regression

    Skills you'll gain: Feature Engineering, Exploratory Data Analysis, Predictive Modeling, Predictive Analytics, Regression Analysis, Supervised Learning, Data Analysis, Scikit Learn (Machine Learning Library), Data Cleansing, Statistical Modeling, Data Validation, Data Transformation, Pandas (Python Package), Matplotlib

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    P

    Packt

    NLP – Embeddings & Text Preprocessing in Python

    Skills you'll gain: Text Mining, Data Processing, Applied Machine Learning, Pandas (Python Package), Data Transformation, NumPy, Unstructured Data, Deep Learning, Feature Engineering, Scikit Learn (Machine Learning Library), Development Environment, Machine Learning

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    P

    Packt

    Mastering Hardware Protocols with ESP32 and Arduinos

    Skills you'll gain: Network Protocols, Communication Systems, Test Equipment, Internet Of Things, Wireless Networks, Integrated Development Environments, Computer Programming Tools, Program Development

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    E

    EDUCBA

    Digital Marketing Strategies: Analyze & Apply

    Skills you'll gain: Marketing Strategies, Digital Marketing, Competitive Analysis, Marketing Effectiveness, Marketing Planning, Performance Analysis, Case Studies, Business Strategies, Digital Advertising, Market Analysis, Advertising Campaigns, Consumer Behaviour, Mobile Banking, Analysis

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Free Trial
    Free Trial
    W

    Whizlabs

    Google Workspace: Administrator Essentials

    Skills you'll gain: Google Workspace, Lightweight Directory Access Protocols, Active Directory, User Accounts, Collaborative Software, Automation, Identity and Access Management, Configuration Management, Application Programming Interface (API)

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Dartmouth College

    Simulation for Digital Transformation

    Skills you'll gain: Simulation and Simulation Software, Digital Transformation, Systems Thinking, Complex Problem Solving, Operations Research, Predictive Analytics, Data-Driven Decision-Making, Verification And Validation, Process Optimization, Data Integration, Risk Management, Python Programming, Event-Driven Programming, Probability & Statistics, Performance Analysis

    Intermediate · Course · 1 - 3 Months

  • Status: New
    New
    Status: Preview
    Preview
    E

    EDUCBA

    Operational Risk Management | US and UK Markets

    Skills you'll gain: Operational Risk, Financial Regulation, Risk Modeling, Bank Regulations, Risk Management Framework, Regulatory Compliance, Risk Control, Risk Management, Business Risk Management, Risk Mitigation, Enterprise Risk Management (ERM), Risk Analysis, Internal Controls, Financial Analysis

    Mixed · Course · 1 - 4 Weeks

  • Status: New
    New
    Status: Preview
    Preview
    O

    O.P. Jindal Global University

    Complexity and Public Policy

    Skills you'll gain: Systems Thinking, Complex Problem Solving, Policy Analysis, Public Policies, Health Policy, Climate Change Programs, Program Evaluation, Political Sciences, Sustainable Development, Economic Development, Social Sciences, Economics, Ethical Standards And Conduct, Computational Thinking, Data Storytelling, Innovation, Decision Making

    Build toward a degree

    Beginner · Course · 1 - 3 Months

1…174175176…183

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

  • Healthy Urban systems Part 2 : Theories, models and tools : University of Lausanne
  • AWS: Security, Management and Governance: Whizlabs
  • Becoming an Agile Coach: Scrum Alliance
  • Data Structures & Algos: Software Development Skills: Northeastern University
  • Python: Master House Price Prediction with Linear Regression: EDUCBA
  • NLP – Embeddings & Text Preprocessing in Python: Packt
  • Mastering Hardware Protocols with ESP32 and Arduinos: Packt
  • Digital Marketing Strategies: Analyze & Apply: EDUCBA
  • Google Workspace: Administrator Essentials: Whizlabs
  • Simulation for Digital Transformation: Dartmouth College

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