ITCS 2175: Logic and Algorithms

Spring 2008

Instructor: William Ribarsky, Ph.D.
410H Woodward Hall


The textbook for this class is Discrete Mathematics and Its Applications by Kenneth H. Rosen (5th edition), McGraw Hill, ISBN 0-07-242434-6

Teaching Assistants
Dong Jeong
Office Hours: Monday, Wednesday, 9:30 am—11:30 am (or by appointment, send email), 412 Woodward
E-mail: dhjeong@uncc.edu

Please e-mail the TA if you can't make the posted office hours.
Also for questions that you think more than one person might have, please post and/or check the class swiki

Click here, for (corrected) final exam and course grades.

Reading Assignments & Topics

Date

Topic

Rosen

Material

Comments

1/10/2008

First Day Handout, Intro Stuff

 

 

 

1/15

Propositional Logic

1.1

 

 

1/17

Proofs Using Logical Equivalence, DNF

1.2

Table of logical Equivalences

 

1/22

Predicate Calculus

1.3, 1.4

 

 

1/24

Predicate Calculus

1.3, 1.4

 

 

1/29

Methods of Proof

1.5

 

 

1/31

Methods of Proof II

3.1

 

 

2/5

Sets, Set Proofs, More Sets

1.6, 1.7

 

 

2/7

Review

1.1 – 1.5, 3.1

 

 

2/12

QUIZ 1

Note new date!

Quiz 1 Key

 

2/14

Functions, Functions II

1.8

 

 

2/19

Sequences & Summations
PowerPoint

3.2

 

 

2/21

Sequences & Summations II
PowerPoint

3.2

 

 

2/26

Growth of functions

2.2, 2.3

 

 

2/28

Mathematical Induction

3.3

 

 

3/3-8

SPRING BREAK

 

 

 

3/11

Induction II, Induction III

3.3

 

 

3/13

Review

1.6, 1.7, 1.8, 2.2, 2.3, 3.2, 3.3

 

 

3/18

Study Break

Note: New Time!

 

 

3/20

Quiz 2

 

Quiz 2 Key

 

3/25

Recursive Definitions

3.4

 

 

3/27

More Recursion

3.5

 

 

4/1

Relations

7.1

 

 

4/3

Relations II, Relations III

7.3, 7.5

 

 

4/8

Basic Counting

4.1

 

 

4/10

Pigeonhole Principle, Permutations & Combinations

4.2, 4.3

 

 

4/15

Permutations & Combinations

4.2, 4.3

 

 

4/17

Review

3.4, 3.5, 7.1, 7.3, 7.5, 4.1, 4.2, 4.3

 

 

4/22

QUIZ 3

NOTE! NEW DATE!

Quiz 3 Key

 

4/24

Discrete Probability,
Sample Proofs

5.1  Class Starts at 5:30 pm!

 

 

4/29

Review For Exam, Sample Problems

 

 

 

5/6, 5 pm to 7:45 pm

ITCS 2175 Final Exam

 

 Check the full exam schedule on the swiki.

 

 

Homework Assignments

*Homework assignments are due at the beginning of class. Late homework will not be accepted. If you are not going to be in class, you must turn in your HW by email (before class begins) or US mail postmarked the day before the HW was due. If you turn in homework by email, send to dhjeong@uncc.edu. NOTE: Write legibly. If we can’t read it, you will lose points! Also, sign each sheet of your homework at the top.

Assignment 

Solutions

Date 
Assigned 

Date Due  

Problems

HW 1

HW 1 key

1-15-08

1-22-08

 

HW 2

HW 2 key

1-24-08

1-31-08

 

HW 3

HW 3 key

1-31-08

2-7-08

 

HW 4

HW 4 key

2-19-08

2-26-08

 

HW 5

HW 5 key

2-26-08

3-11-08

 

HW 6

HW 6 key

3-11-08

3-20-08

Note: This HW is for extra credit, if you turn it in on time.

HW 7

HW 7 key

3/25/08

4/1/08

 

HW 8

HW 8 key

4/3/08

4/10/08