• Finals Week Schedule
  

• Syllabus: use it (really!) it has lots of useful (really!) and important (yes, really!) information (and links) we assume you have.
• Assignments: here you can find the assignments due each week
• Quizes: here are practice quizes and later the solutions, plus the solutions to the in-class quizes - posted after the quizes!
• Lecture notes: usually posted before class
• The Language, Proof and Logic web site: user support and hints for selected exercises, frequently asked questions, etc.
  
• Interesting Links: suggestions welcomed

Special Announcements: keep an eye on this section

• Sections will meet in labs (almost) every week – which lab is mine?
  
• Ken's office hour Thursday 6-7.30pm will be in SEL 2058.
  
• Note: lectures will meet in LC F1 starting Monday August 30th
• The handout replacing the first part of section 2.4 (read for Wednesday September 1st)
• What does '=' mean? (help with Q1.3)
• Why does '–>' have the truth table that it does?
  
• Who's my TA?
  
• Set up mail forwarding from your UIC account to the account you use and get essential class mailings.
• Problem with running Tarski's World on UIC Macs.