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 |
Courses and Certificate Fees
| Fees Informations | Certificate Availability | Certificate Providing Authority |
|---|---|---|
| INR 3909 | yes | Stanford |
The Syllabus
- An Overview of the Course: What we will do, and why
- Weekly Assignments and Obtaining the Courseware
- Atomic Sentences
- Boolean Connectives and Truth Tables
- Conditionals and The Game Rules for Propositional Logic
- Review and Assignment
- Tautology, Tautological Consequence and Tautological Equivalence
- Propositional Equivalences, Normal Forms and Completeness
- Review and Assignment
- Variables, Quantifiers, Wffs and Sentences
- Satisfaction and Truth
- Translation into FOL
- Review and Assignment
- Validity and Logical Consequence
- Equivalences, Normal Forms, Axioms
- Review and Assignment
- Summary
- Final Exam
Instructors
Articles
31 Aug'23, 03:58 AM
30 Aug'23, 12:55 PM
30 Aug'23, 12:04 PM
30 Aug'23, 10:08 AM
29 Aug'23, 01:51 PM
29 Aug'23, 01:28 PM
29 Aug'23, 12:38 PM
29 Aug'23, 11:49 AM
29 Aug'23, 11:44 AM
29 Aug'23, 11:00 AM
26 Aug'23, 11:14 AM
21 Aug'23, 07:18 AM
18 Aug'23, 11:51 AM
6 Jul'23, 07:27 AM
21 Jun'23, 12:18 PM
13 Jun'23, 09:54 AM
4 Apr'23, 11:39 AM
27 Mar'23, 07:53 AM
22 Mar'23, 12:57 PM
22 Mar'23, 11:00 AM
31 Aug'23, 03:58 AM
30 Aug'23, 12:55 PM
30 Aug'23, 12:04 PM
30 Aug'23, 10:08 AM
29 Aug'23, 01:51 PM
29 Aug'23, 01:28 PM
29 Aug'23, 12:38 PM
29 Aug'23, 11:49 AM
29 Aug'23, 11:44 AM
29 Aug'23, 11:00 AM
Download Careers360 App's
Regular exam updates, QnA, Predictors, College Applications & E-books now on your Mobile
300M+
Students
36,000+
Colleges
550+
Exams
1500+
E-Books
16000+
Certifications
We Appeared in
Back to top