Classes meet Thursdays from 6:00 pm to 8:20 pm. Office hours are on Thursdyas, from 8:20 to 9:30 pm in room 419 of Warren Weaver Hall, or at other times by appointment.
Whenever you have a question about the course material, please feel free to come to the office hours or send me an email. If at any time you feel that you are falling behind or are overwhelmed by the material, let me know, I will be glad to help you.
(This is an aggressive schedule and the actual pace of the course may be different)
Date Lecture Topic Reading Homework 1 May 23 Logic of Compound Statements Chapter 1 2 May 30 Logic of Quantified Statements Chapter 2 3 June 6 Elementary Number Theory and Methods of Proof Chapter 3 4 June 13 Sequences and Mathematical Induction Chapter 4 5 June 20 Set Theory Chapter 5 6 June 27 Counting Chapter 6 7 July 11 Functions Chapter 7 8 July 15 Recursion Chapter 8 9 July 18 O-notation and Efficiency of Algorithms Chapter 9 10 Jul 25 Relations Chapter 10 11 Aug. 1 Graphs and Trees Chapter 11
General course information
The homeworks will consist of theoretical assignments done on paper. No programming is involved.
There will be ten homeworks, three quizes and a final. Your grade will be 40 percent homeworks (4 percent each), 30 percent quizes (10 percent each) and 30 percent final. You should get a Unix account from the ITS in order to receive email from me. I will be sending information, hints, help, etc. to everyone in the class on mailman (majordomo won't be used). First you must subscribe to it, as follows:
- Twenty-five percents will be deducted for each week the assignment is late.
- The assignments can be submitted either on paper in class or via an email to the graderGo to the course mailman site by clicking or entering the following in your browser:
Once there, scroll down a bit and enter your email address and choose a password. You will have to check your email and reply to confirm your subscription request.
Near the top of the same page is a link for sending email to the list (once you've subscribed). You can also send email directly to firstname.lastname@example.org
For more info on mailman including a list of answers to Frequently Asked Questions ("FAQ"), use the link for mailman home page at the bottom of our list's page or go to http://www.list.org
Lecture notes are on the course home page
May 12, 2002