Homeworks
Due
Solutions
01.22

emailed

01.29

emailed

02.05 emailed
N/A
03.03

emailed

03.10

emailed

03.31

emailed

04.16

emailed

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Spring 2009
CS 1050 B - Constructing Proofs

Time: Tu, Th: 12:05-1:25pm.
Place
: Physics Building, lecture hall L1.
Instructor: Alexandra (Sasha) Boldyreva
Email: aboldyre (at) cc (dot) gatech (dot) edu Please include "1050" in the subject.
Office hours: Tuesday 2-3pm, Wednesday 2-3pm, in Klaus 3144.
TAs: Lars Kruger lars.krueger (at) gatech (dot) edu and Dhairyashil Padalkar dhairyashil.padalkar (at) gatech (dot) edu . Office hours: Monday 10am-12pm. Location: common area on 2nd floor of the Klaus building, between rooms 2116 and 2124

  • Announcements:No lecture on Thursday. 3 cheat sheets are allowed for the final.
  • Required Textbook. "Discrete Mathematics and Its Applications" by Kenneth Rosen, 6th edition. ISBN#: 0072880082
  • Content. Basic primitives and paradigms of the mathematical understanding of computation.
    List of topics:
    Propositions, Proofs, Propositional Logic.
    Induction and Recursion.
    Basic Counting and Probability.
    Number Theory: Euclid's Algorithm, Primality, RSA.
  • Requirements. There will be weekly (and sometimes bi-weekly) homeworks (30%), three quizzes (36%) and a final (34%).
  • Syllabus that contains the lecture notes and relevant reading assignments.
  • Rules and additional course information.

Georgia Tech and College of Computing academic Honor Code applies.

Sources of information.The main sources of material are the lectures, the textbook, the lecture notes and the course website. You are responsible to check the course website after each lecture to learn the assigned homeworks, reading and other announcements. If you miss a class, it is your responsibility to learn the material and information you missed. Hardcopies of the lecture notes and homework sets are not distributed.

Office hours and email.Please make use of the instructor's and TA's office hours. This is the best way to ask questions, get help and clarify doubts. If you cannot attend the office hours because of a time conflict, send an email asking for an additional meeting time. In all emails use the word 1050 in the subject. If your email contains a question on the material or homework, please make an effort to make the question clear and easy to understand.

Assessements.There will be weekly (and sometimes bi-weekly) homeworks (30%), three quizzes (36%) and a final (34%). Your lowest homework score will be dropped. Your lowest quiz score will be dropped.

Homeworks are announced in class and are posted on the coure website. Homework solutions are due on the indicated due day in class, before the class starts. You may submit your homework by email (in the pdf format) addressed to the TA and me, before the class. NO late homeworks will be accepted, no exception. You may collaborate with other students in your class in solving the problems, but please indicate your collaboration group. You MUST write your answers by yourselves, without any collaboration, as if you are taking a test. In solving the homeworks you may not discuss the homework problems with anyone outside your class and you may not use the Internet or any other material besides the lectures, lecture notes and the textbook. Do not forget to write your name. If you use more than one sheet, staple them together.

Your lowest quiz score will be dropped. Note: Because I drop the score of one of your examinations, there will be no make-up tests given, except under extreme extenuating circumstances. Be prepared to document the reason of your absence (by a medical certificate or a note from the Dean of Students) and advise me ahead of time if possible.

In writing the solutions to the homeworks and exams make sure your solutions are readable. Be as concise and precise as possible. As most of the problems involve proving things, the number of point you get will depend on the quality of mathematical writing. Think from the point of view of a grader: are you making sure that person will understand your solution? Remember, you are not graded on what you think you wrote but on what is written.

If you feel you were mis-graded on anything, first look at the solutions. If you still feel unsatisfied, appeal to the person who graded the assignment.