Newsgroup: git.cc.class.cs1050b

Textbook: Kenneth H. Rosen. Discrete Mathematics and its Applications, Fourth Edition, McGraw-Hill, 1999.

Catalog description: Techniques of rigorous argumentation, emphasizing reading and writing of formal and informal proofs. Application of these techniques to domains of relevance to computer science.

Topics to be covered: Propositional and predicate logic, basic proof techniques, sets, functions, relations, sequences, mathematical induction, counting and elementary probability, elementary graph theory.

Grading: Weekly homeworks (20%), two mid-term exams (20% each), comprehensive final (40%).

Late policy: The weekly assignments are due in class, one week after they are handed out (unless otherwise specified). Late assignments will be assesed a penalty of 20% of their grade if turned in whithin 48 hours; assignments that are more than 48 hours late will not be accepted

Guidlines on homework: Assignment will be handed out in class, and also posted on the class web site, at http://www.cc.gatech.edu/classes/AY2001/cs1050b_spring/. Sample solutions to the weekly assignments will be posted on the class web site approximately one week after the due date. Start working early on the weekly homeworks, and plan to devote plenty of time for understanding the concepts involved. Although homework has a relatively low weight in the final grade, working hard on your homework is the best preparation for the exams. Don't hesitate to get help when you get stuck. The instructor and the TA are available during the above office hours to answer your questions, you may also setup appointments by e-mail. You are also encouraged to use the newsgroup for posting questions and answer the questions raised by other students. You may verbally collaborate on homework problems with other students, provided that you acknowledge the collaboration by writing the names of those with whom you discussed solutions. However, note that you are not allowed to share written answers with anyone else, and you may not look up the answer to a homework problem if it happens to be published either in print or on the internet.