CS 530 – Mathematical
Foundations of Computer Science
Prof. A. Brodsky – Fall 2015
Course Objectives:
This course teaches mathematical foundations of Computer Science focusing on basic mathematical structures, mathematical logic and probability theory. It is designed to provide students with proficiency in applying these concepts to problem solving and formal reasoning. To achieve this, the course provides students with significant hands-on practice including through the use of computational tools.
Instructor: Prof. Alex Brodsky, Computer Science department
Office hours:
Thursday, 3:30 – 5:00 pm
Special hour for CS
530 solutions: Thursday, 2:30 – 3:30 pm (location TBD)
Graduate Teaching Assistant: Nate Craun
GTAÕs Office Hours: TBD
Class: East Building, Room 122
Meeting Time: Monday 7:20 – 10:00 pm (see exceptions on detailed schedule below)
Prerequisites:
(MATH 125 or
INFS 501) and STAT 344
Textbook(s):
- Text 1: Foundations of Computer Science by Alfred V. Aho and Jeffrey D. Ullman (http://infolab.stanford.edu/~ullman/focs.html )
-
Text 2: Mathematics for Computer Science by E.
Lehman, F.T. Leighton and A.R. Meyer ( http://courses.csail.mit.edu/6.042/fall10/mcs-ftl.pdf
)
-
Text 3: Lecture Notes on Mathematical Logic by Vladimir Lifschitz
(https://www.cs.utexas.edu/users/vl/teaching/388Lnotes.pdf)
-
Text 4: Probability course notes by Richard Weber
(http://www.statslab.cam.ac.uk/~rrw1/prob/prob-weber.pdf )
-
Additional material will be provided by instructor
Grading
- 6 Homeworks (must be submitted, but are assessed by corresponding quizzes/exams)
-
4 Quizes: (Quizzes 1,3,4 – 5% each;
Extended quiz 2 – 10%)
-
Midterm: 30%
-
Final: 45%
Course Content
-
Foundations (~ 5 weeks):
o
Set Theory: Sets, relations and functions, composition, inversion
o
Algebra of sets and Boolean relations
o
Induction and recursion, and recurrence relations
o
Structural inductions, inductive definitions
o
Recurrence Relations and Generating Functions
o
Number Theory
-
Mathematical Logic (~ 4 weeks):
o
Propositional logic (syntax and semantics; transforming English
specification into logical statements and creating proofs; consistence and
completeness w/out proofs)
o
Predicate logic w/examples (syntax and semantics; transforming English
specification into logical statements; consistence and completeness w/out
proofs)
o
Practice/problem solving by proving theorems/finding counterexamples;
hand vs. mechanized proofs and counterexamples; theorem proving vs. model
checking
o
Practice with computing applications
-
Probability Theory (~ 3 weeks):
o
Sample spaces, probability,
random variables (discrete)
o
Continuous sample spaces.
Probability density.
o
Joint, marginal, and conditional
probabilities
o
The rules of probability: Sum and
product rules
o
Bayes' theorem
o
Independence of random variables
o
Expectations. Mean, Variance, and
Covariance
o
Biased and unbiased estimators
o
Univariate and multivariate Gaussian distributions
o
Other important distributions:
Poisson, Exponential, Bernoulli, Binomial, Multinomial; Exponential family of
distributions.
o
Maximum likelihood estimation
o
Bayesian inference (e.g. for the
Gaussian)
o
Examples of applications in
Computer Science
o
Probabilistic reasoning
Tentative Teaching Schedule
Date |
Meeting |
Topic |
Homework Out |
Homework In |
Quizes/Exams |
Aug 31 |
1 |
Foundations |
HA1 Out |
|
|
Sep 7 |
-- |
Labor Day – university closed |
|
|
|
Sep 14 |
2 |
Foundations (cont.) |
|
|
|
Sep 21 |
3 |
Foundations (cont.) |
HA2 out |
HA1 In |
Quiz 1 |
Sep 28 |
4 |
Foundations (cont.) |
|
|
|
Oct 5 |
5 |
Foundations (cont.)
+ Start Math Logic |
|
HA 2 In |
Extended quiz 2 |
Oct 12 |
-- |
Columbus Day
– no classes |
|
|
|
Oct 13 (Tue) |
6 |
Mathematical Logic |
HA 3 Out |
|
|
Oct 19 |
7 |
Mathematical Logic
(cont.) |
|
|
|
Oct 26 |
8 |
Mathematical Logic
(cont.) |
HA 4 Out |
HA3 In |
Quiz 3 |
Nov 2 |
9 |
Mathematical Logic
(cont.) |
|
HA 4 In |
|
Nov 9 |
10 |
Midterm |
|
|
Midterm |
Nov 16 |
11 |
Probability Theory |
HA5 Out |
|
|
Nov 23 |
12 |
Probability Theory (cont.) |
|
|
|
Nov 30 |
13 |
Probability Theory
(cont.) |
HA 6 Out |
HA5 In |
Quiz 4 |
Dec 7 |
14 |
Advanced Topics/ Catch-up and Review |
|
HA6 In |
|
Dec 14 |
Final |
7:30 PM |
|
|
Final |