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.
21credentials
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"

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

  • Status: Free Trial

    Skills you'll gain: Object Oriented Programming (OOP), Programming Principles, Computer Programming, Scripting Languages, Data Import/Export, Data Structures, Python Programming, Scripting, Computational Logic, Computer Science, File Management

  • Status: Free Trial

    Peking University

    Skills you'll gain: Data Structures, C++ (Programming Language), Algorithms, Object Oriented Programming (OOP), C (Programming Language), Programming Principles, Computational Thinking, Graph Theory, Theoretical Computer Science, Computer Science, Computer Programming, Program Development, Pseudocode, Computer Architecture, Data Storage, Application Development, Software Design, Maintainability, Computational Logic, Database Systems

  • Status: Free Trial

    University of Colorado Boulder

    Skills you'll gain: Biological Engineering, Markov Model, Molecular Biology, Biotechnology, Bioinformatics, Simulation and Simulation Software, Mathematical Modeling, Engineering Analysis, Electrical Engineering, Engineering Design Process, Simulations, Biochemistry, Computational Thinking, Failure Analysis, Computational Logic, Differential Equations, Cell Biology, Hazard Analysis, Technical Design, Numerical Analysis

  • 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

  • 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

    Skills you'll gain: Verification And Validation, Computational Logic, Theoretical Computer Science, Automation, System Testing, Systems Design, System Design and Implementation, Algorithms

  • 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

    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: Preview

    Skills you'll gain: Education Software and Technology, Computational Thinking, Computer Programming, Computational Logic, Computer Programming Tools, Prototyping, Design Thinking, Artificial Intelligence, Innovation, Embedded Systems, Creative Design

  • Status: Preview

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

  • Status: Free Trial

    The Hong Kong University of Science and Technology

    Skills you'll gain: Linear Algebra, Engineering Calculations, Algebra, Engineering Analysis, General Mathematics, Advanced Mathematics, Applied Mathematics, Arithmetic, Computational Logic