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"

  • Status: New
    Status: Free Trial

    Skills you'll gain: Integrated Development Environments, User Interface (UI), Jupyter, Application Development, Python Programming, Test Case, Debugging, Computational Logic

  • Skills you'll gain: Relational Databases, Databases, Descriptive Statistics, Object Oriented Programming (OOP), Simulations, Statistical Inference, Data Literacy, Data Visualization Software, Data Visualization, Statistical Hypothesis Testing, Exploratory Data Analysis, Probability Distribution, SQL, Tableau Software, Data Storytelling, Algebra, Computational Logic, Calculus, Trigonometry, Logical Reasoning

  • Status: New
    Status: Free Trial

    Skills you'll gain: PL/SQL, Oracle Databases, SQL, Stored Procedure, Computational Logic, Programming Principles, Business Logic, Data Validation, Data Integrity

  • Status: New
    Status: Free Trial

    Skills you'll gain: Unsupervised Learning, Predictive Modeling, Supervised Learning, Applied Machine Learning, Predictive Analytics, Random Forest Algorithm, Text Mining, Natural Language Processing, Machine Learning Algorithms, Artificial Intelligence, Computational Logic, Python Programming, Scikit Learn (Machine Learning Library), Data Science, Data Processing, Unstructured Data, Algorithms

  • Status: Free

    Skills you'll gain: Theoretical Computer Science, Data Structures, Computer Science, Computer Architecture, Algorithms, Programming Principles, Computational Logic, Computational Thinking, Java Programming, Computer Hardware

  • Status: New
    Status: Free Trial

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

  • 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: Free Trial

    Skills you'll gain: Software Design, Computational Logic, Algorithms, Computer Programming

  • Status: New
    Status: Preview

    Skills you'll gain: Artificial Intelligence, Applied Machine Learning, Computational Logic, Machine Learning, Unsupervised Learning, Bayesian Statistics, Artificial Neural Networks, Reinforcement Learning, Markov Model, Algorithms, Probability & Statistics

  • Status: New
    Status: Free Trial

    Birla Institute of Technology & Science, Pilani

    Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, Analytical Skills, Theoretical Computer Science, Computational Thinking, Computer Science, Data Analysis, Computer Programming, Verification And Validation, Algorithms, Program Development, Software Development, Machine Learning

  • Status: New
    Status: Free Trial

    Skills you'll gain: Computer Graphics, 3D Assets, Video Game Development, Game Design, C# (Programming Language), Animations, Cross Platform Development, Object Oriented Programming (OOP), Program Development, Software Installation, Debugging, Computational Logic

  • Status: Preview

    University of Colorado Boulder

    Skills you'll gain: Computational Logic, Systems Architecture, Software Design, Verification And Validation, Systems Design, Theoretical Computer Science, Communication Systems, Simulations, Algorithms, Safety and Security

Most popular

Trending now

New releases

What brings you to Coursera today?

Leading partners

  • EDUCBA
  • University of Colorado Boulder
  • Packt
  • University of California San Diego
  • Birla Institute of Technology & Science, Pilani
  • Codio
  • L&T EduTech
  • Peking University