Course : COT 3541 Course Title : Logic for Computer Science Sections : U01, U03 Term : Spring 2017 Section U01 Classroom : ECS 235 Days: M, W Time : 2:00PM - 3:15PM Section U03 Classroom : ECS 138 Days: M, W Time : 3:30PM - 4:45PM Instructor : Dr. Alex Pelin Office : ECS 318 Telephone : (305) 348-3386 E-mail : pelina@cis.fiu.edu Web page : http://users.cis.fiu.edu/~pelina CLASS SYLLABUS ============== I. COURSE DESCRIPTION The course presents the basic concepts of propositional and first order logic and their relation to logic programming. The course involves both computations and proofs and the students are expected to master both. The course also covers the basics of the programming language prolog. II. COURSE OBJECTIVES 1. mastery of the proof derivation process, i.e. being able to derive proofs from a set of axioms and rules of inference 2. exposure to the basic logic concepts like soundness and completeness 3. familiarity with logic programming At the end of the course the students must be proficient in proofs and be able to write simple prolog programs. III. PREQUISITES The prerequisites for this course are COP3337, Computer Programming II, and MAD 2104, Discrete Mathematics. IV. TEXTBOOK The book consists of Alex Pelin's notes, Logic for Computer Science. You can find it at http://users.cis.fiu.edu/~pelina/COT3541/Book.pdf. I also posted a set of solved problems and 6 prolog lessons at http://users.cis.fiu.edu/~pelina/COT3541. V. HOMEWORKS Each section of the book contains several exercises. The students are advised to solve them, but are not required to turn in the work. VI. EXAMS There is a midterm on Wednesday, March 1st, and a final exam during the final exams week. The final for Section U01 is on Wednesday, April 26, 2017 from 12 noon to 2:00 PM. The data of the final for Section U03 is on Monday, April 24, 2017 from 2:15 to 4:15. The midterm lasts 1 hour and the final 2. The exams take place in the regular classroom, ECS 235 for Section U01 and ECS 138 for Section U03. The midterm is worth 35 points and the final 65 points. Both exams are closed book, closed notebook. During the exams, the students cannot use calculators, computers, or cell phones. The final is comprehensive. The exams consist of multiple choice questions, applying algorithms from the book, problem solving and proofs. The proofs are worth 20-25% of the exam score. I will put practice tests on the web, at http://users.cis.fiu.edu/~pelina/COT3541, one week before the exams. There are no make up exams. VII. CLASSROOM ATTENDANCE It is required that you attend all lectures and take both exams. Good attendance will get you extra points. VIII. BONUS POINTS You can get extra points by having good attendance and by writing a prolog program. The program will be given during the last 2 weeks of the course and is due on the exam day. It is worth 12 points. The good attendance is worth up to 6 points and you earn it by being present to the lectures. From time to time I will take attendance and if you are absent you loose 0.5 points. If you are late or leave early, you loose 0.25 points. IX. COURSE GRADE At the end of the course I add up the scores for the exams and the bonus points. Then I assign the grade based on the scheme below. Total Points Grade ------------ ----- total < 70 less than C 70 <= total < 80 C and C+ 80 <= total < 90 B-, B, B+ total >= 90 A- and A X. TOPICS SCHEDULE Mo, Jan 9 -----> Discuss the Syllabus, Section 1.1 We, Jan 11 -----> Section 1.1 Mo, Jan 16 -----> Martin Luther king Birthday, no class We, Jan 18 -----> Section 1.2 Mo, Jan 23 -----> Sections 1.2, 1.3 We, Jan 25 -----> Section 1.4 Mo, Jan 30 -----> Section 1.5 We, Feb 1 -----> Section 1.5 Mo, Feb 6 -----> Section 1.7 We, Feb 8 -----> Section 1.7, Section 1.8 Mo, Feb 13 -----> Section 1.8 We, Feb 15 -----> Section 2.1 Mo, Feb 20 -----> Section 2.2 We, Feb 22 -----> Sections 2.3 Mo, Feb 27 -----> Section 2.4 We, Mar 1 -----> Midterm Mo, Mar 6 -----> Section 2.4 We, Mar 8 -----> Section 2.5 Mo, Mar 13 -----> Spring break, no class We, Mar 15 -----> Spring break, no class Mo, Mar 20 -----> Section 2.5 We, Mar 22 -----> Section 2.8 Mo, Mar 27 -----> Section 2.9 We, Mar 29 -----> Section 2.10 Mo, Apr 3 -----> Section 2.11 We, Apr 5 -----> Prolog Mo, Apr 10 -----> Prolog We, Apr 12 -----> Prolog Mo, Apr 17 -----> Prolog We, Apr 19 -----> Last day of class, Prolog XI. OFFICE HOURS Mondays and Wednesdays: 12:30 PM - 1:45 PM and 9:15PM-10:30PM For other times contact me for an appointment at the address below. Dr. Alex Pelin ECS 318 Tl. (305) 348-3386 email: pelina@cis.fiu.edu XII. IMPORTANT DATES Mo, Jan 9 : Classes begin Mo, Jan 16 : MLK Birthday, No class Tu, Jan 17 : Last day to add or drop a course without incurring a financial penalty We, Mar 1 : Midterm Mo, Mar 13 : Spring Break, no class We, Mar 15 : Spring Break, no class Mo, Mar 20 : Last day to drop a class with a DR grade We, Apr 19 : Last day of class Apr 24-29 : Final exams week We, Apr 26 : Final exam for Sec U01, from 12:00 noon to 2:00PM Th, May 4 : The grades are available to students