| News for Fall 2014 |
12/10/14 - The formatted second
sample final is now up. - ELG
10/11/14 - I have posted a new revision
for mp6/solutions.cmo and mp6/solutions.cmo
fixing one more instance of the earlier mistake corrected. The
mistake in essence was introducing too many fresh variables,
breakign the required connections expressed in the rules. Please
be careful to only introduce one fresh variable once for each
distinct type name in a given case, and not at all for the type
of the main expression. - ELG
10/10/14 - I have posted a
new hw6/hw6.pdf, mp6/mp6.pdf, mp6/solutions.cmo
have been posted to you svn repositories. If you have saved you
solution to HW6 as hw6.pdf, please do svn mv hw6.pdf
hw6-submission.pdf before you do an svn up to avoid
collision with the version I am pushing. I have also postes a
solution to the midterm. - ELG
10/4/14 - Solutions for
HW4,
MP$
and MP5 have been posted to the
website. - ELG
10/3/14 - Office hours for Elsa Gunter for
Friday October 2 have been moved to 9:00am - 10:00am - ELG
10/2/14 - Apparently I need to clarify the
assignment submission policy in conjunction with what is
considered to be on time versus what will receive a late penalty.
The last paragraph
of Submitting
Assignments
has been replaced with the following: You
may do multiple commits of either the MPs or the HWs. We will
only grade the last version committed before the Extension
deadline. Each homework will be classified as on time if
its last submission is logged before the Due date of the
assignment. If the last submission before the Extension deadline
is after the Due date, you will receive a late penalty as
described in
Extensions. - ELG
9/30/14 - Grade reports for MP2 and MP3 have
been returned to your svn repositories. You should now have
reports for HW1, HW2, HW3, MP1, MP2 and MP3. The scores for
these assignments have been added to Compass. A syllabus and
sample exam have been posted to the exams webpage to help you
prepare for the midterm next week. - ELG
9/25/14 - HW5 has been posted. - EP
9/7/14 - MP2 has been updated on the website to
only include Problems 1-5. Problems 6-12 will be covered on the
next MP. - SEJ
9/5/14 - I have posted a
revised set of slides for the
lectures given this last week. I have added a few slides with
annoations to try to make clearer how each step of evaluation is
done. - ELG
9/4/14 - Since I failed to cover lists in class
today, MP2 is reduced to the first 5 problems, and the remaining
problems will be rolled over to MP3. If you have done some of
them, you do not need to delete them (but they do need to
compile), but we will remove all tests for problems 6 - 12 from
the grading. - ELG
8/28/14 - There was a typo in the description
of how to turn in HW1. The name of the file you should submit is
hw1-submission.pdf. An corrected pdf has been posted to
the website and placed in your repositories. - ELG
8/28/14 - A students's cellphone was found in
Siebel 1410 at the end of class today and was turned in to the
Academic Office Lost and Found. - ELG
8/28/14 - Elsa Gunter's office hours for
tomorrow, Frday 29 August, will be half an hour earlier than the
regular schedule, at 9:30am - 10:30am. - ELG
8/26/14 - Welcome to CS421, Fall 2014. This
page will be the main bulletin board for the course, and hence is
always under construction. Please check it frequently. - ELG
|
|
| Class Schedule |
Lecture:
Tues, Thurs 2:00pm - 3:15pm
1404 SC
|
| Staff |
| Professor |
|---|
Elsa Gunter
Email: egunter@illinois.edu
Office: 2112 SC
Phone: 265-6118
Hours:
Tues 12:30pm - 1:45 pm,
Thurs 3:30pm - 4:45pm
Fri 10:00am - 10:50am,
Also by appointment
|
| Teaching Assistants |
|---|
Susannah Johnson
Email: sjohnsn2@illinois.edu
Office: 0207 SC
Hours: Mon 2:00pm - 3:45pm
|
Edgar Pek
Email: pek1@illinois.edu
Office: 0207 SC
Hours: Wed 10:00am - 11:45am
|
Blake Petermeier
Email: petermr2@illinois.edu
Office: 0207 SC
Hours: Tues 7:00pm - 9:pm
|
|
|