Top/CourseInfo

meets: Tu,Th 8:10-9:30am, HMNSS 1503.

instructor: Neal Young, 347 Surge Bldg, neal at cs.ucr.edu

office hours: tuesdays 9:30-10:30am, wednesdays 2-3pm (Sept. 28 - Dec. 14)

text: /Sipser

prerequisites: cs150 or equivalent. Chapters 0-2 in the text. See /TentativeTopics for details.

web page: http://www.cs.ucr.edu/~neal/cs215 .

grades: based on: quizzes every two weeks, graded homeworks every two weeks, final exam. average quiz score, average hwk score, and final exam score will be averaged to determine final weighted average. grade cutoffs yet to be determined.

collaboration: Unless otherwise specified, all work turned in for grading should be your own (no collaboration at all with anyone else, no getting solutions from any source other than the course textbook). Violations of this policy will be referred to UCR student judicial affairs.

course format:

• Two weekly meetings (lectures mixed with group exercises, quizzes every couple of weeks).
• Written homeworks due every couple of weeks.
• Additional ungraded assignments for practice.
• Optional proof groups for practicing proof skills and discussing ungraded assignments. Proofs groups will meet 1-2 times per week for 1-2 hours, probably around lunch.