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

Results for "computer logic"


  • Status: Preview
    Preview
    K

    Korea Advanced Institute of Science and Technology(KAIST)

    Math for AI beginner part 1 Linear Algebra

    Skills you'll gain: Linear Algebra, Artificial Intelligence and Machine Learning (AI/ML), Artificial Intelligence, Applied Mathematics, Deep Learning, Machine Learning

    4.4
    Rating, 4.4 out of 5 stars
    ·
    33 reviews

    Beginner · Course · 1 - 3 Months

  • 2

    28DIGITAL

    System Validation: Automata and behavioural equivalences

    Skills you'll gain: Verification And Validation, Theoretical Computer Science, System Testing, Embedded Software, Software Systems, Communication Systems, Systems Design, System Design and Implementation, Embedded Systems, Process Modeling, Markov Model

    4.4
    Rating, 4.4 out of 5 stars
    ·
    183 reviews

    Intermediate · Course · 1 - 4 Weeks

  • C

    Coursera

    Aprendiendo Python con circuitos digitales

    Skills you'll gain: Code Reusability, Object Oriented Programming (OOP), Jupyter, Computer Programming, Python Programming, Electrical and Computer Engineering, Program Development, Simulation and Simulation Software, Computational Logic, Simulations, Programming Principles

    4.7
    Rating, 4.7 out of 5 stars
    ·
    25 reviews

    Beginner · Guided Project · Less Than 2 Hours

  • 2

    28DIGITAL

    System Validation (2): Model process behaviour

    Skills you'll gain: Verification And Validation, Embedded Software, Process Modeling, Software Systems, Systems Analysis, Computational Logic, Distributed Computing, Theoretical Computer Science, Data Modeling, Maintainability, Algorithms, Logical Reasoning

    4.1
    Rating, 4.1 out of 5 stars
    ·
    10 reviews

    Intermediate · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    Automated Reasoning: Symbolic Model Checking

    Skills you'll gain: Computational Logic, Theoretical Computer Science, Verification And Validation, Algorithms, Data Structures

    4.7
    Rating, 4.7 out of 5 stars
    ·
    26 reviews

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    C

    Coursera

    Automated Reasoning with GPT Assistant API: ReAct Agents

    Skills you'll gain: OpenAI API, LLM Application, OpenAI, Generative AI Agents, ChatGPT, Cost Benefit Analysis, Tool Calling, Generative AI, Cloud API, AI Integrations, Application Programming Interface (API), Development Environment, Business Logic, Prompt Engineering, Scalability, Business Analysis, Business Solutions, Scripting, TypeScript, Node.JS

    Intermediate · Guided Project · Less Than 2 Hours

  • Status: New
    New
    U

    University of Huddersfield

    Differential Equations & Advanced Applications

    Skills you'll gain: Calculus, Advanced Mathematics, Differential Equations, Applied Mathematics, Model Optimization, Mathematical Theory & Analysis, Mathematical Modeling, Analytical Skills, Engineering Analysis, Derivatives

    Intermediate · Course · 1 - 4 Weeks

  • Status: Free Trial
    Free Trial
    D

    Dartmouth College

    C Programming: Modular Programming and Memory Management - 3

    Skills you'll gain: C (Programming Language), Memory Management, System Programming, Computer Architecture, Embedded Software, Programming Principles, Code Reusability, Computer Programming, Linux

    4.8
    Rating, 4.8 out of 5 stars
    ·
    62 reviews

    Beginner · Course · 1 - 3 Months

  • 2

    28DIGITAL

    System Validation (4): Modelling Software, Protocols, and other behaviour

    Skills you'll gain: Systems Analysis, Communication Systems, Verification And Validation, Computational Logic, Systems Design, Process Modeling, Data Modeling, Software Design, Theoretical Computer Science, Network Protocols

    4.6
    Rating, 4.6 out of 5 stars
    ·
    13 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    T

    Tecnológico de Monterrey

    3.- El Cálculo - Modelo Cúbico

    Skills you'll gain: Applied Mathematics, Algebra, Mathematical Modeling, Graphing, Mathematical Software, General Mathematics, Calculus, Model Optimization, Mathematical Theory & Analysis, Integral Calculus, Graphical Tools, Derivatives

    4.7
    Rating, 4.7 out of 5 stars
    ·
    235 reviews

    Mixed · Course · 1 - 4 Weeks

  • 2

    28DIGITAL

    System Validation (3): Requirements by modal formulas

    Skills you'll gain: Verification And Validation, Computational Logic, System Requirements, Functional Requirement, Systems Design, Functional Specification, Requirements Analysis, Theoretical Computer Science

    4.5
    Rating, 4.5 out of 5 stars
    ·
    13 reviews

    Advanced · Course · 1 - 4 Weeks

  • Status: Preview
    Preview
    P

    Pontificia Universidad Católica de Chile

    Electrónica Digital Bit a Bit: Fundamentos, Verilog y FPGA

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Hardware Design, Computational Logic, Application Specific Integrated Circuits, Computer-Aided Design, Electronic Hardware, Electrical and Computer Engineering, Electrical Engineering, Electronics Engineering, Electronic Systems, Electronics, Semiconductors, Electronic Components, Programming Principles, Engineering Design Process, Test Case, Simulation and Simulation Software

    4.6
    Rating, 4.6 out of 5 stars
    ·
    70 reviews

    Mixed · Course · 1 - 3 Months

1…8910…708

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

  • Math for AI beginner part 1 Linear Algebra: Korea Advanced Institute of Science and Technology(KAIST)
  • System Validation: Automata and behavioural equivalences: 28DIGITAL
  • Aprendiendo Python con circuitos digitales: Coursera
  • System Validation (2): Model process behaviour: 28DIGITAL
  • Automated Reasoning: Symbolic Model Checking: 28DIGITAL
  • Automated Reasoning with GPT Assistant API: ReAct Agents: Coursera
  • Differential Equations & Advanced Applications: University of Huddersfield
  • C Programming: Modular Programming and Memory Management - 3: Dartmouth College
  • System Validation (4): Modelling Software, Protocols, and other behaviour: 28DIGITAL
  • 3.- El Cálculo - Modelo Cúbico: Tecnológico de Monterrey

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