Introduction to Logic

  • 4.4
Approx. 54 hours to complete

Course Summary

This course is an introduction to logic, covering topics such as propositional logic, predicate logic, and natural deduction. Students will learn how to analyze arguments and construct proofs using formal logic.

Key Learning Points

  • Learn the basics of propositional and predicate logic
  • Understand the rules of inference and natural deduction
  • Develop critical thinking and analytical skills

Related Topics for further study


Learning Outcomes

  • Understand the basic concepts of propositional and predicate logic
  • Be able to analyze arguments and construct proofs using formal logic
  • Develop critical thinking and analytical skills

Prerequisites or good to have knowledge before taking this course

  • No prior knowledge of logic is required
  • Basic math skills are recommended

Course Difficulty Level

Beginner

Course Format

  • Self-paced
  • Online

Similar Courses

  • Introduction to Mathematical Thinking
  • Discrete Mathematics
  • Introduction to Formal Logic

Related Education Paths


Notable People in This Field

  • Bertrand Russell
  • Gottlob Frege
  • Alfred Tarski

Related Books

Description

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.

Outline

  • Lesson 1 - Introduction
  • Lesson 2 - Propositional Logic
  • The Big Game
  • Lesson 3 - Propositional Analysis
  • Lesson 4 - Propositional Proofs
  • Lesson 5 - Propositional Resolution
  • Box Logic (out of focus)
  • Lesson 6 - Relational Logic
  • Lesson 7 - Relational Analysis
  • Lesson 8 - Relational Proofs
  • Lesson 9 - Herbrand Logic
  • Lesson 10 - Herbrand Proofs
  • Lesson 11 - Induction
  • Lesson 12 - Resolution
  • Supplementary Material

Summary of User Reviews

Learn the fundamentals of logic with this introductory course from Coursera. Students praise the engaging lectures and clear explanations that make complex concepts easy to understand. Overall, this course receives high marks from users.

Pros from User Reviews

  • Great introduction to logic
  • Easy to understand complex concepts
  • Engaging and well-structured lectures
  • Excellent instructor

Cons from User Reviews

  • Some students found the pace too slow
  • Limited practical application
  • Not suitable for advanced learners
English
Available now
Approx. 54 hours to complete
Michael Genesereth
Stanford University
Coursera

Instructor

Michael Genesereth

  • 4.4 Raiting
Share
Saved Course list
Cancel
Get Course Update
Computer Courses