Discrrete mathematics for computer science computer science 20 00intro

Computer Science 20 All the Math you need for your Discrete Mathematics for Computer Science courses Computer Science that you won’t learn in your Math Courses 1/23/12 Some Topics • Formal logic (p∨q) ∧¬(p∧q) b a • Graphs and digraphs c • Probability d f • Counting • Number theory p ≡ qr (mod m) … see the “placement test” on the web site 1/23/12 Skills!!! • How to proofs – By contradiction – By induction –… • How to read and write mathematics – And typeset! • How to collaborate • How to present clearly and persuasively 1/23/12 3 Principles of Course Philosophy Learning, not competing Learn by doing, not by listening Many small bites 1/23/12 Typical Class Day • Before class: – Reading and check-in problems (30-60 mins) • In class – Mini-lecture (10-20 mins) – Collaborative problem solving in groups of (30-40 mins) • After class and before next class – Homework (60-90 mins) • So class week = – hours class time – ≤ 7.5 hours out-of-class time • Most readings from MIT course notes 1/23/12 Requirements • Attendance is mandatory! – See “Course policies” for details – Official/emergency absences ⇒ email cs20@seas.harvard.edu – Class begins at 10:10 sharp – Homework boxes removed at 10:15, no late submissions • hour exams • 3-hour final during exam period 1/23/12 Tentative Grading Mix • • • • • Homework 35% Midterms (2) 30% Final exam 25% Check-in questions 10% (Poor attendance: Exclusion or failure) 1/23/12 Support and Resources • Web site – Where schedule, HWs, slides, etc are posted • TFs – See calendar on web site for office hours • Volunteers • Piazza (after study card day) • Tool for answering check-in questions (see course home page and get an account!) • Reading assignments and check-in questions are on the check-in tool 1/23/12 And now – the course in action! 1/23/12 ... Day • Before class: – Reading and check-in problems (30-60 mins) • In class – Mini-lecture (10 -20 mins) – Collaborative problem solving in groups of (30-40 mins) • After class and before next... 1/23/12 Requirements • Attendance is mandatory! – See “Course policies” for details – Official/emergency absences ⇒ email cs20@seas.harvard.edu – Class begins at 10:10 sharp – Homework boxes removed... HWs, slides, etc are posted • TFs – See calendar on web site for office hours • Volunteers • Piazza (after study card day) • Tool for answering check-in questions (see course home page and get