- 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
Interested in this College?
Get updates on Eligibility, Admission, Placements Fees Structure
CompareGet updates on Eligibility, Admission, Placements Fees Structure
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
Articles
Back to top