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.
제공자:
스탠퍼드 대학교
About this Course
최근 조회 72,278회
귀하가 습득할 기술
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개의 동영상
4.5
109개의 리뷰67%
이 강좌를 수료한 후 새로운 경력 시작하기
50%
이 강좌를 통해 확실한 경력상 이점 얻기
Introduction to Logic의 최상위 리뷰
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!
Pros:\n\n1.good contents\n\n2.good exercises and interesting puzzles\n\n3.good examples\n\nCons:\n\n1.No video\n\n2. need more examples
강사
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.
