Announcements BEFORE Midterm 1.

• Oct 3: HW4 is graded. Grades may not be online as yet, but you will get to see your homework sheets if you wish.
• Oct 3: Note that the first midterm exam is IN CLASS tomorrow (Thursday, 4th October) from 5:10 PM to 7:10 PM, which is our normal class time. The time 10F mentioned in the course syllabus and down below on the webpage is solely for the final exam.
• Oct 2: Solutions to some optional problems from Hw4 are posted here.
• Oct 2: Ajit will have extra office hours on 3rd Oct, from 2:00 to 4:00 PM.
• Oct 2: Homework 4 solutions are now available via Courseworx
• Oct 2: As mentioned in class, you are allowed a double-sided cheat sheet of size A4 in the exam. You can also bring along a calculator. No cell phones to be used during the exam.
• Sept 29: Please bring your UF Id cards along with you on the day of the exam.
• Sept 27: Midterm 1 will include material from sections (1.1) to (1.7), and from section (2.1) to (2.3). Section (2.4) is NOT on the midterm. Also, we won't have proofs on tilings or stuff related to open problems and conjectures (mentioned in section 1.7), and Prolog programs (mentioned at the end of section (1.1) ).
• Sept 27: Hw3 and Quiz2 grades are up. Please collect all your stuff from the TAs during their office hours (or during my office hours). All regrading requests for Quiz 1 and 2, and homeworks 1,2,3 must be made by Tuesday (2nd Oct) or before. Here is who has graded what: Quizzes 1 and 2 are by Jyungryun, Hw3 is by Jyungryun, Hw2 is by Venkat, Hw1 is by Amit/Hale.
• Sept 25: Hw4 updated, with new problems from section (2.3). I may add problems from section (2.4) later this week.
• Sept 25: Quiz2 solutions up (on courseworx).
• Sept 22: Homework 3 solutions are up. (The homework is not graded as yet, and your grade for Hw3 will show up as "Dummy" until the grading has been done).
• Sept 20: Hw4 is out. It is due on 2nd October (TUESDAY after next). I will add a few more problems from section 2.3 (and maybe section 2.4) next week.
• Sep 19: Homework solutions will henceforth be accessible only via Courseworx.
• Sep 19: Homework #3, for the problem on harmonic and geometric means, you should assume that the two numbers x and y are POSITIVE reals. If one of the numbers is negative (and the other positive), then the geometric mean is not defined (within the domain of reals).
• Sept 18: Midterm 1 will be postponed till 4th October.
• Sept 17: Homework 1, homework 2 and quiz 1 grades are up on courseworx. Please view your grades and collect all your papers from the TAs during office hours.
• Sep 17: There was a bug in the second part of Q5 in the Hw2 solutions, which is now fixed.
• Sept 16: Here is one more example of a (partly) non-constructive proof - for the existence of the solution of a complicated equation such as x^3-10^x = 0. Some equations such as x^2 + 10 = 0 have no solutions in the domain of real numbers. For some equations, you can prove the existence of a solution by showing the exact solution itself (such as x^2 - 4 = 0 has solutions x = +2 or -2). For showing proof of existence of solutions to more complicated equations, the method shown in the aforementioned link is useful.
• Sept 14: Hw2 solutions (see COURSEWORX).
• Sept 13: Quiz #2 will be on Tuesday (18th Sept). Material to be covered will include sections 1.5, 1.6 and 1.7. In section 1.7, we shall skip proofs on tilings and stuff on open problems (Fermat's theorem, for instance).
• Sept 12: Hw3 is out and due on the 20th.
• Sept 11: To view your grades online, please look at this link which explains to you how to use a tool called COURSEWORX. You need to sign in with your ufl user name and password. Henceforth, all homework solutions will also be posted on COURSEWORX. The COURSEWORX link is http://www.cise.ufl.edu/class/cot3100fa07/course/COT3100.cgi.
• Sept 11: Assignment 1 is graded. Collect your papers from the TAs during office hours. The class average is quite high (around 8.5). Keep it up :-).
  Grading Policy: Only one question (out of 5 or 6) will be graded fully by the TA for the whole class. Points for the remaining will be given based on whether or not you have made an attempt (a reasonable attempt) at each of them. We will not reveal to you before the homework is handed over, as to which question will be graded in detail.
• Venkat's office hours added (see table above).
• Ajit's office location is room 506 (5th floor of the CISE building).
• Sept 7: We shall have a pop-quiz this Thursday (13th) and the following Tuesday (18th). The material for the quiz is propositional and predicate calculus. Please bring a cheat sheet of size A4 (both sides if you need) with your favourite formulae on it. The duration of each quiz will be about 30 minutes.
• Sept 7: Homework solutions available here (see COURSEWORX) .
• Ajit's office hours on Thursday shifted to the 7th period, i.e. 1:55 pm to 2:00 pm (on Tuesday, the office hours are unchanged).
• 6th September: Hw2 is out and due on 13th September.
• 31st Aug: The textbook is now available in the bookstore.
• 31st Aug: A copy of the textbook and the student's solutions guide for the same are in the SCIENCE LIBRARY available for a two-hour loan.
• 30th Aug: Homework 1 is here and due 6th September in class.
• 29th Aug: Some lecture slides on Propositional calculus are here and here (courtesy: Alper Ungor).
• 28th Aug: Make sure you attend DISCUSSION SESSIONS, each Wednesday. Look in the table above for further details of the exact time and location.
• 27th Aug: Hale's office hours added (see table of timings above). Until announced otherwise, Ajit will be holding his office hours in CSE 309 (the TA room).
• 24th Aug: Jyungryun's office hours added (see table of timings above).
• 23rd Aug: Attend discussion session every Wednesday. You will be in RNK 0220 either in the 9th (SECTION 1096), 10th (SECTION 1097) or 11th period (SECTION 7154) depending on your section number. TAs in the discussion sessions will solve problems that give you useful practice.
• 23rd Aug: Make sure you download the syllabus and read the rules in it. Also please purchase a copy of the textbook as soon as possible.
• 18th Aug: Course textbook is "Discrete Mathematics and Its Applications" (SIXTH edition, McGraw Hill) by Kenneth Rosen. See here or here
• 18th Aug: First lecture on Thursday 23rd Aug, in RNK 0110, 10th Period (5:10 pm to 6:00 pm) and 11th period (6:15 pm to 7:05 pm)