YoVDO

Introduction to Logic

Offered By: Stanford University via Coursera

Tags

Computer Science Courses Mathematics Courses Business Courses Engineering Courses Science Courses Mathematical logic Courses Logic Courses Propositional Logic Courses Reasoning Courses

Course Description

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

  • Unit 1 - Introduction
  • Unit 2 - Propositional Logic
  • Unit 3 - Relational Logic
  • Unit 4 - Functional Logic
  • Unit 5 - Conclusion

Taught by

Michael Genesereth

Tags

Related Courses

Introduction to Cognitive Psychology: An Experimental Science
University of York via FutureLearn Intro Logic: Critical Thinking
City College of San Francisco via California Community Colleges System Critical Thinking
Chaffey College via California Community Colleges System Logic and Argumentation
Chaffey College via California Community Colleges System Building Agentic RAG with LlamaIndex
DeepLearning.AI via Coursera