Applied Logic – Syllabus | Fifth Semester | BSc.CSIT (TU)

Download our Android App from Google Play Store and start reading Reference Notes Offline.

applied logic syllabusCourse Syllabus | BSc.CSIT
Subject: Applied Logic
Fifth Semester | Third Year
Tribhuvan University (TU)

Course Title: Applied Logic
Course no: CSC-306
Credit hours: 3
Full Marks: 70+10+20 | Pass Marks: 28+4+8
Nature of course: Theory (3 Hrs.) + Lab (3 Hrs.)
Course Synopsis: This course contain the main feature of different logics.
Goal: The course objective is to provide the basic concepts and techniques of the logics used in computer science.

Course Contents:

Unit 1.Introduction [4 Hrs.]
Introduction to Logic, Nature of Argument, Truth and Validity, Symbolic Logic, Statements, Conditional Statements, Statement Forms

Unit 2.Deduction and Deductive Systems [6 Hrs.]
Formal Proof of Validity, The Rule of Replacement, The Rule of Conditional Proof, The Rule of Indirect Proof, Proofs of Tautologies, Formal Deductive Systems, Attribute of Formal Deductive Systems, Logicist Systems

Unit 3.Propositional Logic [6 Hrs.]
Syntax of Propositional Logic, Semantics of Propositional Logic, Calculations, Normal Form, Applications

Unit 4.Predicate Logic [8 Hrs.]
Predicate Logic, Order of Predicate Logic, Syntax of Predicate Logic, Semantics of Predicate Logic, Consequences, Calculations, Normal Form.

Unit 5.Resolution & Proofs [10 Hrs.]
Resolution, Resolution in Propositional Logic, Unification of Clauses, Resolution in Predicate Logic, Horn Clauses, Proof in Propositional Logic and Predicate Logic, Axiomatic Systems, Adequacy, Compactness, Soundness.

Unit 6.Program Verification [5 Hrs.]
Issue of Correctness, Partial Correctness, Hoare Proof, Total Correctness.

Unit 7.Some Other Logics [6 Hrs.]
Intuitionistic Logic, Lukasiewicz Logic, Probabilistic Logic, Fuzzy Logic, Default Logic, Autoepistemic Logic.

Laboratory works: Laboratory exercises should be conducted in any logic programming language like LISP or PROLOG.

Text / Reference books:
1. Arindama Singh, Logics for Computer Science, Prentice Hall of India
2. Irving M. Copi, Symbolic Logic, 5th Edition, Prentice Hall of India

(Visited 57 times, 1 visits today)

Posted By : Digvijay | Comment RSS | Category : Fifth Semester, Syllabus
Tag :

Post a Comment

Your email is never published nor shared. Required fields are marked *

*
*

Wordpress DMCA
Community | Toolbar | Android App | Founder/Developer : Hari Prasad Chaudhary | CSIT Portal Manager : Digvijay Chaudhary