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.
19credentials
1online degree
80courses

Most popular

Trending now

New releases

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.
Earn a university-issued career credential in a flexible, interactive format.

Level
Required

Duration
Required

Subtitles
Required

Educator
Required

Results for "computational logic"

  • Status: New
    Status: Free Trial

    Birla Institute of Technology & Science, Pilani

    Skills you'll gain: Integral Calculus, Engineering Calculations, Data Analysis, Probability & Statistics, Engineering Analysis, Computational Logic, Statistical Analysis, Linear Algebra, Logical Reasoning, Deductive Reasoning, Mathematical Modeling, Trigonometry, Analytics, Bayesian Statistics, Statistical Modeling, Artificial Intelligence and Machine Learning (AI/ML), Statistical Inference, Theoretical Computer Science, Programming Principles, Descriptive Analytics

  • Status: Free Trial

    Skills you'll gain: Deductive Reasoning, Critical Thinking, Logical Reasoning, Computational Logic, Analysis, Probability, Sampling (Statistics), Persuasive Communication, Sample Size Determination, Writing, Case Studies, Mathematical Modeling, Scientific Methods, Oral Expression, Correlation Analysis, Communication, Interpersonal Communications, Business Communication, Interactive Learning

  • Status: Free Trial

    Skills you'll gain: Graph Theory, Logical Reasoning, Cryptographic Protocols, Combinatorics, Computational Logic, Deductive Reasoning, Cryptography, Probability, Key Management, Computational Thinking, Encryption, Probability Distribution, Network Analysis, Public Key Cryptography Standards (PKCS), Theoretical Computer Science, Bayesian Statistics, Python Programming, Data Structures, Algorithms, Arithmetic

  • Status: Preview

    Skills you'll gain: Logical Reasoning, Computational Logic, Computational Thinking, Algorithms, Theoretical Computer Science, Artificial Intelligence, Cryptography, Graph Theory

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

    Stanford University

    Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Problem Solving, Business Logic, Complex Problem Solving, Decision Making

What brings you to Coursera today?

  • Status: Preview

    University of Illinois Urbana-Champaign

    Skills you'll gain: Computational Logic, Application Specific Integrated Circuits, Theoretical Computer Science, Data Structures, Verification And Validation, Computer Architecture, Systems Design, Algorithms, Computer Engineering, Mathematical Software, Design Software, Computer Programming Tools, Debugging, Digital Design, Software Development Tools

  • Status: Free Trial

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Application Specific Integrated Circuits, Computational Logic, Computer Architecture, Hardware Design, Electronics Engineering, Electronics, Programmable Logic Controllers, Electronic Systems, Semiconductors, Electronic Components, Data Storage, Data Storage Technologies

  • 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

    University of Colorado Boulder

    Skills you'll gain: Verification And Validation, System Design and Implementation, Technical Design, Computational Logic, Embedded Systems, Hardware Architecture, Simulations, Functional Testing, Debugging

  • Status: Free Trial

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Electronics, Hardware Design, Application Specific Integrated Circuits, Electronics Engineering, Serial Peripheral Interface, Computational Logic, Electrical Engineering, Computer Architecture, Schematic Diagrams, Semiconductors, Electronic Hardware, Electronic Components, Internet Of Things, Embedded Systems, Programmable Logic Controllers, Low Voltage, Electronic Systems, Control Systems, Computer Engineering

  • Status: New
    Status: Free Trial

    Skills you'll gain: Pandas (Python Package), NumPy, Data Manipulation, Data Wrangling, Package and Software Management, Data Analysis, Data Transformation, Unstructured Data, JSON, Object Oriented Programming (OOP), Data Science, Python Programming, Computer Programming, Programming Principles, Data Import/Export, Software Design, Data Validation, Mathematical Software, Computational Logic, Data Structures

What brings you to Coursera today?

Leading partners

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