Description

This course covers elementary discrete mathematics for computer science. It emphasizes mathematical definitions, logical inference, and proof techniques. Topics include propositional logic, first-order logic, proof methods;
sets, functions, relations; mathematical induction, recursion; elementary graph theory; basic complexity theory, recurrences.

General Information

No information, yet. Stay tuned!

Announcements

Grades
12/17/14 4:11 AM

Dear all,

I also want to mention that there was some misunderstanding between me and Ruohan, so the grade cutoffs he mentioned in the previous post were completely incorrect. Based on Ruohan's message, several of you emailed me about being very close to the cutoff and asking me if I could bump up your grade. I want to mention that I assigned grades quite generously and, and for anyone whose grade was very close to the cutoff (within 1-2 points), I already bumped up their letter grade.

So, I would like to ask you to please not email me to ask if I can change your grade. I already did everything I could to assign you as good of a grade as possible while still being fair to everyone else. Also, I am out of the country right now, and I will not be able to meet with anyone within the next two weeks.

I hope you all have a great winter break, and I hope you enjoyed CS311H. I certainly enjoyed having all of you in the class, and I hope to see you around next semester!

Best regards,

Isil

 

EDIT to last note.
12/17/14 1:52 AM

EDIT: The final grades cutoff I posted earlier was incorrect. Piazza grades are disabled now. Please see your UT direct for letter grades later.

Final Grades Up on Canvas
12/16/14 5:02 PM

Hi all,

congratulations on finishing the class!

The final exam grades are ready to view on Canvas.

EDIT: The final grades cutoff I posted earlier was incorrect. Please see your UT direct letter grades later. Sorry about that.

Have a good winter break,

CS311H Instructors.

Average HW grade is updated on Canvas.
12/12/14 2:31 PM

Hi all,

you can check and verify your average hw grades now. The way we calculate it is to convert each hw grade to be percentage first, drop the lowest percentage, and take the average. Please take a look and make sure it is calculated correctly. You should email me if there's anything wrong before December 16th.

Have a good winter break,

Ruohan

Note: review session change to Wednesday due to conflict with 314
12/06/14 11:56 AM

3-6pm still at TA station, see updated post.

PS: unless there's another conflict..

Another Final Review Seesion and Old Hws/Tests
12/04/14 4:12 PM

Unless there's a conflict with most people, I will hold a review Q&A session on Wednesday, Dec. 10th, 3pm - 6pm at GDC TA station. If you need your old hws/tests for review, you can stop by and pick it up at any time.  Julian will still have another one at your selected time.

Good luck with your finals,

Ruohan

Note: Due to potential conflict with 314, I change the session to Wednesday.

CS311H final rescheduled
12/01/14 4:59 PM

Dear all,

Based on your responses, I have rescheduled the CS311H final to the 9 am slot on Dec 12. The location is SZB 104.

I am aware that some of you have conflicts, but don't worry! There will be a make-up exam at 2 pm on Dec 12 in GDC 4.302. Note that this is the original time slot for our final.

Please only take the make-up exam at 2 pm if you absolutely cannot take the exam at 9 am (i.e., you have a conflict with another exam). Also, please go ahead and send me an email if you are planning to take the make-up exam at 2 pm (so that I can book an appropriate room).

Thanks for your help!

Best,
Isil

Discussion Session on Wednesday
11/25/14 11:15 PM

Hi all,

I realize many of you probably won't attend discussion tomorrow. I will still be there to go over some graph problems.

After that I will post problems with solutions on piazza.

Have a good thanksgiving,

Ruohan

Staff Office Hours
NameOffice Hours
Julian Michael
When?
Where?
Ruohan
When?
Where?
Isil Dillig
When?
Where?

Homework

Lecture Notes

General Resources