Interested in this College?
Get 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 6124	yes	Coursera

Introduction To Logic Fees Details

Particulars	Fees in INR
With certificate	Rs. 6,124
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

Mathematical skill

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

LawyerBusiness AnalystScientist

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

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

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)

Practice Exercises

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

Practice Exercises

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.