• 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 Colorado Boulder

    Introduction to Modeling for Formal Verification

    Skills you'll gain: Systems Design, Computational Logic, Verification And Validation, Computer Engineering, Communication Systems, Software Systems, Process Modeling, Theoretical Computer Science, Graph Theory

    4.7
    Rating, 4.7 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Dartmouth College

    C Programming: Language Foundations - 2

    Skills you'll gain: Computer Programming Tools, C (Programming Language), Programming Principles, Embedded Systems, Software Development Tools, Computer Engineering, Algorithms, Data Structures, Computer Programming, Computational Logic

    4.7
    Rating, 4.7 out of 5 stars
    ·
    107 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Computational Thinking for K-12 Educators: Abstraction, Methods, and Lists

    Skills you'll gain: Computational Thinking, Debugging, Programming Principles, Technical Communication, Computer Programming, Education Software and Technology, Digital pedagogy, Event-Driven Programming, Cultural Responsiveness, Program Development, Code Reusability, Data Structures, Graphical Tools

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Glasgow

    Computational Thinking with JavaScript 3: Organise & Interact

    Skills you'll gain: Program Development, Web Design and Development, Web Development Tools, Hypertext Markup Language (HTML), Javascript, Interactive Design, Computational Thinking, JavaScript Frameworks, Integrated Development Environments, Development Testing, Maintainability, Software Architecture, Computer Programming Tools, Software Design, Programming Principles, Scalability

    Beginner · Course · 1 - 4 Weeks

  • Status: Free
    Free
    C

    Coursera

    Computational Fluid Mechanics - Airflow Around a Spoiler

    Skills you'll gain: Simulation and Simulation Software, Engineering Analysis, Finite Element Methods, Simulations, Engineering, Computer-Aided Design, Cloud Technologies, Engineering Design Process, Cloud Computing

    4.5
    Rating, 4.5 out of 5 stars
    ·
    391 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • Status: Preview
    Preview
    U

    University of Colorado Boulder

    Model Checking with SAT and SMT

    Skills you'll gain: Graph Theory

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    E

    EDUCBA

    Mastering Python Logic and Data Structures

    Skills you'll gain: Programming Principles, Data Dictionary, Computational Logic, Data Cleansing, Data Structures, Python Programming, Data Manipulation, Logical Reasoning

    4.5
    Rating, 4.5 out of 5 stars
    ·
    11 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Computational Thinking for K-12 Educators: Sequences and Loops

    Skills you'll gain: Program Development, Computational Thinking, Education Software and Technology, Collaborative Software, Digital pedagogy, Programming Principles, Debugging, Computer Programming, Computer Programming Tools, Algorithms, Computer Science, Brainstorming

    4.8
    Rating, 4.8 out of 5 stars
    ·
    26 reviews

    Beginner · Course · 1 - 3 Months

  • Status: Preview
    Preview
    C

    Coursera

    OpenCL Programming

    Skills you'll gain: Memory Management, C and C++, Scalability, Performance Tuning, C++ (Programming Language), Microarchitecture, Computer Architecture, Performance Stress Testing, Cross Platform Development, Hardware Architecture, Computing Platforms, Program Development, Application Frameworks, Software Installation, Development Environment

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Computational Social Science Methods

    Skills you'll gain: Social Network Analysis, Social Sciences, Network Analysis, Data Science, Machine Learning, Machine Learning Methods, Computational Thinking, Economics, Policy, and Social Studies, Artificial Intelligence, Data Analysis, Social Impact, Simulations, Big Data, Data Collection, Scientific Methods, Digital Analysis, Digital Transformation

    4.7
    Rating, 4.7 out of 5 stars
    ·
    356 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    P

    Politecnico di Milano

    FPGA computing systems: A Bird’s Eye View

    Skills you'll gain: Application Specific Integrated Circuits, Computer Systems, System Configuration, System Design and Implementation, Computer Architecture, Hardware Architecture, Computer Hardware, Embedded Systems, Computational Logic, Performance Tuning

    4.6
    Rating, 4.6 out of 5 stars
    ·
    37 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    R

    Rice University

    Principles of Computing (Part 2)

    Skills you'll gain: Computational Thinking, Programming Principles, Algorithms, Data Structures, Theoretical Computer Science, Computer Programming, Program Development, Python Programming, Computer Science, Verification And Validation

    4.8
    Rating, 4.8 out of 5 stars
    ·
    365 reviews

    Intermediate · Course · 1 - 4 Weeks

1…789…111

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

  • Introduction to Modeling for Formal Verification: University of Colorado Boulder
  • C Programming: Language Foundations - 2: Dartmouth College
  • Computational Thinking for K-12 Educators: Abstraction, Methods, and Lists: University of California San Diego
  • Computational Thinking with JavaScript 3: Organise & Interact: University of Glasgow
  • Computational Fluid Mechanics - Airflow Around a Spoiler: Coursera
  • Model Checking with SAT and SMT: University of Colorado Boulder
  • Mastering Python Logic and Data Structures: EDUCBA
  • Computational Thinking for K-12 Educators: Sequences and Loops: University of California San Diego
  • OpenCL Programming: Coursera
  • Computational Social Science Methods: University of California, Davis

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