Updates

• Thu, Jan 4, 2007
  • This is the web page for CS1502 for Spring 2007.
  • The link to this page is http://www.cs.pitt.edu/~utp/cs1502.
     
• Fri, Jan 5, 2007
  • The course pack for the 3rd unit of the course is not available at this time.  We are working on it.
  • Information needed for submitting homework to grade grinder
    • Instructor's Name: Ping Xia
    • Instructor's Email address: pxia@cs.pitt.edu
       
• Mon, Jan 29, 2007
  • There is a tutor for CS1502, Allen Stern.  See the office hours page for detail.
  • You might have problems loading the following 2 files using Tarski6.exe
    • Problem 3.18: Barneys' Senteces
    • Problem 4.40: More CNF Sentences
  • To solve the problem, use version 5 (Tarski5.exe) instead.
     
• Fri, Feb 2, 2007
  • The first exam will be on Tuesday February 20th.   It will cover the material from chapters 1-8.
  • I installed the LPL software on my AFS directory.  You can access it from any PC in the department under N:\cs.pitt.edu\usr0\utp\public\LPL.
     
• Thu, Feb 8, 2007
  • Today's office hours between 2:15-3:00pm is cancelled.
     
• Tue, Feb 13, 2007
  • All classes have been cancelled from 3:30pm today until noon tomorrow.  So, there is no class meeting for us today.
  • However, expect new homework assignment tonight.
     
• Fri, Feb 16, 2007
  • Exams from previous years and other practice questions are posted on the "notes" page.
     
• Tue, Feb 20, 2007
  • There is no recitation this week.
     
• Tue, Feb 27, 2007
  • The solutions to exam 1 is posted on the "notes" page.
     
• Tue, Mar 20, 2007
  • The 2nd exam will be on Thursday March 29th (1 week from Thursday).
     
• Fri, Mar 23, 2007
  • Exams from previous years and other practice questions for first-order logic are posted on the "notes" page.
     
• Wed, Apr 11, 2007
  • The course pack is made from the 1st edition of Sipser.  If you got the 2nd edition of the book, the TA will give you a photocopy of the problems from the 1st edition during recitation.
     
• Fri, Apr 13, 2007
  • The final exam will be on Thursday April 26th in the same room as class meeting at 2:00pm-3:50pm.
  • Exams from previous years and other practice questions for finite automata are posted on the "notes" page.
     
• Wed, Apr 18, 2007
  • Solutions to homework 11 is posted on the "notes" page.
     
• Tue, Apr 24, 2007
  • Solutions to homework 12 is posted on the "notes" page.