Subject Details
Dept     : CS
Sem      : 3
Regul    : 2022-2025
Faculty : Vani R
phone  : NIL
E-mail  : vani.r.cs@drsnsrcas.ac.in
273
Page views
15
Files
0
Videos
0
R.Links

Icon
Announcements

  • Assignment

    Assignment topic is i)Conjunctive Normal Forms and Validity ii) Horn clauses and satisfiability and due date is 17-07-2023.

  • Lecture Notes

    Dear Students the Lecture Notes has been uploaded for the following topics:
    Propositional Logic as a formal language ,
    Propositional Logic as a formal language ,
    The meaning of logical connectives

  • Assignment

    Assignment topic is Problem - solving and due date is .

  • Lecture Notes

    Dear Students the Lecture Notes has been uploaded for the following topics:
    Provable Equivalence ,
    Provable Equivalence

  • Lecture Notes

    Dear Students the Lecture Notes has been uploaded for the following topics:
    Propositional Logic ,
    Declarative Sentences,
    Natural Deduction ,
    Rules for Natural Deduction ,
    Derived Rules,
    Provable Equivalence