Computational Logic

Computational Logic is a form of reasoning that involves the manipulation of logical statements in the form of mathematical expressions. Coursera's Computational Logic catalogue equips you with the ability to apply logical methods to computation, understand the mathematical formalisms that underpin computer systems, and design algorithms based on logical principles. You'll learn about the representation of formal logic, automated theorem proving, model checking, and logic programming among others. Whether you're a computer scientist, a software engineer, a mathematician, or simply interested in computational theory, mastering these skills will help you understand and implement logical structures in various computational contexts.
20credentials
2online degrees
83courses

Filter by

Subject
Required

Language
Required

The language used throughout the course, in both instruction and assessments.

Learning Product
Required

Build job-relevant skills in under 2 hours with hands-on tutorials.
Learn from top instructors with graded assignments, videos, and discussion forums.
Get in-depth knowledge of a subject by completing a series of courses and projects.
Earn your Bachelor’s or Master’s degree online for a fraction of the cost of in-person learning.

Level
Required

Duration
Required

Subtitles
Required

Educator
Required

Results for "computational logic"

  • Status: Preview

    Skills you'll gain: Computer Architecture, Computer Hardware, Computer Engineering, Computational Logic, Computer Programming, System Design and Implementation, Software Design, Debugging, Computer Programming Tools, Verification And Validation, Data Storage

  • Status: Free Trial

    Skills you'll gain: Matlab, Computer Programming, Programming Principles, Debugging, Mathematical Software, Development Environment, Computer Science, User Interface (UI), File Management, Data Import/Export, Data Structures, Computational Logic, Engineering Calculations, Plot (Graphics), Problem Solving

  • Skills you'll gain: Computational Logic, Theoretical Computer Science, Systems Analysis, Graph Theory, Verification And Validation, Algorithms, Data Structures

  • Status: Free Trial

    University of Michigan

    Skills you'll gain: Object Oriented Programming (OOP), Animation and Game Design, Interactive Data Visualization, Software Design, Technical Design, Data Structures, Visualization (Computer Graphics), Interactive Design, Programming Principles, Graphic and Visual Design, Python Programming, Generative AI, Simulations, Computer Graphics, Design, Computational Logic, Computer Programming, Creative Design, Data Import/Export, Computational Thinking

  • Status: Free Trial

    University of Colorado Boulder

    Skills you'll gain: Computational Logic, Mathematical Modeling, Systems Design, Theoretical Computer Science, System Requirements, Data Modeling, Software Systems, Verification And Validation, Simulations, Automation Engineering, Systems Analysis, Automation, System Testing, Safety Assurance, Cyber Engineering, Mechanical Engineering, Control Systems, Differential Equations, Computer Science, System Design and Implementation

  • Status: New
    Status: Preview

    Heriot-Watt University

    Skills you'll gain: Object Oriented Programming (OOP), Java, Java Programming, Computer Programming, Application Development, Program Development, Programming Principles, Computational Logic, Software Development, Software Development Life Cycle, Debugging

  • Status: Preview

    Skills you'll gain: Theoretical Computer Science, Computational Logic, Graph Theory, Logical Reasoning, Spatial Data Analysis, Deductive Reasoning, Network Analysis, Computational Thinking, Algebra, Algorithms

  • Status: Free Trial

    Pontificia Universidad Católica de Chile

    Skills you'll gain: Semiconductors, Electronic Systems, Electronics, Electronic Components, Basic Electrical Systems, Electronics Engineering, Power Electronics, Engineering Design Process, Schematic Diagrams, Performance Testing, Computational Logic, System Design and Implementation, Mathematical Modeling, Physics, Engineering Analysis, Engineering Calculations

  • Status: Preview

    Skills you'll gain: Computational Logic, Artificial Intelligence, Simulations, Computational Thinking, Theoretical Computer Science, Algorithms, Machine Learning

  • Status: Preview

    Hebrew University of Jerusalem

    Skills you'll gain: Electrophysiology, Artificial Neural Networks, Neurology, Computer Science, Cell Biology, Physiology, Psychology, Basic Electrical Systems, Network Analysis, Computational Logic, Simulation and Simulation Software, Mathematical Modeling, Biology

  • Status: Preview

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

  • Status: Preview

    University of California, Santa Cruz

    Skills you'll gain: Systems Design, Model Based Systems Engineering, Mathematical Modeling, Simulations, Control Systems, Network Model, Embedded Systems, Systems Analysis, Technical Design, Computational Logic, Digital Communications

Most popular

Trending now

New releases

What brings you to Coursera today?

Leading partners

  • EDUCBA
  • University of Colorado Boulder
  • Packt
  • Pontificia Universidad Católica de Chile
  • University of California San Diego
  • Birla Institute of Technology & Science, Pilani
  • Codio
  • L&T EduTech