अपनी प्राथमिकता निर्धारित करें
फ़ॉन्ट स्केलिंग
अप्राप्ति
पृष्ठ अनुमापन
अप्राप्ति
रंग समायोजन
भा.प्रौ.सं.कानपुर
  • घर
  • Course Content
  • सीएस202ए - संगणक विज्ञान के लिए सीएस202ए-गणित -II

सीएस202ए - संगणक विज्ञान के लिए सीएस202ए-गणित -II

IITK

Prerequisites:

3-0-0-5

Course Contents

  1. Propositional logic syntax and semantics.
  2. Tautologies, axiom system and deduction.
  3. Proof of soundness and completeness.
  4. First order logic syntax and semantics.
  5. Structures, models, satisfaction and validity.
  6. Axiomati-zation, soundness and completeness.
  7. Optional: some advanced topics.


 

Topics

Current Course Information

Instructor(s):

Number of sections:

Tutors for each section:

Schedule for Lectures:

Schedule for Tutorial:

Schedule for Labs: