Understanding and Constructing Proofs

Spring 2000

Instructor: Larry F. Hodges, Ph.D.
Centennial Research Building (CRB) 373
(404) 894-VRVR
hodges@cc.gatech.edu
www.cc.gatech.edu/~hodges



 
General Class Information Class Schedule, Reading and HW Assignments
TA Information and Recitation Locations Instructor Information
Homework (READ THIS!) Grading Policies

COURSE GRADES ARE POSTED HERE  

General Class Information

The textbook for this class is Discrete Mathematics and Its Applications by Kenneth H. Rosen (4th edition).  All sections meet together for class lectures on Mondays and Wednesdays.  On Fridays each section meets separately with their TA for discussion of the lectures and homework problems.

Teaching Assistants (note that any CS1050 TA from any section can answer your questions)
Section      Location                             Teaching Assistant                                    Office Hours
A1             519 Mason                           Meng Guo (mguo@cc.gatech.edu)               M:3-4:30, F:10:30-12 in CoC Commons Area
A2             271 Skiles                            Jun Xiao (junxiao@cc.gatech.edu)                T:1:30-2, W,H: 1:00-2:00 in CoC Commons Area
A3             268 Skiles                            Khai Truong (khai@cc.gatech.edu)               M,W : 4:30-6 in CoC Commons Area
A4             240 Skiles                            Anna Shleyfman (shleyf@cc.gatech.edu)       M,W: 11-12:30 in CCB206 (Animation Lab)
A5             102 Coll of Comp                Wei Li (weili@cc.gatech.edu)                       M,W:12-1, F:1-2, CoC Commons Area
B1             107 Architecture (Old)          Ruomei Gao (gaorm@cc.gatech.edu)           T,F:2-3:30, CoC Commons Area
B2             258 Architecture (New)        Bhaskar Dutt (bdutt@cc.gatech.edu)            M,W:3-4, T:1-2 in CoC Commons Area
B3             204 Cherry Emerson             Ning Tan (ntan@cc.gatech.edu)                   M,W 9:30-11 in CoC Commons Area
B4             115 Instr Center                    Kobi Abayomi (kobiwan@isye.gatech.edu) Thursday : 10-1, CoC Commons Area

NOTE that the CS1050 Honors Section is taught by Dr. Randall and meets in 17 Coll of Computing for both class and recitation.

Grading
Quiz 1 20%
Quiz 2 20%
Quiz 3 20%
Final Exam 40%
No makeup quizzes will be given.  If you miss a quiz for a legitimate reason then your final exam grade will take the place of that quiz grade for your final average.  Most of your work will be graded by the teaching assistant assigned to your recitation section based on grading keys that the instructor provides.  If you are unhappy with the grading of a particular problem on an assignment you may turn it in for regrading by the instructor. (TAs may not change a grade once the paper is returned.)  You should turn in the entire assignment that contains the problem(s) you would like for the instructor to regrade with an attached note clearly specifying which problems are to be regraded.  The instructor will regrade the entire problem. His grade is final and could be either higher or lower than your original grade.

Homework
To do well on the quizzes you must do the homework.  My minimum expectation (read "C") when making out the quizzes is that you have done and understood every homework problem that you have been assigned.  The homework assignments will not be taken up and graded but you will have an opportunity every Friday to ask questions about the class examples and the homework problems during your recitation section.  You should have at least have attempted to do each homework problem before it is discussed on Friday. Watching the TA do the homework on the board is not enough!  First you should learn how to do each problem, then you should practice doing similar problems from the textbook (which has MANY problems at the end of each section).   My past experience is that students who do not keep up with the homework get hammered on the quizzes. If you have a personal policy of not doing homework, do yourself a favor and drop this course now. Also consider transferring to UGa.

Instructor Information
My office is located on the third floor of the Centennial Research Building (CRB 373), approximately a ten minute walk from the College of Computing Building.  My email is hodges@cc.gatech.edu.  Email is the best way to contact me.  I will have some office hours in a "borrowed" office in the College of Computing Building( CCB). Place and time will be announced in class.