http:^^www.cs.indiana.edu^classes^s251^home.html

This data set contains WWW-pages collected from computer science departments of various universities

      </UL>
  </UL>
<LI> Chapter 9: Program Correctness Proofs (1-2 weeks)
  <UL>
  <LI> Notes from meetings:
      <UL>
      <LI> <!WA39><A HREF="http://www.cs.indiana.edu/classes/s251/lec/inprogress">16th-?</A> partial notes for lectures
           on while programs, their meanings, and Hoare logic.
      </UL>
  <LI> The <!WA40><A href="http://www.cs.indiana.edu/classes/s251/suppl/Hoare.ps"> Hoare Calculus </a> for program
       proofs--summary of the inference rules.
  </UL>
<LI> Chapter 6.3-6.5: More on Functions (1 week)
   <UL>
     <LI> <!WA41><a href="http://www.cs.indiana.edu/classes/s251/suppl/split.txt">Code of the <em> split </em> function </a>.
   </UL>
<LI> <em> tentative</em> Chapter 7: Graphs and Trees (1 week)
<LI> <em> tentative</em> Chapter 10: Grammars, Languages, and Parsing
       (1-2 weeks)
<LI> <em> tentative </em> Selected topics: time permitting
</UL>

<A NAME="assignments"><H3>Homework assignments</H3></A>

In studying the textbook material, you should work enough exercises and
problems in the text to ensure that you understand the material.
Since many of the discussions in class will derive from these exercises,
we should be certain that at least one individual has worked through every
one of them, so every problem has assigned to it one or two students who
are expected to be able to present the problem at a class meeting.
These assignments are maintained in the <A syllabus.

Any homework assignments and "challenges" will be posted here and on the
<A NAME="communication">s251 newsgroup</a>.  Most homeworks will not be graded
for credit; the purpose of these assignments is to guide participants
in preparing for the presentation of material in the class, and to show
the kinds of problems that will be asked on examinations.
<em> Challenges </em> are homework assignments that are offered for
credit.  These will be clearly indicated when posted.

<A NAME="homework">
<UL>
<LI> <!WA42><A href="http://www.cs.indiana.edu/classes/s251/hw/1.txt">Homework Assignment One</A>
<LI> <!WA43><A href="http://www.cs.indiana.edu/classes/s251/hw/2.txt">Homework Assignment Two</A>
     <em><b>Due Monday, February 5, in class.</b></em>
<LI> <!WA44><A href="http://www.cs.indiana.edu/classes/s251/hw/3.html">Homework Assignment Three</A>
     <em><b>Due Thursday, February 29, in class.</b></em>
<LI> <!WA45><A href="http://www.cs.indiana.edu/classes/s251/hw/4.txt">Homework Assignment Four</A>.  
     <!WA46><A href="http://www.cs.indiana.edu/classes/s251/hw/4a.txt"><B>Solutions</B> </a> are posted.
<LI> <!WA47><A href="http://www.cs.indiana.edu/classes/s251/hw/5.txt">Homework Assignment Five</a>
     (given in class on April 2)
     <em><b>Due Thursday, April 4, in class.</b></em>
<LI> <!WA48><A href="http://www.cs.indiana.edu/classes/s251/hw/6.txt">Homework Assignment Six</A>
     <em><b>Due Thursday, April 18, in class.</b></em>
     <!WA49><A href="http://www.cs.indiana.edu/classes/s251/hw/6a.txt"><B>Solutions</B> </a> are posted.
</UL>

<P>
In this course, you are welcome to discuss assignments, presentations,
and challenges with other students.
<EM>Do not assume this is true in all your courses!</EM>
Teamwork in doing assignments is good as long as each
member of the team contributes, and fully understands the assignment.
If you are working with a group, please indicate it on your homework
papers.  If someone has given you a lot of help, acknowledge them;
you will not be penalized and they will get the thanks they deserve.
<P>

<A NAME="grading"><H3>Grading and gradebooks</H3></A>

The gradebook will be posted on this home page and updated regularly.
<ul><ul>
<li> <!WA50><a href=http://www.cs.indiana.edu/classes/s251/grades/mar28.text>Thu Mar 28 11:16:24 EST 1996</a>
<li> <!WA51><a href=http://www.cs.indiana.edu/classes/s251/grades/apr03.txt>Wed Apr  3 16:34:46 EST 1996</a>
<li> <!WA52><a href=http://www.cs.indiana.edu/classes/s251/grades/grades.txt>Fri May  3 13:02:36 EST 1996</a>
</ul></ul>

