Department of Computer Science,

Rutgers, The State University of New Jersey,

110, Frelinghuysen Road,

Piscataway, NJ - 08854-8019,

USA.

email: cjtonde [at] cs

**Office hours**: Thursday 3:45 pm to 5:45 pm

**Location**: Hill 402

email: davemm [at] cs

Office hours: 3:30 pm to 5:30 pm on Tuesdays

Location:Hill 414.

- [6/20/2012] Lectures begin on June 26th, 2012.

- [6/27/2012] Homework 1 posted. Visit this link.

- [6/28/2012] Solutions to problems in the homework will be posted soon (by tommorow). Homework 2 is posted.

- [6/29/2012] Since coming Tuesday the TA won't be able to conduct the recitation after the class I would be taking his place instead and we would be doing some problem solving in class.

- [6/29/2012] It turns out the solution to the even numbered problems in the book cannot be posted online or any public forum. Hence, I will also be posting odd numbered questios alongwith even numbered ones. The solutions for odd numbered problems can be found out at the back of the book or in the Students Solution Manual for the book and the TA will discuss the solutions for the even numbered problems in the recitation. A copy of Students solution is available on reserve at SERC library.

- [6/29/2012] Found a nice guide about how to use the solutions manual. See link. Also, it a good idea to form study group(s) so that you can share the Student Manual solve problems together and this can be done at SERC (possibly over weekends).

- [7/4/2012] A really good explanation available on the web for natural deduction. See link.

- [7/6/2012] See link for updated homeworks. I have also added previous Quizzes taken in the class. Next week the quiz would be on natural deduction and proof about numbers.

- [7/7/2012] Handout for inference rules for use in Quizzes and for the midterm and finals. Link

- [7/10/2012] Please fill out the survey about the course for feedback. Link.

- [7/10/2012] Homework 5 posted.

- [7/12/2012] Quiz solutions are posted. It is a good idea to solve problems from to Quiz as it will be a good practice for the midterm and final exams.

- [7/12/2012] Homework 6 would be posted soon and practice questions for the midterm too. Solving quizzes will also be good practice for the the exam.

- [7/13/2012] Here is the link for the excel spreadsheet which contains the mapping from 6th edition to 7th edition Rosen book. We will be following 7th edition for the course unless specified otherwise.

- [7/13/2012] The course information PDF file has been updated. Please visit the link above.

- [7/13/2012] Homework 1 is posted. Please visit the homeworks link. Due date - 7/17/2012 before 6:00 pm in class. Please submit hard copies of your homework only in class. Also, please read the general instructions posted about the homeworks at the top of the page.

- [7/13/2012] Practice questions for the midterm will be posted soon.

- [7/12/2012] Beginning next week we will be moving to SEC 210 for the rest of the semester. Lets hope the room air conditioning there is better.

- [7/13/2012] I will be posting practice problems for the midterm in a couple of hours from now. It will also contain a detailed syllabus with it for the midterm. But just to give you all an advance idea it will be everything covered in the class uptill Tuesday. See the course information PDF for more details.

- [7/13/2012] I will have extra office hours on Monday from 5:00 pm until 7:00 pm , or even later if I need to wait. You may come there and we could discuss sample midterm questions or any other doubts that you may have.

- [7/14/2012] Practice midterm questions posted. Solutions would be posted by
~~tonight~~soon.

- [7/15/2012] There was an extra problem in the homework for seventh edition(Sec 5.2 - #44) in the graded homework, but it did not exist. (Thereare only 43 problems there.). It has been removed. The website hasbeen updated to reflect this.

- [7/15/2012] Solutions to midterm practice questions have been be emailed to all. In case you haven't received them send me an email and I would send them to you.

- [7/16/2012] Dave has written up some of his notes which includes problems on Induction and Natural Deduction which he covered in the recitation. You may find them helpful. See link.

- [7/18/2012] For notes from the the recitation on 7/16/2012 see this link . These include solved examples on mathematical induction, strong induction and natural deduction. There are also some small fixes in the previous recitation notes see the link in the previous announcement.

- [7/18/2012] The practice midterm question have now been updated to contain problem numbers from the 6th edition. See link . Solutions to midterm question have been updated with fixed bugs.

- [8/7/2012] No Quiz today!. Midterm solutions and Section 5.3 "Recursive Definition and Structural Induction" (except Strings part) and this pdf for strings.

- [8/7/2012] Midterm questions posted in the homeworks section. See this link. Must read!

- [26/7/2012] A good ebook about mathematical writing. See link.

- [26/7/2012] Midterms will be returned on [27/7/2012] from 6:00 pm to 7:00 pm in my office hours.

- [27/7/2012] Homework 2 posted. Due on [8/2/2012].

- [28/7/2012] The midterm grading is done. I will send out an email with your score to you in a few minutes. If you don't receive it let me know and I will send it again to you.

- [28/7/2012] I will have office hours from 6:00 pm to 7:00 pm on Monday to distribute the midterm. I will distribute the exams on Tuesday in class too.

- [28/7/2012] I am done mailing all midterm scores. If you haven't received them yet, please let me know.

- [30/7/2012] Tommorow we will talk about Relations, Sec 9.1-9.5 and 4.1-4.4*

- [1/8/2012] Topics for today Quiz + Sec 4.1 - 4.4

- [4/8/2012] Solutions to midterm and Quizzes are posted in the homeworks page.

- [4/8/2012] Review questions for the final are posted on the homeworks page.

- [8/7/2012] Today's topics: Important announcements, final exam review questions and Q&A session.

- [8/10/2012] Class is over! Final exam scores and grades will be posted soon. Good luck!

Computer science is no more about computers than astronomy is about telescopes.

-Edsger Dijkstra.

**Academic Integrity**

All students are expected to adhere to the university policy on academic integrity. Copying and Cheating will not be tolerated.

You are the*(N+1)*^{th}vistor where*N*is the number of visitors before you.

Broken HTML courtesy by web authoring tool PICO.