- Chapter 2 - Propositional Logic
- Exercises
- Extras
- Puzzle - Coins
- Chapter 3 - Propositional Analysis
- Exercises
- Extras
- Puzzle - Rotors
- Chapter Direct Proofs
- Exercises
- Extras
- Puzzle - Wine
- Chapter 5 - Natural Deduction
- Exercises
- Extras
- Puzzle - Counterfeit (easy)
- Chapter 6 Propositional Resolution
- Exercises
- Extras
- Puzzle - Pills (difficult)
Search Colleges, Exams, Schools & more
Login
Introduction To Logic
This course, Introduction To Logic by Coursera, gives you a brief about Logic from an angle of computational.
Intermediate
Online
5 Weeks
Free Quick Facts
| Medium Of Instructions | Mode Of Learning | Mode Of Delivery |
|---|---|---|
| English | Self Study | Video and Text Based |
Course Overview
This is a course by Stanford University, is an introduction to Logic from a computational point of view. This course demonstrates the mechanisms of deciphering and encoding information and data into sentences that are logical; it demonstrates the correct method to infer meaning with the information on board.
Altogether, this training programme by Stanford University renders a synopsis of Logic Technology and its various applications across disciplines, in science, law, engineering, mathematics, business and so on.
This Training Programme of Introduction to Logic by Stanford University will teach the candidates the skill of picking up any information and summarizing it in a brief simple language.
The certificate which can be shared on your LinkedIn profile, CV or any other document will keep you one step ahead of your peers when appearing for any job.
The Highlights
- Shareable Certificate
- Completely Online, which allows you to complete the course according to your time
- Flexible Deadlines
- Requires approximately 47 hours to complete
- Subtitles of the course available in many languages like Chinese, Portuguese, Arabic, German, Greek, Turkish, Polish, Spanish and Afrikaans
Programme Offerings
- video lectures
- Project-based.
Courses and Certificate Fees
| Fees Informations | Certificate Availability | Certificate Providing Authority |
|---|---|---|
| INR 6414 | yes | Coursera |
Introduction To Logic Fees Details
Particulars | Fees in INR |
With certificate | Rs. 6,414 |
Without certificate | Free |
Eligibility Criteria
Work Experience
No prior work experience is required to apply for this training programme.
Education
Basic knowledge about computer programming
Certification Qualifying Details
To gain access to evaluated assignments and certificates, you should buy the Certificate insight.
What you will learn
After doing this course, the candidates will :
- Understand the fundamentals of mathematical logic
- Gain an insight into FOL and logic programming
- Learn about Propositional logic and Boolean algebra
- Learn about Formal Proof Systems such as the resolution and Fitch System.
Who it is for
Application Details
The admission process for this course is simple and direct. Follow the following steps to get yourself enrolled on this course on Introduction to Logics by Stanford University, California.
Step 1: Open the Coursera website and search for the ‘Introduction to Logic’ course offered by Stanford University.
Step 2: Click on the Enrol(for free) button.
Step 3: Login/Signup
Step 3: Choose any one option, which best suits you, from among ‘purchase course’ and ‘full course, no certificate’.
Step 4: If you have opted to purchase the course, carry out the bill payment process and get access to the course.
The Syllabus
Videos
- Overview of the Course
- Optional: Stanford CS 157 2021 - Lecture 1
Readings
- Preface
- Chapter 1 - Introduction
- Exercises
- Extras
- Puzzle - Locks (easy)
Videos
- The Big Game
- Box Logic (out of focus)
Readings
Assignments
- Evaluation
- Satisfaction
- Logical Properties
- Logical Relationships
- Hilbert Proof
- Fitch Proof
- Fitch Proof
- Resolution Proof
Readings
- Chapter 7 - Relational Logic
- Exercises
- Extras
- Puzzle - Cards
- Chapter 8 - Relational Analysis
- Exercises
- Extras
- Puzzle - Safecracking
- Chapter 9 - Model Checking
- Exercises
- Extras
- Puzzle - Prisoners
- Chapter 10 - Fitch Proofs
- Exercises
- Extras
- Puzzle - Chessboard (very difficult)
Assignments
- Evaluation
- Logical Properties
- Logical Relationships
- Goldrush
- Fitch Proof
- Fitch Proof
Readings
- Chapter 11 - Functional Logic
- Exercises
- Puzzle - Logicians
- Chapters 12 and 14 - Fitch Proofs
- Extras
- Puzzle - Nations
- Chapter 13 - Induction
- Exercises
- Extras
- Puzzle - Zoom
- Resolution
- Exercises
- Extras
- Puzzle - Nim
Assignments
- Logical Properties and Relationships
- Linear Induction
- Tree Induction
- Structural Induction
- Clausal Form
- Resolution
Readings
- Chapter 16 - Conclusion
- Extras
- Puzzle - Enlightenment
Evaluation process
Grades will be provided based on your assignments.
Instructors
Stanford Frequently Asked Questions (FAQ's)
1: Will I get university credit after course completion?
This course does not carry college credit, although certain colleges could choose to accept credit course certificates. To learn more, consult with your organization.
2: Why should I purchase the Certificate?
Candidates will get access to mention the certification on Accomplishments page and Linkedin Profile post after purchasing the certificate.
3: When will I have access to the lectures and assignments?
It totally depends on your enrollment type. In audit mode, most course materials are for free. To access graded assignments and to get a Certificate, you will have to purchase the Certificate experience.
4: Is financial aid available?
Those candidates who are unable to bear the fee can seek financial assistance from Coursera. Once can click on Enroll Button mentioned on the page of Financial Aid.
5: Does Coursera provide a job?
The job of Coursera is to enhance your skillset and enable you to become industry-ready so that you can grab the best jobs.
6: Who will issue the certificate?
The certificate will be issued by Stanford University, California.
7: Who are the trainers?
Mr Michael Genesereth, who is an Associate Professor at Stanford University, is the instructor for this course.
8: Can students pursue this course?
Anyone with the urge to learn can take up the course.
9: What is the work experience needed to get enrolled in this course?
No specific work experience required.