课程信息
4.5
448 ratings
96 reviews
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....
Globe

100% 在线课程

立即开始,按照自己的计划学习。
Calendar

可灵活调整截止日期

根据您的日程表重置截止日期。
Intermediate Level

中级

Clock

建议:10 weeks of study, 4-8 hours/week

完成时间大约为18 小时
Comment Dots

English

字幕:English, Chinese (Simplified), Greek, Portuguese (Brazilian), German, Turkish, Spanish, Polish

您将获得的技能

Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
Globe

100% 在线课程

立即开始,按照自己的计划学习。
Calendar

可灵活调整截止日期

根据您的日程表重置截止日期。
Intermediate Level

中级

Clock

建议:10 weeks of study, 4-8 hours/week

完成时间大约为18 小时
Comment Dots

English

字幕:English, Chinese (Simplified), Greek, Portuguese (Brazilian), German, Turkish, Spanish, Polish

教学大纲 - 您将从这门课程中学到什么

1

章节
Clock
完成时间为 2 小时

Lesson 1 - Introduction

...
Reading
13 个测验

2

章节
Clock
完成时间为 4 小时

Lesson 2 - Propositional Logic

...
Reading
1 个视频(共 3 分钟), 14 个测验
Video1 个视频
Clock
完成时间为 5 小时

Lesson 3 - Propositional Analysis

...
Reading
14 个测验

3

章节
Clock
完成时间为 7 小时

Lesson 4 - Propositional Proofs

...
Reading
20 个测验

4

章节
Clock
完成时间为 2 小时

Lesson 5 - Propositional Resolution

...
Reading
1 个视频(共 4 分钟), 8 个测验
Video1 个视频
4.5

热门审阅

创建者 MOSep 10th 2017

I think the course makes a great job introducing you to a different mindset, the one that can help you through any kind of inference and mathematical thinking. It makes your brain work.

创建者 JSAug 21st 2018

This course was so helpful. I think I now understand the fundamentals of mathematical logic. I truly recommend this course to anyone who is interested in studying logic!

讲师

Michael Genesereth

Associate Professor
Computer Science Department

关于 Stanford University

The Leland Stanford Junior University, commonly referred to as Stanford University or Stanford, is an American private research university located in Stanford, California on an 8,180-acre (3,310 ha) campus near Palo Alto, California, United States....

常见问题

  • Once you enroll for a Certificate, you’ll have access to all videos, quizzes, and programming assignments (if applicable). Peer review assignments can only be submitted and reviewed once your session has begun. If you choose to explore the course without purchasing, you may not be able to access certain assignments.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

还有其他问题吗?请访问 学生帮助中心