technifyed

Overview

Computer Science and Engineering course by Prof. S. Arun Kumar.

Syllabus 1

  1. Module 1
    • Introduction
    • Propositional Logic Syntax
    • Semantics of Propositional Logic
    • Logical and Algebraic Concepts
    • Identities and Normal forms
    • Tautology Checking
    • Propositional Unsatisfiability
    • Analytic Tableaux
    • Consistency and Completeness
    • The Completeness Theorem
    • Maximally Consistent Sets
    • Formal Theories
    • Proof Theory : Hilbert-style
    • Derived Rules
    • The Hilbert System : Soundness
    • The Hilbert System :Completeness
    • Introduction to Predicate Logic
    • The Semantic of Predicate Logic
    • Subsitutions
    • Models

Advantages and disadvantages

Advantages

  • Taught by IIT and IISc professors, and it follows the Indian university syllabus closely.
  • All videos and assignments are free on NPTEL and SWAYAM.
  • The certificate is recognised by many Indian universities for credit transfer and by GATE aspirants.
  • Great for GATE and semester exam preparation.
  • Taught by Indian Institute of Technology Delhi, one of the strongest names in its field.
  • Completely free.
  • Self-paced: start any time.
  • A clear syllabus (1 parts) you can see before you start.

Disadvantages

  • The certificate needs a proctored exam at a centre, which has a fee.
  • Recorded classroom lectures: thorough, but slower than made-for-online courses.
  • New runs start on fixed dates (January and July).
  • Learning is free, but the certificate costs money.

Some points apply to every course of this kind; see how we rank.

Free to learn

  • Free: Every video and assignment is free on NPTEL and SWAYAM. Enrol when the next run opens.
  • Certificate: Optional. It needs a proctored exam at a centre, which has a fee.

Taught by

  • Prof. S. Arun KumarIIT Delhi

Indian Institute of Technology Delhi is in Tier 1: world-leading universities and India's top institutes of our institution ranking (96/100).

Similar courses

Compare these

Massachusetts Institute of Technology · YouTube

MIT 6.042J Mathematics for Computer Science, Fall 2010

Instructor(s): Tom Leighton, Marten van Dijk This course covers elementary discrete mathematics. Mathematical definitions and proofs are emphasized. Topics include formal logic, induction, graph theory, asymptotic notation and growth of functions, counting principles, and discrete probability.

Free video25 videos, 33 hours

Harvard University · edX

Contract Law: From Trust to Promise to Contract.

4.8516 ratings

Contracts are a part of our everyday life, arising in collaboration, trust, promise and credit. How are contracts formed? What makes a contract enforceable? What happens when one party breaks a promise?

Free to audit

Stanford University · YouTube

Stanford ECON295/CS323 I The AI Awakening: Implications for the Economy and Society I 2024

Our economic institutions, organizations, and skills have not kept up with rapid advances in AI. In this growing gap lie many of society’s greatest challenges and opportunities. This course will explore how AI can and will transform our economy and society in the coming years. Each week, we will le…

Free video5 videos, 6.5 hours

Harvard University · edX

Justice

4.8354 ratings

This introduction to moral and political philosophy is one of the most popular courses taught at Harvard College.

Free to audit

Harvard University · edX

Introduction to Family Engagement in Education

4.8274 ratings

Learn about successful collaborations between families and educators and why they lead to improved outcomes for students and schools.

Free to audit8 weeks, 2 - 3 hours per week

Enter your email and the official page opens. Phone is optional.