Udemy
    •  
    •  
    •  
    •  
    •  
    •  
    •  
    •  
Subscribe
Turn what you know into an opportunity and reach millions around the world.
Learn More
Your cart is empty.
Keep shopping
Introduction to Computational Logic
Rating: 4.4 out of 5(137 ratings)
464 students

Introduction to Computational Logic

Propositional Logic, Natural Rules for Deduction, Derived Rules for Deduction, and Predicate Logic
Created byDr.Deeba K
Last updated 9/2023
English

What you'll learn

  • Understand the basics of Propositional logic
  • Acquire skills on natural detection rules to handle Propositional logic
  • Acquire skills on derived rules to handle Propositional logic
  • Understand the First order Logic

Course content

6 sections • 21 lectures • 4h 8m total length

  • Introduction2:15
  • Introduction to Propositional Logic18:19
  • Unique Parsing11:17
  • Determining Proper Propositions12:09
  • Interpretation of Propositional Logic Statement14:01
  • Assessment in Introduction to Propositional Logic

Requirements

  • No prerequisites are there for this course. Students can listen to the lectures to understand computational logic concepts from base.

Description

The aim of logic in computer science is to develop languages to model the situations we encounter as computer science professionals, in such a way that we can reason about them formally. Reasoning about situations means constructing arguments about them; we want to do this formally, so that the arguments are valid and can be defended rigorously, or executed on a machine.


In order to make arguments rigorous, we need to develop a language in which we can express sentences in such a way that brings out their logical structure. The language we begin with is the language of propositional logic. It is based on propositions, or declarative sentences which one can, in principle, argueas being true or false.


The outline of this course is given as,

Introduction to Propositional Logic, Parse tree, valuation of Propositional Logic statements, Model in propositional logic

How do we go about constructing a calculus for reasoning about propositions given a certain arrangement of premises. - Natural Rules for Deduction, Examples of Natural Deduction Rules

Derived Rules for Deduction, Proof by contradiction, Modus Tollens,Law of Excluded middle portion and Double negation elimination

Introduction to Predicate Logic, Natural language statements to Predicate logic statements

Parse tree, substitution and Model in First order logic


Who this course is for:

  • Computer science students
  • Students who wants to learn computational logic
  • Anybody who wants to pursue a career in Computer Science Engineering

Report abuse