The listing of evaluation criteria shown below is tentative.  For this
honors class I would like to place greater emphasis on interation and
participation than on formal examinations and assignments.  However,
the form of participation is something I would like to discuss at the
first meeting of the class.  Also, since I am required to enter a grade
for each participant at the end of the semester, some objective performance
comparison will be necessary.

<UL PLAIN>
<LI><STRONG> 35% for paricipation,</STRONG> including classroom presentations,
    class discussion, posted challenges, and projects.
<LI><STRONG> 20% for Exam 1, </STRONG>
   to be scheduled during the discussion session (W, 7:15-9:15),
   week and location to be announced.
<LI><STRONG> 20% for Exam 2, </STRONG>
   to be scheduled during the discussion session (W, 7:15-9:15),
   week and location to be announced.
<LI><STRONG> 25% for the Final Exam. </STRONG>
   Currently scheduled for Tuesday, April 30, 12:30-2:30pm;
   location to be announced. 
</DL>


<A NAME="communication"><H3>Communication</H3></A>

This <!WA53><A href=http://www.cs.indiana.edu/classes/s251/home.html> home page </A>
is the primary distribution point for information as the course progresses.
Please check it regularly.

<P>
The course newsgroup,
<!WA54><A NAME=1 HREF="news:ac.csci.s251">ac.csci.c251</A>
used to post announcements, such as assignments, exams, and any exceptions
to our usual office hours.  You are also encouraged to use it to post
questions related to the course, participate in discussions, or share related
information with the class.  Please make a habit of looking for new notes
a few times each week.

<P>
On individual matters, please feel free to contact your instructor or
associate instructor via email or to drop by their office.  The
scheduled office hours are reserved for S251 students, but you are welcome
and encouraged to drop by at other times.

<A NAME="evaluation"><H3>Course Evaluation</H3></A>

Participants are strongly encouraged to use the department's
World-Wide-Web based course evaluation system, which can be accessed
through the Computer Science Department's
 <!WA55><A HREF="http://www.cs.indiana.edu">home page</A>.
Evaluation summaries will be extracted two times during the semester.
During the first three weeks, students will be asked to provide feedback
on all aspects of the course, providing an early opportunity to inform
the instructors about how the course should be run.

<P>
Final course evaluations are taken seriously by the department and are
integral to yearly faculty and department evaluations.
To encourage participation, credit 
will be given to those students who submit a full evaluation during the
week prior to final examinations.  The evaluations are <EM>anonymous</EM>,
but a transaction record is generated whenever an individual evaluation
is updated. These transaction records are compiled and sorted by the
Undergraduate Secretary.  Thus, the instructor is informed about <EM>who</EM>
filed evaluations independently of what those evaluations may contain.
Final evaluation <EM>content</EM> will not be reviewed by the instructor until
after grades are assigned.

<A NAME="policies"><H3>Policies</H3></A>

<B> Attendence</b>.
Not all the material presented in this course is in the text book.
Class attendance is not monitored and is not mandatory, although
regular attendance and class participation are a factor in
<!WA56><A HREF="#participation">grading</A>.   Attendance at examinations
is mandatory and make-up examinations will normally not be given.
No special assignments or projects will be given to help students
raise their grades.  

<P>
<B> Academic Integrity</b>.
If you have not already done so, please read the Computer Science Department's
<!WA57><A HREF="http://www.cs.indiana.edu/integrity.html"><EM>Statement on Academic
Integrity</EM></A> to be sure you understand the rules under which computer
science courses operate.  Cases of academic dishonesty will be reported
to the Office of Student Ethics, a branch of the Office of the Dean of
Students.

<P>
<B>Withdrawal</B>.
Wednesday, March 6, is the last day to drop a course or
withdraw from all courses with an automatic W.  After that date, a
student may withdraw only with the permission of his or her dean.
This approval is normally only for urgent reasons related to
extended illness or equivalent distress.   <P>

<P>
<B>Incompletes</B>.
An incomplete (I) final grade will be given only
in exceptional circumstances conforming to university and departmental
policies which requires, among other things, that the student must have
completed the bulk of the work required for the course with a passing
grade, and that the remaining work can be made up within 30 days after
the end of the semester. If these conditions cannot be met withdrawal
is the appropriate course of action. <P>