Urgent announcements may be sent out via campus email, so make sure you either check your Bard email regularly or have your Bard email forwarded to the email address of your choice.
It is expected that students attend all classes. Bring the text to each class.
Homework:
Homework will be assigned at the end of every class. Turn in written homework in hard copy at the start of the next class; turn in programming exercises on the assigned due dates. Late assignments will not be accepted, except in genuine emergency situations.
All written homework must be handed be typed in LaTeX and must use the homework template of the Bard TeX Style file, which is available at the instructor's TeX website. If you need help with LaTeX, ask the instructor.
All programming homework must be shared via the Sage (CoCalc) website. If you need help with Sage, ask the instructor.
You are encouraged to work with other students in solving the homework problems. However, for the sake of better learning, as well as honesty, please adhere to the following guidelines:
Write up your solutions yourself.
Acknowledge in writing anyone with whom you work and any assistance you receive.
Acknowledge in writing any revisions of your work based upon solutions given in class.
Failure to indicate collaboration, assistance or sources will be construed as plagiarism.
The use of homework solutions found on the web or elsewhere will be treated similarly to plagiarism on exams.
Your solutions should be written clearly and carefully, as described below.
Exams:
Each exam will be in class, closed book.
Midterm Exam: Wed., Mar. 18
Final Exam: Mon., May 18
What is Math 313
Discrete and computational geometry, which has applications in areas such as pattern recognition, image processing, computer graphics and terrain modeling, is the study of geometric constructs in two- and three-dimensional space that arise from finite sets of points. This class will treat fundamental topics in the field, including convex hull, Delaunay triangulations, Voronoi diagrams, curve reconstruction and polyhedra. The class will combine both theory and algorithms.
The work for the class will involve both traditional proofs and implementation of algorithms via the computer system Sage, which is based upon Python and which will be discussed in class.
This course is cross-listed with the Computer Science Program.
The prerequisites for this course are either Proofs and Fundamentals (MATH 261), or Discrete Mathematics (CMSC 145) and some programming experience.
Office Hours
If you have any problems with the course, or any questions about the material, the assignments, the exams or anything else, please see the instructor about it as soon as possible.
If you cannot make any of the scheduled office hours, please make an appointment for some other time. To make an appointment, or to discuss anything, talk to the instructor after class, or send him an email message, or just stop by his office.
Calculators, Computers and Electronic Devices
Calculators are not needed for this class.
A computer will be needed for typing the homework in LaTeX and for doing programming exercises in Sage. LaTeX can be done either via a free downloaded program or online, and Sage is done online.
Electronic devices, including cell phones, tablets and laptop computers, may not be used during class, other than to read the text or for programming exercises
Mathematics Study Room
The Mathematics Study Room is open Sunday – Wednesday, 7:00pm – 10:00pm, in Hegeman 308.
The Mathematics Study Room is staffed by undergraduate mathematics majors who are available to answer your questions. Few if any of the Math Study Room tutors will be prepared to assist you with the specific material covered in this course, but some of them will be able to help you with general issues of writing mathematical proofs. You can go to the study room to work on your homework, and then ask for help as needed.
Tutor
There is no dedicated tutor for this course.
Grading
Grades will be determined roughly 50% by the homework assignments and 50% by the exams. Class participation will be taken into account positively, especially in cases of borderline grades.
Grades will be determined by work completed during the semester, except in cases of medical or personal emergency. There will be no opportunity to do extra credit work after the semester ends.
This course is graded using letter grades. If you want to take the course Pass/D/Fail, you must submit a request to do so to the Registrar's Office by the end of the Late Drop period.
Accommodations
Students with documented learning and/or other disabilities are entitled to receive reasonable classroom and testing accommodations. If you need accommodations, please adhere to the following guidelines:
Discuss your needs with the instructor at the beginning of the semester.
Provide documentation as appropriate.
Contact the instructor at least one week prior to each exam or instance of accommodation.
If you need to miss a class for any reason (sports team, religious holiday, etc.), it is your responsibility to contact the instructor and find out about the material and assignments you missed.
Travel plans that do not take into account the dates of exams are not a valid reason to miss an exam; there is no guarantee that exams will be available early to accommodate travel plans.
Important Academic Dates
Wed., Feb. 5: End of Drop/Add period.
Wed., Feb. 26: End of Late Drop period; last day to request Pass/Fail.
Mon., Mar. 23 - Fri., Mar. 27: Spring break.
Mon., Apr. 27 - Tue., Apr. 28: Advising days (no classes).
Wed., Apr. 29: Last day to withdraw from a class.
Wed., Apr. 29: Senior projects due.
Tue., May 19: Last day of classes.
Writing Homework
Everyone makes honest mathematical mistakes, but there is no reason to get in your own way by writing your proofs with incomplete sentences and other grammatical mistakes, by using undefined symbols for "variables" or by engaging in other forms of sloppy writing. The goal of writing mathematics is two-fold: making sure that a proof is correct in all details, and communicating the proof so that others can understand it. To help achieve those aims, mathematics must be written carefully, and with proper grammar, no differently from any other writing. Properly written proofs entail the following basic points.
Write your homework assignments neatly and clearly.
Use correct grammar, including full sentences and proper punctuation.
Justify each step in a proof, citing the appropriate results from the class notes as needed.
Use definitions precisely as stated.
Be very careful with quantifiers.
Strategize the outline of a proof before working out the details; the outline of a proof is always determined by what is being proved, not by what is known.
Distinguish between scratch work and the actual proof; scratch work can be in any order, but the actual proof always starts with what is known and deduces the desired result.
Proofs should stand on their own; check your proofs by reading them as if they were written by someone else.
Similarly to writing mathematics, the goal of writing computer programs is two-fold: making sure that a program is correct in all details, and communicating the details of the program so that others can understand it. Properly written programs entail the following basic points.
Adhere to all the conventions of the particular programming language.
Break up lengthy programs into smaller pieces via the use of functions, classes, and the like.
Cluster related lines of code into “paragraphs,” each of which focuses on a single idea or step. Leave a blank lines between paragraphs of code.
Use comments generously, for example a comment describing the purpose of each paragraph of code.
Please see the instructor if you have questions about writing – or doing – the homework assignments.
Learning to Do Rigorous Mathematics
Proofs-based mathematics courses are very different from computation-based mathematics courses such as Calculus. The ways you studied, did homework and took exams in computation-based courses was appropriate for those courses, but not for proofs-based courses. Approach proofs-based courses with the idea that you will be doing things differently from what you did in computation-based mathematics courses.
The material in this course is much more abstract, and requires much more precision in both studying and problem solving, than the material you saw in courses such as Calculus. For some students, a proofs-based course such as this one is the first time that they found a mathematics course really challenging, which can be intimidating at first, but is in fact completely normal. Everyone, including the very best mathematicians, reaches a level of mathematics that he or she finds difficult; what varies from person to person is only what that level is. If you made it this far in mathematics and you only now first encounter substantial difficulty in learning the material, you are doing fine.
In general, the more advanced you get in mathematics (or any subject), the larger the percentage of learning that takes place outside of class, including from the textbook, from other sources, from office hours, from tutors and from your fellow students (not necessarily in that order).
In Calculus courses, where the material can mostly be learned in class, reading the textbook is not necessarily very important. By contrast, in proofs-based courses reading the textbook carefully, and seeking help with those parts of the textbooks that you find difficult, is crucial.
In proofs-based courses, reading the textbook is very different from reading fiction, in two ways. First, reading proofs-based mathematics, which cannot be done without pencil and paper in hand, requires active engagement by regularly stopping to work out the details of what is written. Make sure you know why each step in a proof is true before moving on, and if you are unable to figure out one or more steps of a proof, seek help. Second, mathematics is not read in order from beginning to end, but "from the outside in." When you read a proof, start by looking for the overall idea of the proof, and then figure out the strategy that is being used, and only then go through the details one step at a time.
In Calculus courses, solutions to homework exercises are usually written as a collections of equations, with little or no words explaining the solution. By contrast, rigorous proofs are, fundamentally, convincing arguments, and to make a good argument, words are needed to direct the logical flow of the ideas; to explain what is assumed and what is to be proved; and to state what previous results are used. In particular, rigorous proofs are written using full sentences, and with correct grammar and punctuation, because doing so helps make the arguments more clear and precise.
In Calculus courses, solutions to homework problems are usually written directly, with little revision. By contrast, rigorous proofs should be written the same way a paper in a humanities course is written, by first making an outline (often called "strategizing a proof"); then sketching out a rough draft; then revising the draft repeatedly until the proof works; and, lastly, writing the final draft carefully and typing it in LaTeX.
Revising a draft of a rigorous proof should be done exactly as revising a draft of a paper in a humanities course, which is to read it as if you are not the author, but rather as if you are someone else in the class, and making sure that each sentence makes sense as written, without recourse to unwritten explanations.
Learning to write rigorous proofs takes time, and you should not expect to master it instantly.
A very good way to improve your skill at writing proofs, and to do as well as possible on the homework in this course, is to bring a draft of every homework assignment to office hours before you write up and submit the final draft.
MENU