# CSC 201 - Discrete Mathematics for Computer Scientists

## Homepage: https://web.stonehill.edu/compsci/shai.htm

Lectures:  MWF  9:30 - 10:20,   215 College Center

Exams:  There will be six quizzes and I will count the top five (25%).  There is one final examination (35%). The final will be Wednesday, December 18, 9:00 AM.

Teaching Assistant:  Vlod.  Help sessions every Sunday night 5:30 -7:00 PM in the lab.

Assignments:  Homework assignments will be worth 40% of your grade.  You may do these with a partner, and one grade will be given to both people in each group, but you may work alone if you prefer to do so.  Read our department's academic integrity guidelines before you hand in any written work

Grading:  Your grade is 25% quizzes, 40% homework, and 35% final  exam.  You can guarantee an A- or better with 90%, a B- or better with 80% etc.  I may curve these numbers in your favor, if I feel it is warranted.

Goals:  To understand the mathematics that underlies computer science, and to appreciate where it is used.  This semester will concentrate on functions, number theory, recurrence equations, recursion, combinatorics, and their applications.  Next semester concentrates on sets, Boolean algebra, linear algebra, and their applications.

Special Dates:   September 30, October 9, and October 21 are Jewish holidays. Instead of lecture, there will be a quiz or a TA homework review. I will announce details in class.

Description:   The two-semester discrete math sequence covers the mathematical topics most directly related to computer science. Topics include: logic, relations, functions, basic set theory, countability and counting arguments, proof techniques, mathematical induction, graph theory, combinatorics, discrete probability, recursion, recurrence relations, linear algebra, and number theory.  Emphasis will be placed on providing a context for the application of the mathematics within computer science. The analysis of algorithms requires the ability to count the number of operations in an algorithm. Recursive algorithms in particular depend on the solution to a recurrence equation, and a proof of correctness by mathematical induction. The design of a digital circuit requires the knowledge of Boolean algebra.  Software engineering uses sets, graphs, trees and other data structures. Number theory is at the heart of secure messaging systems and cryptography. Logic is used in AI research in theorem proving and in database query systems. Proofs by induction and the more general notions of mathematical proof are ubiquitous in theory of computation, compiler design and formal grammars. Probabilistic notions crop up in architectural trade-offs in hardware design.  Linear algebra has a vast variety of applications including:  Markov chains, cryptography,  computer graphics, curve fitting, electrical circuits, and data mining.  The first semester concentrates on induction, proofs, combinatorics, recurrence relations, computational complexity, Big-O, and number theory.  The second semester concentrates on logic, sets, set algebra, functions, countability, Boolean algebra, linear algebra and applications.

Rosen Online Help       Cut-the-Knot        Math in CS         My Video Lectures      Wolfram Alpha