INSTRUCTOR: Sanjoy Baruah. (Click here for instructor's office hours, which are held at FB 134)

TAs:

• James Martin (Email:jamesml[at]cs[dot]unc[doc]edu). Office Hours TuTh 10am - 11am, in SN331
• Aidos Abzhanov (Email:aidos[at]cs[dot]unc[doc]edu). Office Hours F 11am - 12 noon, at TBD

  TA Office Hours (Held at Sitterson 331): TBD.

  TEXT: We will be using the text by Professor Jack Snoeyink, Reasoning and Writing in the Mathematics Underlying Computation, copies of which are made available to you in pdf format.

  The UNC Undergraduate Bulletin description of this course is

  Introduces discrete structures (sets, tuples, relations, functions, graphs, trees) and the formal mathematics (logic, proof, induction) used to establish their properties and those of algorithms that work with them. Develops problem-solving skills through puzzles and applications central to computer science.

  SYLLABUS: Here is the syllabus for this offering of COMP 283.

  PREREQUISITES: MATH 231 (Calculus of Functions of One Variable - I) or MATH 241 (BioCalculus I)

  SPECIAL NEEDS: If you are entitled to extra accommodation for any reason (such as a disability), we make every reasonable attempt to accommodate you. However, it is your responsibility to discuss this with the instructor during the first week of the course.

  DISCUSSION FORUM: I encourage the use of Piazza for class discussion. The system is highly catered to getting you help fast and efficiently from classmates (and occasionally, the TAs and the instructor). I encourage you to post your questions on Piazza and participate in discussions there. (The instructor and TAs will monitor these discussions, but for the most part not participate -- the idea is to use it as a forum for students to hold active discussions and help one another.)
  You will find our class page here

  TOPICS COVERED: Lecture outlines and handouts are available here (you may need a UNC Computer Science login ID to access this site; you can get yours here if you do not already have one.)