{"id":33176,"date":"2021-05-21T08:11:35","date_gmt":"2021-05-21T08:11:35","guid":{"rendered":"https:\/\/www.inspirenignite.com\/anna-university\/it5006-logic-and-applications-in-computer-science-syllabus-for-it-5th-sem-2019-regulation-anna-university-professional-elective-i\/"},"modified":"2021-05-21T08:11:35","modified_gmt":"2021-05-21T08:11:35","slug":"it5006-logic-and-applications-in-computer-science-syllabus-for-it-5th-sem-2019-regulation-anna-university-professional-elective-i","status":"publish","type":"post","link":"https:\/\/www.inspirenignite.com\/anna-university\/it5006-logic-and-applications-in-computer-science-syllabus-for-it-5th-sem-2019-regulation-anna-university-professional-elective-i\/","title":{"rendered":"IT5006: Logic and Applications in Computer Science Syllabus for IT 5th Sem 2019 Regulation Anna University (Professional Elective-I)"},"content":{"rendered":"

Logic and Applications in Computer Science detailed syllabus for Information Technology (IT) for 2019 regulation curriculum has been taken from the Anna Universities<\/a> 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. <\/p>\n

For Information Technology 5th Sem scheme and its subjects, do visit IT 5th Sem 2019 regulation scheme<\/a>. For Professional Elective-I scheme and its subjects refer to IT Professional Elective-I syllabus scheme<\/a>. The detailed syllabus of logic and applications in computer science is as follows. <\/p>\n

Logic and Applications in Computer Science<\/title><\/p>\n<h4>Course Objective:<\/h4>\n<p id=\"istudy\" style=\"text-align:center\">For the complete syllabus, results, class timetable, and many other features kindly download the <a class=\"rank-math-link\" href=\"https:\/\/play.google.com\/store\/apps\/details?id=ini.istudy\" target=\"_blank\" rel=\"noopener\">iStudy App<\/a><br \/><b> It is a lightweight, easy to use, no images, and no pdfs platform to make students’s lives easier.<\/b><br \/><a class=\"rank-math-link\" href=\"https:\/\/play.google.com\/store\/apps\/details?id=ini.istudy&pcampaignid=pcampaignidMKT-Other-global-all-co-prtnr-py-PartBadge-Mar2515-1\" target=\"_blank\" rel=\"noopener\"><img decoding=\"async\" src=\"https:\/\/play.google.com\/intl\/en_us\/badges\/static\/images\/badges\/en_badge_web_generic.png\" alt=\"Get it on Google Play\" style=\"height:65px\"><\/a>. <\/p>\n<h4>Unit I<\/h4>\n<p align=\"justify\">\n <strong>Proposition Logic<\/strong><br \/>\n Introduction to Logic – Foundation in Mathematics – Natural Deduction – Formal language Syntax and Semantics – Normal Forms – SAT Solvers.<\/p>\n<p><i>Suggested Activities:<\/i>\n <\/p>\n<ul>\n<li>Flipped classroom on natural deduction.<\/li>\n<li>In-class activity – Solving puzzles through proposition logic.<\/li>\n<li>Programming exercises for SAT solver.<\/li>\n<\/ul>\n<p><i>Suggested Evaluation Methods:<\/i>\n <\/p>\n<ul>\n<li>Quiz on deduction.<\/li>\n<li>Assignments on natural deduction and SAT solvers.<\/li>\n<li>Programming exercises must be evaluated.<\/li>\n<\/ul>\n<h4>Unit II<\/h4>\n<p id=\"istudy\" style=\"text-align:center\">For the complete syllabus, results, class timetable, and many other features kindly download the <a class=\"rank-math-link\" href=\"https:\/\/play.google.com\/store\/apps\/details?id=ini.istudy\" target=\"_blank\" rel=\"noopener\">iStudy App<\/a><br \/><b> It is a lightweight, easy to use, no images, and no pdfs platform to make students’s lives easier.<\/b><br \/><a class=\"rank-math-link\" href=\"https:\/\/play.google.com\/store\/apps\/details?id=ini.istudy&pcampaignid=pcampaignidMKT-Other-global-all-co-prtnr-py-PartBadge-Mar2515-1\" target=\"_blank\" rel=\"noopener\"><img decoding=\"async\" src=\"https:\/\/play.google.com\/intl\/en_us\/badges\/static\/images\/badges\/en_badge_web_generic.png\" alt=\"Get it on Google Play\" style=\"height:65px\"><\/a>. <\/p>\n<h4>Unit III<\/h4>\n<p align=\"justify\">\n <strong>Modal Logic Introduction<\/strong><br \/>\n Higher Order Logic – Modal Logic Syntax – Semantics – Accessibility Relation – Types of Modal Logic – Natural Deduction.<\/p>\n<p><i>Suggested Activities:<\/i>\n <\/p>\n<ul>\n<li>Flipped classroom on types of modal logic.<\/li>\n<li>In-class activity – Entailment through Kripke semantics.<\/li>\n<\/ul>\n<p><i>Suggested Evaluation Methods:<\/i>\n <\/p>\n<ul>\n<li>Quiz on different accessibility relations.<\/li>\n<li>Assignment problems based on Kripke structures.<\/li>\n<\/ul>\n<h4>Unit IV<\/h4>\n<p id=\"istudy\" style=\"text-align:center\">For the complete syllabus, results, class timetable, and many other features kindly download the <a class=\"rank-math-link\" href=\"https:\/\/play.google.com\/store\/apps\/details?id=ini.istudy\" target=\"_blank\" rel=\"noopener\">iStudy App<\/a><br \/><b> It is a lightweight, easy to use, no images, and no pdfs platform to make students’s lives easier.<\/b><br \/><a class=\"rank-math-link\" href=\"https:\/\/play.google.com\/store\/apps\/details?id=ini.istudy&pcampaignid=pcampaignidMKT-Other-global-all-co-prtnr-py-PartBadge-Mar2515-1\" target=\"_blank\" rel=\"noopener\"><img decoding=\"async\" src=\"https:\/\/play.google.com\/intl\/en_us\/badges\/static\/images\/badges\/en_badge_web_generic.png\" alt=\"Get it on Google Play\" style=\"height:65px\"><\/a>. <\/p>\n<h4>Unit V<\/h4>\n<p align=\"justify\">\n <strong>Epistemic Logic<\/strong><br \/>\n Logic of Knowledge – Syntax – Semantics – Natural Deduction – Multi-agent Reasoning -Applications in Distributed Systems.<\/p>\n<p><i>Suggested Activities:<\/i>\n <\/p>\n<ul>\n<li>Flipped classroom on multi-agent reasoning.<\/li>\n<li>In-class activity – Solving puzzles like muddy children and three wise men puzzle.<\/li>\n<\/ul>\n<p><i>Suggested Evaluation Methods:<\/i>\n <\/p>\n<ul>\n<li>Quiz on reasoning methods using muddy children and three wise men puzzle.<\/li>\n<li>Assignment problems on deduction and other reasoning methods.<\/li>\n<\/ul>\n<h4>Course Outcome:<\/h4>\n<p id=\"istudy\" style=\"text-align:center\">For the complete syllabus, results, class timetable, and many other features kindly download the <a class=\"rank-math-link\" href=\"https:\/\/play.google.com\/store\/apps\/details?id=ini.istudy\" target=\"_blank\" rel=\"noopener\">iStudy App<\/a><br \/><b> It is a lightweight, easy to use, no images, and no pdfs platform to make students’s lives easier.<\/b><br \/><a class=\"rank-math-link\" href=\"https:\/\/play.google.com\/store\/apps\/details?id=ini.istudy&pcampaignid=pcampaignidMKT-Other-global-all-co-prtnr-py-PartBadge-Mar2515-1\" target=\"_blank\" rel=\"noopener\"><img decoding=\"async\" src=\"https:\/\/play.google.com\/intl\/en_us\/badges\/static\/images\/badges\/en_badge_web_generic.png\" alt=\"Get it on Google Play\" style=\"height:65px\"><\/a>. <\/p>\n<h4>Text Books:<\/h4>\n<p align=\"justify\">\n<ol>\n<li>Michael Huth, Mark Ryan, “Logic in Computer Science, Modelling and Reasoning about Systems”, Second Edition, Cambridge University Press, 2005.<\/li>\n<\/ol>\n<h4>References:<\/h4>\n<p align=\"justify\">\n<ol>\n<li>Johan van Benthem, Hans van Ditmarsch, Jan van Eijck, Jan Jaspars, “Logic in Action”, http:\/\/www.logicinaction.org\/, 2016.<\/li>\n<\/ol>\n<p align=\"justify\">For detailed syllabus of all the other subjects of Information Technology 5th Sem, visit <a class=\"rank-math-link\" href=\"..\/category\/it+5th-sem\">IT 5th Sem subject syllabuses for 2019 regulation<\/a>. <\/p>\n<p align=\"justify\">For all Information Technology results, visit <a class=\"rank-math-link\" href=\"https:\/\/www.inspirenignite.com\/anna-university\/anna-university-results\/\">Anna University IT all semester results<\/a> direct link. <\/p>\n","protected":false},"excerpt":{"rendered":"<p>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 […]<\/p>\n","protected":false},"author":2297,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_bbp_topic_count":0,"_bbp_reply_count":0,"_bbp_total_topic_count":0,"_bbp_total_reply_count":0,"_bbp_voice_count":0,"_bbp_anonymous_reply_count":0,"_bbp_topic_count_hidden":0,"_bbp_reply_count_hidden":0,"_bbp_forum_subforum_count":0,"footnotes":""},"categories":[72],"tags":[],"class_list":["post-33176","post","type-post","status-publish","format-standard","hentry","category-it"],"_links":{"self":[{"href":"https:\/\/www.inspirenignite.com\/anna-university\/wp-json\/wp\/v2\/posts\/33176","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.inspirenignite.com\/anna-university\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.inspirenignite.com\/anna-university\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.inspirenignite.com\/anna-university\/wp-json\/wp\/v2\/users\/2297"}],"replies":[{"embeddable":true,"href":"https:\/\/www.inspirenignite.com\/anna-university\/wp-json\/wp\/v2\/comments?post=33176"}],"version-history":[{"count":0,"href":"https:\/\/www.inspirenignite.com\/anna-university\/wp-json\/wp\/v2\/posts\/33176\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.inspirenignite.com\/anna-university\/wp-json\/wp\/v2\/media?parent=33176"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.inspirenignite.com\/anna-university\/wp-json\/wp\/v2\/categories?post=33176"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.inspirenignite.com\/anna-university\/wp-json\/wp\/v2\/tags?post=33176"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}