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"

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

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

  • 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: Computer Graphics, Game Design, Object Oriented Programming (OOP), 3D Assets, Video Game Development, Animation and Game Design, C# (Programming Language), Animations, Cross Platform Development, Development Environment, Software Installation, User Interface (UI), Debugging, Program Development, Prototyping, Computational Logic, Content Management

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

    Skills you'll gain: Oracle SQL Developer, Oracle Databases, Data Integrity, Business Logic, Stored Procedure, SQL, Database Design, Database Development, Performance Tuning, Relational Databases, Database Management, Database Application, Web Services, Data Access, Programming Principles, Computational Logic, Data Storage Technologies, Authorization (Computing), Debugging, Workflow Management

What brings you to Coursera today?

  • Status: New
    Status: Free Trial

    Birla Institute of Technology & Science, Pilani

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

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

  • 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

  • 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: Web Applications, Computational Logic, Software Development Tools, Business Logic, Application Programming Interface (API), Vulnerability Assessments, Program Development, System Programming, Scalability

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