|
text: Sipser, Introduction to the Theory of Computation (errata for text here). On sept 23, the ucr bookstore had 11 copies of the text and promised that 30 would be there by sept. 27. You may want to order from amazon.com . |
|
text: /Sipser |
|
* 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. |
|
* 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. |
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: