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 5793 | 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
19 Dec'24, 09:48 AM
19 Dec'24, 06:44 AM
17 Dec'24, 12:40 PM
17 Dec'24, 04:01 AM
17 Dec'24, 03:43 AM
16 Dec'24, 12:25 PM
16 Dec'24, 11:46 AM
13 Dec'24, 12:28 PM
13 Dec'24, 09:28 AM
6 Dec'24, 04:30 AM
4 Dec'24, 03:15 AM
29 Nov'24, 06:03 AM
19 Nov'24, 10:59 AM
2 Nov'24, 06:52 AM
11 Oct'24, 06:01 AM
13 Mar'24, 06:24 AM
29 Feb'24, 06:05 AM
27 Feb'24, 10:32 AM
13 Feb'24, 06:25 AM
19 Dec'24, 09:48 AM
19 Dec'24, 06:44 AM
17 Dec'24, 12:40 PM
17 Dec'24, 04:01 AM
17 Dec'24, 03:43 AM
16 Dec'24, 12:25 PM
16 Dec'24, 11:46 AM
13 Dec'24, 12:28 PM
13 Dec'24, 09:28 AM
Back to top