CSC014 Discrete Structures for Computer Science I:

Course Info

Time:

Lecture: Monday & Wednesday 2:55-4:50 PM

Summary: Review of propositional and predicate logic. Methods of theorem proving; strong and weak induction. Finite and infinite sets, set operations. Introductions to computational complexity, theta and big-O notation Combinatorics, including permutations and combinations. Discrete probability and binomial distribution.

Instructional Staff

Professor: Dr. Knarig Arabshian
Email: knarig.arabshian@hofstra.edu
Office hours: Monday, Wed 5-6PM, Tuesday 3-4PM
Office Number: Adams 115.

Textbooks

Discrete Mathematics and Its Applications by Kenneth Rosen

Grading

Attendance ("Thinking Question" given first 10 minutes of each class) -- 5%
Assignments(5) -- 35%
Midterm -- 25%
Final Exam -- 35%

Let me know about midterm exam conflicts ASAP!
Grades will be posted on Blackboard

Homework

All assignments must be submitted *BEFORE* class.

Policies

Cheating and plagiarism: will not be tolerated in any capacity. All work in this class is to be done on your own unless otherwise specified. Please read Hofstra University's policy on academic integrity for more details.
Grade Change Request:
- Write out an explanation as to why the grade was incorrect and staple it to the original assignment/exam and submit to me
- If your explanation is correct, I will change your grade
- You have up to THREE DAYS to submit a grade change request
Lateness: No late assignments will be accepted
Email: is the best way to contact me. Make sure you put [CSC014] in the subject heading so I will notice your email.
Feedback: Send me feedback on the course at any point in time and I will consider your input.

Schedule (tentative)

This schedule is subject to change, please check regularly and refresh the HTML page to see the latest updates.

Week Date Agenda Assigned Reading Homework

Week 1
Wed, Sep 3 Propositional Logic Rosen: Ch 1.1

Week 2 Mon, Sep 8 Propositional Logic Rosen: Ch 1.2

Wed, Sep 10 Propositional Logic Rosen: Ch 1.3
HW 1 Out

Week 3 Mon, Sep 15 Predicate Logic and Proofs
Rosen: Ch 1.4

Wed, Sep 17 Predicate Logic and Proofs Rosen: Ch 1.4
HW 1.1 Due

Week 4 Mon, Sep 22 Predicate Logic and Proofs Rosen: Ch 1

Wed, Sep 24 PRACTICE QUIZ Sections 1.1, 1.2 and 1.3
Predicate Logic and Proofs Rosen: Ch 1

Week 5 Mon, Sep 29 Sets Rosen: Ch 2 HW 1.2 Due

Wed, Oct 1 Sets Rosen: Ch 2 HW 2 Out

Week 6 Mon, Oct 6 Sets Rosen: Ch 2

Wed, Oct 8 Sets Rosen: Ch 2 HW 2.1 Due

Week 7 Mon, Oct 13 Midterm Review

Wed, Oct 15 **********MIDTERM*******

Week 8 Mon, Oct 20 Induction Proofs Rosen: Ch 5 HW 2.2 Due

Wed, Oct 22 Induction Proofs Rosen: Ch 5 HW 3 Out

Week 9 Mon, Oct 27 Induction Proofs Rosen: Ch 5

Wed, Oct 29 Induction Proofs Rosen: Ch 5 HW 3.1 Due

Week 10 Mon, Nov 3 Counting Rosen: Ch 6

Wed, Nov 5 Counting Rosen: Ch 6

Week 11 Mon, Nov 10 Counting Rosen: Ch 6 HW 3.2 Due
HW 4 Out

Wed, Nov 12 Counting Rosen: Ch 6

Week 12 Mon, Nov 17 Discrete Probability (if time permits) Rosen: Ch 7 HW4.1 Due

Wed, Nov 19 Discrete Probability (if time permits) Rosen: Ch 7

Week 13 *********NO CLASSES*************

Week 14 Mon, Dec 1 Discrete Probability (if time permits) Rosen: Ch 7 HW 4.2 Due
HW 5 Out

Wed, Dec 3 Discrete Probability (if time permits) Rosen: Ch 7

Week 15 Mon, Dec 8 Algorithms (if time permits) Rosen: Ch 3 HW 5.1 Due

Wed, Dec 10 Final Review

Week 16 *********FINALS************* HW 5.2 Due
(TBD)

Week	Date	Agenda	Assigned Reading	Homework
Week 1
	Wed, Sep 3	Propositional Logic	Rosen: Ch 1.1

Week 2	Mon, Sep 8	Propositional Logic	Rosen: Ch 1.2
	Wed, Sep 10	Propositional Logic	Rosen: Ch 1.3	HW 1 Out

Week 3	Mon, Sep 15	Predicate Logic and Proofs	Rosen: Ch 1.4
	Wed, Sep 17	Predicate Logic and Proofs	Rosen: Ch 1.4	HW 1.1 Due

Week 4	Mon, Sep 22	Predicate Logic and Proofs	Rosen: Ch 1
	Wed, Sep 24	PRACTICE QUIZ Sections 1.1, 1.2 and 1.3 Predicate Logic and Proofs	Rosen: Ch 1

Week 5	Mon, Sep 29	Sets	Rosen: Ch 2	HW 1.2 Due
	Wed, Oct 1	Sets	Rosen: Ch 2	HW 2 Out

Week 6	Mon, Oct 6	Sets	Rosen: Ch 2
	Wed, Oct 8	Sets	Rosen: Ch 2	HW 2.1 Due

Week 7	Mon, Oct 13	Midterm Review
	Wed, Oct 15	********MIDTERM*****

Week 8	Mon, Oct 20	Induction Proofs	Rosen: Ch 5	HW 2.2 Due
	Wed, Oct 22	Induction Proofs	Rosen: Ch 5	HW 3 Out

Week 9	Mon, Oct 27	Induction Proofs	Rosen: Ch 5
	Wed, Oct 29	Induction Proofs	Rosen: Ch 5	HW 3.1 Due

Week 10	Mon, Nov 3	Counting	Rosen: Ch 6
	Wed, Nov 5	Counting	Rosen: Ch 6

Week 11	Mon, Nov 10	Counting	Rosen: Ch 6	HW 3.2 Due HW 4 Out
	Wed, Nov 12	Counting	Rosen: Ch 6

Week 12	Mon, Nov 17	Discrete Probability (if time permits)	Rosen: Ch 7	HW4.1 Due
	Wed, Nov 19	Discrete Probability (if time permits)	Rosen: Ch 7

Week 13	*******NO CLASSES***********

Week 14	Mon, Dec 1	Discrete Probability (if time permits)	Rosen: Ch 7	HW 4.2 Due HW 5 Out
	Wed, Dec 3	Discrete Probability (if time permits)	Rosen: Ch 7

Week 15	Mon, Dec 8	Algorithms (if time permits)	Rosen: Ch 3	HW 5.1 Due
	Wed, Dec 10	Final Review

Week 16	*******FINALS***********			HW 5.2 Due (TBD)