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

Results for "computational logic"


  • 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, Programming Principles, Python Programming, Computer Programming, Applied Mathematics, Arithmetic

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

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    J

    Johns Hopkins University

    Precalculus through Data and Modelling

    Skills you'll gain: Data Literacy, Data Analysis, Applied Mathematics, Mathematical Modeling, Graphing, Trigonometry, R (Software), R Programming, General Mathematics, Data Modeling, Algebra, Systems Of Measurement, Mathematical Software, Correlation Analysis, Regression Analysis, Calculus, Business Mathematics, Geometry

    4.7
    Rating, 4.7 out of 5 stars
    ·
    325 reviews

    Beginner · Specialization · 3 - 6 Months

  • Status: New
    New
    Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Fundamentals of Model Checking

    Skills you'll gain: Computational Logic, Systems Design, Verification And Validation, Computer Engineering, Communication Systems, Systems Analysis, Software Systems, Process Modeling, Theoretical Computer Science, Computational Thinking, Functional Specification, Software Architecture, Model Optimization, Software Design, Graph Theory, Software Testing, Software Quality Assurance, Computer Architecture, Test Tools, Logical Reasoning

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Beginner · Specialization · 1 - 3 Months

  • Status: Preview
    Preview
    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
    Rating, 4.4 out of 5 stars
    ·
    656 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    VLSI CAD Part I: Logic

    Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Data Structures, Verification And Validation, Systems Design, Algorithms, Programming Principles, Design Software, Model Optimization, Digital Design

    4.6
    Rating, 4.6 out of 5 stars
    ·
    557 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Preview
    Preview
    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
    Rating, 4.6 out of 5 stars
    ·
    34 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    U

    University of Illinois Urbana-Champaign

    VLSI CAD Part II: Layout

    Skills you'll gain: Application Specific Integrated Circuits, Hardware Design, Computer-Aided Design, Electronic Hardware, Systems Design, Computer Architecture, Electrical and Computer Engineering, Computer Engineering, Engineering Design Process, Electronics Engineering, Network Routing, Computational Logic, Electrical Engineering, Data Structures, Algorithms, Graph Theory, Applied Mathematics, Mathematical Modeling, Calculus

    4.7
    Rating, 4.7 out of 5 stars
    ·
    284 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    L

    L&T EduTech

    Fundamentals of Digital Design for VLSI Chip Design

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Computational Logic, Computer Architecture, Hardware Design, Hardware Architecture, Memory Management, Electronics, Electronic Systems, Electronic Components, Diagram Design, Data Storage, Data Storage Technologies, Algorithms

    4.5
    Rating, 4.5 out of 5 stars
    ·
    135 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: New
    New
    U

    University of Colorado Boulder

    Computational Bayesian Statistics for Data Science

    Skills you'll gain: Bayesian Statistics, Data Science, Statistical Machine Learning, Statistical Methods, Statistical Software, Statistical Analysis, Mathematics and Mathematical Modeling, Computational Logic, Statistical Inference, Probability & Statistics, Machine Learning Methods, Computational Thinking

    Intermediate · Course · 1 - 3 Months

  • Status: Free
    Free
    P

    Princeton University

    Computer Science: Algorithms, Theory, and Machines

    Skills you'll gain: Theoretical Computer Science, Data Structures, Computer Science, Computer Architecture, Computer Systems, Algorithms, Computer Programming, Computational Logic, Java Programming, Computer Hardware, Scalability

    4.7
    Rating, 4.7 out of 5 stars
    ·
    775 reviews

    Intermediate · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Michigan

    Problem Solving Using Computational Thinking

    Skills you'll gain: Computational Thinking, Programming Principles, Problem Solving, Disaster Recovery, Algorithms, Computer Programming, Epidemiology

    4.6
    Rating, 4.6 out of 5 stars
    ·
    1.3K reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of London

    Introduction to Computer Science and Programming

    Skills you'll gain: Computer Science, Debugging, Development Environment, Computer Systems, Web Applications, Arithmetic, Computer Literacy, General Networking, Javascript, Network Security, Computer Networking, Application Security, Computational Thinking, Program Development, Applied Mathematics, JavaScript Frameworks, Computer Programming, General Mathematics, Numerical Analysis, Problem Solving

    Build toward a degree

    4.2
    Rating, 4.2 out of 5 stars
    ·
    1.6K reviews

    Beginner · Specialization · 1 - 3 Months

1234…110

In summary, here are 10 of our most popular computational logic courses

  • Mathematical Thinking in Computer Science: University of California San Diego
  • Precalculus through Data and Modelling: Johns Hopkins University
  • Fundamentals of Model Checking: University of Colorado Boulder
  • Introduction to Logic: Stanford University
  • VLSI CAD Part I: Logic: University of Illinois Urbana-Champaign
  • An Introduction to Logic for Computer Science: University of Leeds
  • VLSI CAD Part II: Layout: University of Illinois Urbana-Champaign
  • Fundamentals of Digital Design for VLSI Chip Design: L&T EduTech
  • Computational Bayesian Statistics for Data Science: University of Colorado Boulder
  • Computer Science: Algorithms, Theory, and Machines: Princeton 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
  • High-Income Skills to Learn
  • How to Learn Artificial Intelligence
  • PMP Certification Requirements
  • Popular Cybersecurity Certifications
  • Share your Coursera learning story

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
  • Udemy

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