Introduction to Logic

Por: Coursera . en: , ,

Overview

This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.

Syllabus

Lesson 1 - Introduction

Lesson 2 - Propositional Logic

Lesson 3 - Propositional Analysis

Lesson 4 - Propositional Proofs

Lesson 5 - Propositional Resolution

Lesson 6 - Relational Logic

Lesson 7 - Relational Analysis

Lesson 8 - Relational Proofs
-The description goes here

Lesson 9 - Herbrand Logic

Lesson 10 - Herbrand Proofs

Lesson 11 - Induction
-The description goes here

Lesson 12 - Resolution
-The description goes here

Supplementary Material

Plataforma