Logic and Applications in Computer Science detailed syllabus for Information Technology (IT) for 2019 regulation curriculum has been taken from the Anna Universities official website and presented for the IT students. For course code, course name, number of credits for a course and other scheme related information, do visit full semester subjects post given below.
For Information Technology 5th Sem scheme and its subjects, do visit IT 5th Sem 2019 regulation scheme. For Professional Elective-I scheme and its subjects refer to IT Professional Elective-I syllabus scheme. The detailed syllabus of logic and applications in computer science is as follows.
Course Objective:
For the complete syllabus, results, class timetable, and many other features kindly download the iStudy App
It is a lightweight, easy to use, no images, and no pdfs platform to make students’s lives easier.
.
Unit I
Proposition Logic
Introduction to Logic – Foundation in Mathematics – Natural Deduction – Formal language Syntax and Semantics – Normal Forms – SAT Solvers.
Suggested Activities:
- Flipped classroom on natural deduction.
- In-class activity – Solving puzzles through proposition logic.
- Programming exercises for SAT solver.
Suggested Evaluation Methods:
- Quiz on deduction.
- Assignments on natural deduction and SAT solvers.
- Programming exercises must be evaluated.
Unit II
For the complete syllabus, results, class timetable, and many other features kindly download the iStudy App
It is a lightweight, easy to use, no images, and no pdfs platform to make students’s lives easier..
Unit III
Modal Logic Introduction
Higher Order Logic – Modal Logic Syntax – Semantics – Accessibility Relation – Types of Modal Logic – Natural Deduction.
Suggested Activities:
- Flipped classroom on types of modal logic.
- In-class activity – Entailment through Kripke semantics.
Suggested Evaluation Methods:
- Quiz on different accessibility relations.
- Assignment problems based on Kripke structures.
Unit IV
For the complete syllabus, results, class timetable, and many other features kindly download the iStudy App
It is a lightweight, easy to use, no images, and no pdfs platform to make students’s lives easier..
Unit V
Epistemic Logic
Logic of Knowledge – Syntax – Semantics – Natural Deduction – Multi-agent Reasoning -Applications in Distributed Systems.
Suggested Activities:
- Flipped classroom on multi-agent reasoning.
- In-class activity – Solving puzzles like muddy children and three wise men puzzle.
Suggested Evaluation Methods:
- Quiz on reasoning methods using muddy children and three wise men puzzle.
- Assignment problems on deduction and other reasoning methods.
Course Outcome:
For the complete syllabus, results, class timetable, and many other features kindly download the iStudy App
It is a lightweight, easy to use, no images, and no pdfs platform to make students’s lives easier..
Text Books:
- Michael Huth, Mark Ryan, “Logic in Computer Science, Modelling and Reasoning about Systems”, Second Edition, Cambridge University Press, 2005.
References:
- Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars, “Logic in Action”, http://www.logicinaction.org/, 2016.
For detailed syllabus of all the other subjects of Information Technology 5th Sem, visit IT 5th Sem subject syllabuses for 2019 regulation.
For all Information Technology results, visit Anna University IT all semester results direct link.