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"

  • Skills you'll gain: Excel Macros, Visual Basic (Programming Language), Microsoft Excel, Data Structures, Excel Formulas, Scripting, Programming Principles, Automation, Productivity Software, Scripting Languages, Computational Logic

  • Status: Free Trial

    Skills you'll gain: Computational Logic, Theoretical Computer Science, System Requirements, Verification And Validation, Mathematical Modeling, Control Systems, Computer Science, Artificial Intelligence

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

    Skills you'll gain: Algorithms, Pseudocode, Theoretical Computer Science, Computational Thinking, Combinatorics, Mathematical Modeling, Graph Theory, Data Structures, Mathematical Theory & Analysis, Applied Mathematics, Computational Logic, Network Routing, Design Strategies, Operations Research

  • Status: Free

    Skills you'll gain: Sampling (Statistics), Physics, Simulations, Computational Logic, Numerical Analysis, Markov Model, Quantitative Research, Algorithms, Applied Mathematics, Linear Algebra, Integral Calculus

  • Status: Preview

    Skills you'll gain: Reinforcement Learning, Deep Learning, Theoretical Computer Science, Artificial Neural Networks, Artificial Intelligence, Machine Learning, Computational Logic, Supervised Learning, Computer Science, Decision Tree Learning, Unsupervised Learning, Algorithms

  • Status: Preview

    Shanghai Jiao Tong University

    Skills you'll gain: Combinatorics, Graph Theory, Data Structures, Algorithms, Logical Reasoning, Theoretical Computer Science, Computational Thinking, Computer Science, Applied Mathematics, Deductive Reasoning, Computational Logic, Network Analysis, Arithmetic, Applied Machine Learning, Probability

  • Status: Preview

    Georgia Institute of Technology

    Skills you'll gain: Game Theory, Combinatorics, Mathematical Theory & Analysis, Computational Logic, Mathematical Modeling

  • 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

    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

  • Status: Preview

    Skills you'll gain: Data Structures, 3D Modeling, Computational Logic, Visualization (Computer Graphics), Design, Generative Model Architectures, Python Programming, Animations, Scripting, Computer Programming

  • Status: Preview

    Skills you'll gain: Hardware Design, Electronic Hardware, Application Specific Integrated Circuits, Electronic Systems, Systems Design, Computational Logic, Computer Programming Tools, Computer Architecture, Digital Design, Verification And Validation, Development Environment, Simulation and Simulation Software, Computer-Aided Design

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