Instructor : Krishna S
Course Description : This course on logic covers various topics which include
- First order logic
- DFA and NFA
- Second order logic
- Soundness and completeness of first order and second order logics
- Propositional logic syntax and semantics
- Natural deduction
- Conjunctive normal forms, satisfiability and validity of propositional formulae
- Horn clauses and satisfiability
- Resolution
Logistics :
- Three hours of lectures and one tutorial per week
- Exams are closed book
- Difficulty - 3/5
- Grading - 3 quizzes, midsem and endsem, few surprise tests
Comments on Instructor : Excellent lecture slides will be made available by the instructor. The instructor likes the class to be interactive, often calls up students to solve some exercises during the class hours. Despite having interest in course and students learning, the course was not managed properly by the instructor (spring 2014), with too much emphasis on some particular topics. Also, lots of extra lectures were scheduled, as the instructor was busy during some originally scheduled slots for lectures. With proper management of course and lectures, this course can become one of the most interesting courses during our four year stay at IIT
Who will find it interesting : This course is relevant to a broad range of pursuits. Almost every cse undergraduate will find the course contents interesting. Some of these course contents will be useful in Artificial Intelligence field as well.
No comments:
Post a Comment