課程信息
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.

還有其他問題嗎?請訪問 學生幫助中心