This is the homepage for PL2003-Symbolic Logic, Spring 2011, Polytechnic University.  Choose from the selection below.  This page will be updated periodically.

• Syllabus
• Modified Schedule
  

• Lectures
• 01. Intro & Chap 7
• 02. Chaps 8, 9
• 03. Chap 11
• 04. Chaps 12, 13
• 05. Chap 14
• 06. Chap 16
• 07. Chap 17
• 08. Chaps 18, 19
• 09. Chaps 21, 22
• 10. Chaps 23, 24
• 11. Chap 25
• 12. Chap 26
• 13. Chap 27
• 14. Chap 28
• 15. Chap 29
• 16. Chap 30
• 17. Chaps 32, 33
• 18. Chaps 34, 35
  

• Assignments
• hw01
• hw02
  
• hw03
• hw04
• hw05
• hw06
• hw07 and extra credit01
• hw08 and extra credit02
• hw09
• hw10
  
• hw11
• hw12
  

• Handouts
• Rules for PLC trees
• QL Semantics
• Rules for QL trees