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.
제공자:
스탠퍼드 대학교
119,458 등록됨
About this Course
최근 조회 42,891회
귀하가 습득할 기술
Relational AlgebraProblem SolvingPropositional CalculusMathematical Logic
강의 계획 - 이 강좌에서 배울 내용
주
1완료하는 데 2시간 필요
Lesson 1 - Introduction
13 quizzes
주
2완료하는 데 5시간 필요
Lesson 3 - Propositional Analysis
14 quizzes
주
3완료하는 데 7시간 필요
Lesson 4 - Propositional Proofs
20 quizzes
주
4완료하는 데 2시간 필요
Lesson 5 - Propositional Resolution
1 video (Total 4 min), 8 quizzes
1개의 동영상
주
5완료하는 데 5시간 필요
Lesson 6 - Relational Logic
19 quizzes
완료하는 데 4시간 필요
Lesson 7 - Relational Analysis
13 quizzes
주
6완료하는 데 4시간 필요
Lesson 8 - Relational Proofs
The description goes here
15 quizzes
주
7완료하는 데 4시간 필요
Lesson 9 - Herbrand Logic
13 quizzes
주
8완료하는 데 1시간 필요
Lesson 10 - Herbrand Proofs
3 quizzes
완료하는 데 5시간 필요
Lesson 11 - Induction
The description goes here
13 quizzes
주
9완료하는 데 6시간 필요
Lesson 12 - Resolution
The description goes here
19 quizzes
주
10완료하는 데 4시간 필요
Supplementary Material
4 quizzes
4.5
109개의 리뷰67%
이 강좌를 수료한 후 새로운 경력 시작하기
50%
이 강좌를 통해 확실한 경력상 이점 얻기
최상위 리뷰
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.
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 ProfessorComputer Science Department
스탠퍼드 대학교 정보
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.
자주 묻는 질문
강의 및 과제를 언제 이용할 수 있게 되나요?
강좌에 등록하면 바로 모든 비디오, 테스트 및 프로그래밍 과제(해당하는 경우)에 접근할 수 있습니다. 상호 첨삭 과제는 이 세션이 시작된 경우에만 제출하고 검토할 수 있습니다. 강좌를 구매하지 않고 살펴보기만 하면 특정 과제에 접근하지 못할 수 있습니다.
이 수료증을 구매하면 무엇을 이용할 수 있나요?
수료증을 구매하면 성적 평가 과제를 포함한 모든 강좌 자료에 접근할 수 있습니다. 강좌를 완료하면 전자 수료증이 성취도 페이지에 추가되며, 해당 페이지에서 수료증을 인쇄하거나 LinkedIn 프로필에 수료증을 추가할 수 있습니다. 강좌 콘텐츠만 읽고 살펴보려면 해당 강좌를 무료로 청강할 수 있습니다.
환불 규정은 어떻게 되나요?
재정 지원을 받을 수 있나요?
궁금한 점이 더 있으신가요? 학습자 도움말 센터를 방문해 보세요.
Coursera는 세계 최고의 교육에 대한 보편적인 접근 기회를 제공하며,
최고의 대학 및 기관들과 제휴하여 온라인 강좌를 제공합니다.
© 2019 Coursera Inc. All rights reserved.
