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

    University of California San Diego

    Skills you'll gain: Logical Reasoning, Computational Logic, Deductive Reasoning, Computational Thinking, Theoretical Computer Science, Combinatorics, Algorithms, Python Programming, Computer Science, Program Development

  • Status: Free Trial

    Universidad Nacional Autónoma de México

    Skills you'll gain: Bayesian Network, Computational Logic, Markov Model, Artificial Intelligence, Game Theory, Theoretical Computer Science, Python Programming, Deductive Reasoning, Probability, Mathematical Modeling, Algorithms

  • Status: New
    Status: Preview

    International Institute of Information Technology, Hyderabad

    Skills you'll gain: Computer Engineering, System Programming, Embedded Systems, Performance Tuning, C (Programming Language), Computational Logic, Numerical Analysis, Algorithms, Debugging

  • Skills you'll gain: Computational Logic, Combinatorics, Logical Reasoning, Mathematical Modeling, Operations Research, Theoretical Computer Science, Applied Mathematics, Algorithms, Linear Algebra, Verification And Validation

  • Status: Free Trial

    Skills you'll gain: Problem Solving, Logical Reasoning, Deductive Reasoning, Analytical Skills, Critical Thinking, Complex Problem Solving, Applied Mathematics, Arithmetic, Computational Logic, Strategic Thinking, Decision Making, Geometry

  • Status: Preview

    University of Illinois Urbana-Champaign

    Skills you'll gain: Application Specific Integrated Circuits, Hardware Design, Computer-Aided Design, Electronic Hardware, Systems Design, Electrical and Computer Engineering, Computer Engineering, Semiconductors, Network Routing, Computational Logic, Data Structures, Algorithms, Graph Theory, Linear Algebra, Applied Mathematics, Mathematical Modeling, Calculus

  • Status: Preview

    University of Amsterdam

    Skills you'll gain: Computational Logic, Logical Reasoning, Deductive Reasoning, General Mathematics

  • Status: Free Trial

    Icahn School of Medicine at Mount Sinai

    Skills you'll gain: Matlab, Bioinformatics, Quantitative Research, Unsupervised Learning, Data Synthesis, Research, Mathematical Modeling, Molecular Biology, Pharmacology, Science and Research, Cell Biology, Biotechnology, Biomedical Technology, Scientific Methods, Physiology, Differential Equations, Computational Logic, Biochemistry, Network Analysis, Biology

  • Status: Free Trial

    Universidad Nacional Autónoma de México

    Skills you'll gain: Supervised Learning, Applied Machine Learning, Unsupervised Learning, Bayesian Network, Computational Logic, Program Development, Machine Learning, Artificial Intelligence, Machine Learning Algorithms, Markov Model, Creativity, Game Theory, Theoretical Computer Science, Algorithms, Software Development, Computational Thinking, Generative AI, Responsible AI, Social Sciences, Bioinformatics

  • Status: Free Trial

    Stanford University

    Skills you'll gain: Data Structures, Graph Theory, Algorithms, Bioinformatics, Theoretical Computer Science, Social Network Analysis, Network Analysis, Computational Thinking, Analysis, Probability & Statistics, Network Routing, Probability, Pseudocode, Computational Logic, Operations Research

  • Birla Institute of Technology & Science, Pilani

    Skills you'll gain: Microarchitecture, Computer Architecture, Computer Systems, Computer Engineering, Programming Principles, Computational Logic, Systems Architecture, Computer Hardware, Embedded Systems, Algorithms

  • Status: Free Trial

    Skills you'll gain: Field-Programmable Gate Array (FPGA), Electronics Engineering, Hardware Design, Electronic Hardware, Computer Engineering, Verification And Validation, Computational Logic, Simulation and Simulation Software, Design Software, Integrated Development Environments, Schematic Diagrams, Simulations, Dataflow, Development Environment

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