• 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, Davis

    Computational Social Science

    Skills you'll gain: Network Analysis, Social Network Analysis, Data Wrangling, Natural Language Processing, Web Scraping, Data Cleansing, Social Sciences, Data Ethics, Databases, Artificial Intelligence, Research, Social Media Analytics, Simulations, Big Data, Applied Machine Learning, Systems Thinking, Data Science, Research Methodologies, Machine Learning, Agentic systems

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

    Beginner · Specialization · 3 - 6 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Verification and Synthesis of Autonomous Systems

    Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Analysis, Functional Specification, Algorithms

    Build toward a degree

    3.8
    Rating, 3.8 out of 5 stars
    ·
    12 reviews

    Intermediate · Course · 1 - 4 Weeks

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

    EDUCBA

    Mastering Python Logic and Data Structures

    Skills you'll gain: Programming Principles, Data Dictionary, Computational Logic, Data Cleansing, Data Structures, Python Programming, Verification And Validation, Data Manipulation, Memory Management, Logical Reasoning

    4.5
    Rating, 4.5 out of 5 stars
    ·
    11 reviews

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado Boulder

    Temporal Logic Model Checking

    Skills you'll gain: Computational Logic, Verification And Validation, Theoretical Computer Science, Systems Design, Functional Specification, Process Modeling, Communication Systems, Test Tools, Algorithms

    Beginner · Course · 1 - 4 Weeks

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

    EDUCBA

    Apply C Programming to Build an Online Exam Portal

    Skills you'll gain: Data Persistence, File I/O, C (Programming Language), Debugging, Code Reusability, Computational Thinking, File Management, Programming Principles, C and C++, Program Development, Data Storage, Application Design

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Abstraction, Problem Decomposition, and Functions

    Skills you'll gain: Computational Thinking, C (Programming Language), Programming Principles, Computer Programming, Code Reusability, Data Storage

    4.6
    Rating, 4.6 out of 5 stars
    ·
    37 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California, Davis

    Computer Simulations

    Skills you'll gain: Simulations, Social Sciences, Systems Thinking, Agentic systems, Social Impact, Computational Thinking, Sociology, Socioeconomics, Economics, Programming Principles, Scientific Methods

    4.5
    Rating, 4.5 out of 5 stars
    ·
    87 reviews

    Beginner · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Computational Thinking for K-12 Educators: Nested If Statements and Compound Conditionals

    Skills you'll gain: Debugging, Computer Programming Tools, Digital pedagogy, Program Development, Computational Logic, Computational Thinking, Education Software and Technology, Programming Principles, Computer Programming, Game Design

    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, Performance Tuning, Memory Management, Scalability

    Mixed · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    U

    University of California San Diego

    Computational Thinking for K-12 Educators: Conditional Loops and If Statements

    Skills you'll gain: Debugging, Program Development, Programming Principles, Computational Thinking, Computational Logic, Diversity Equity and Inclusion Initiatives, Digital pedagogy, Computer Programming, Event-Driven Programming, Computer Science

    Beginner · Course · 1 - 3 Months

  • Status: Free Trial
    Free Trial
    U

    University of Colorado System

    Algorithms, Data Collection, and Starting to Code

    Skills you'll gain: Computational Thinking, Data Collection, Microsoft Visual Studio, Program Development, C (Programming Language), Programming Principles, Algorithms, Microsoft Development Tools, Integrated Development Environments, Data Storage, Development Environment, Computer Programming, Mathematical Software

    4.6
    Rating, 4.6 out of 5 stars
    ·
    377 reviews

    Beginner · Course · 1 - 4 Weeks

1…678…110

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

  • Computational Social Science: University of California, Davis
  • Verification and Synthesis of Autonomous Systems: University of Colorado Boulder
  • Introduction to Modeling for Formal Verification: University of Colorado Boulder
  • Mastering Python Logic and Data Structures: EDUCBA
  • Temporal Logic Model Checking : University of Colorado Boulder
  • Apply C Programming to Build an Online Exam Portal: EDUCBA
  • Abstraction, Problem Decomposition, and Functions: University of Colorado System
  • Computer Simulations: University of California, Davis
  • Computational Thinking for K-12 Educators: Nested If Statements and Compound Conditionals : University of California San Diego
  • Data Structures & Algos: Software Development Skills: Northeastern 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