Administrative

• UNM Catalog Description

  Note: The course number has been changed from CS 201 to CS 261; some documents still refer to CS 201.

• Registration and Schedule (Lecture)

  Course	CS 261, Section 1
  Title	Mathematical Foundations of Computer Science
  Time	TR 12:30pm-1:45pm
  Place	Mech. Engineering 214
  Call Number	13025

• Instructor: George Luger

  Office	FEC 349E
  Phone	277-3204
  E-mail	luger@cs.unm.edu
  Office Hours	TR 2pm-3pm and by appointment

• Teaching Assistant: Philseong Chun
  

  Office	FEC building 309 Computer room
  Phone	TBA
  E-mail	chunps@unm.edu
  Office Hours	WF 1pm-3pm and by e-mail

Course Details

Syllabus

Ethics Policy

Grading

Homeworks (approx 10): 20%

Midterm 1, September 20: 20%

Midterm 2, October 20: 20%

Final Exam, December 13: 40%

Homeworks and Exams

• Homework #1 ,Chapter 1 self test, due September 8, pdf file Solution , ps file Solution
• Homework #2 ,Chapter 2 self test, due September 20, pdf file Solution , ps file Solution
• Homework #3 ,Chapter 3 self test, due October 04, pdf file Solution , ps file Solution
• Homework #4 ,Chapter 4 self test, due November 01, pdf file Solution , ps file Solution
• Homework #5 ,Chapter 5 self test, due November 01, pdf file Solution , ps file Solution
• Homework #6 ,Chapter 6 self test, due November 14, pdf file Solution , ps file Solution
• Homework #7 ,Chapter 7 self test, pdf file Solution , ps file Solution
• Homework #8 ,Chapter 8 self test, pdf file Solution , ps file Solution
• Examination #1 ,September 20, pdf file Solution , ps file Solution
• Examination #2 ,November 1, pdf file Solution , ps file Solution

• Practice Exam 1
• Practice Exam 2
• Practice Final Exam

  Handouts

  • Handout #1, example proof by induction
  • Handout #2, more examples (induction)