1. Logic & Proofs 80-210 Summer Session II - 2009 Instructor: Karin Howe

2. Contact Information Email: karinh@andrew.cmu.edukarinh@andrew.cmu.edu Phone: 315-450-4306 Office Hours: by appointment –Office: BH 143 Mailbox: BH 135 Blackboard

3. Course Content Part 1: Introduction Part 2: Sentential Logic –Propositional Logic Part 3: Predicate Logic

4. Textbook Textbook for the class is the online class Logic & Proofs Price: $60 Instructions for signing up: –Go to OLI website: –Login using Andrew ID –At bottom of page, in the box next to Register for a course, enter the following course key: hilbert Guided tour of Logic & ProofsLogic & Proofs

5. Coursework Participation: 15% Homework: 30% Natural Arguments: 5% Attendance: none Midterm 1: 10% Midterm 2: 10% Midterm 3: 10% Final Exam: 20%

6. Participation I want you to talk in class and I DON'T want you to talk in class

7. Homework Assignments Three components: –Practice Problems: 5%Practice Problems Grading Policy: –Percentage completed (drop 2) –E.g., 25 problems, grade will be percentage completed out of 23 (e.g., 21/23 = 91.3) –Homework: 10%Homework Grading policy: –Percentage correct (out of 100) –Two attempts allowed, grade = highest of the two attempts –Labs: 15%Labs Grading policy: –Percentage completed (drop 2) –E.g., 25 problems, grade will be percentage completed out of 23 (e.g., 21/23 = 91.3)

8. Natural Arguments Logic is everywhere!! –Books, magazines, cartoons, your first-cousin-once-removed, your kids(!), advertisements … you name it!! One of the goals of this course is to make you aware of the everyday uses of logic To that end, there will be periodic Natural Argument assignments In addition, there will be an optional Natural Argument Project for extra credit at the end of the semester

9. Reading Assignments Essential that you do the course readings before we discuss them in class Also, highly recommended that you attempt all of the homework assignments before class That way, you will have a chance to ask questions about any difficulties that you may have!

10. Interactive Learning Environments (ILEs)

11. Attendance Policy None However, I will be taking attendance everyday May be used to decide borderline cases

12. Exams Dates –Midterm Exam 1: July 13 –Midterm Exam 2: July 20 –Midterm Exam 3: August 3 –Final Exam: August 7 Window of opportunity: Thur. – Mon. Time limit: 4 hours

13. A word about cheating… DON'T

14. Course Schedule Week 1 Part 1: Introduction –Chapter 1: Statements and Arguments Part 2: Sentential Logic –Chapter 2: Syntax and Symbolization –Chapter 3: Semantics

15. Week 2 Part 2, con't: –Chapter 4: Derivations –Chapter 5: Indirect Rules –Review for Midterm 1 Midterm Exam 1

16. Week 3 Part 2, con't: –Chapter 6: Strategies and Derived Rules –Chapter 7: Elementary Metamathematics –Review for Midterm 2 Midterm Exam 2

17. Week 4 Part 3: Predicate Logic –Syntax and Semantics I –Syntax and Semantics II

18. Week 5 Part 3, con't: –Chapter 10: Derivations –Chapter 11: Strategies and Derived Rules –Review for Midterm 3 Midterm Exam 3

19. Week 6 Part 3, con't: –Chapter 12: Identity and Functions –Review for Final Final Exam