### ITCS 2175             Logic and Algorithms                 Fall 2010

Textbook:
Discrete Mathematics and Its Applications
Kenneth Rosen
McGraw Hill
You can rent your textbook:
http://uncc.bncollege.com/webapp/wcs/stores/servlet/BNCBHomePage?storeId=19058&catalogId=10001&langId=-1&cm_mmc=Marketing-_-Champion2_Promotion-_-08_19_10-_-276

### What subjects and when will be covered:

 Date Topic Reading Slides Week 1 August 24 IntroductionPropositional Equivalences Chapter 1.1Chapter 1.2 Chapter1.1 Chapter1.2 Exercises 1 Week 2 August 31 Predicates and Quantifiers Chapter 1.3 Chapter1.3 Exercises 2 Week 3 Sept. 7 SetsSet Operations Chapter 1.4Chapter 1.5 Chapter1.4 Chapter1.5 Exercises 3 Week 4 Sept. 14 FunctionsSequences & Summations Chapter 1.6Chapter 1.7 Chapter1.6 Chapter1.7 Exercises 4 Week 5 Sept. 21 Review Exercises 5 Week 6 Feb 28 Methods of ProofInduction Chapter 3.1Chapter 3.2 Chapter3.1 Chapter3.2 Exercises 6 Week 7 Oct. 5 Recursive DefinitionsRecursive Algorithms Chapter 3.3Chapter 3.4 Chapter3.3 Chapter3.4 Exercises 7 Week 8 Oct. 12 Fall Break Week 9 Oct. 19 Basics of CountingPermutations Chapter 4.1Chapter 4.3 Chapter4.1 Chapter4.3 Exercises 8 Week 10 Oct. 26 Sample Test andProject Assignment Project Sample Test Proplems Week 11 Nov. 2 Midterm Exam Week 12 Nov. 9 Basics of CountingPermutations Chapter 4.1Chapter 4.3 Chapter4.1 Chapter4.3 Exercises 8 Week 13 Nov. 16 Relations IRelations II Chapter 6.1Chapter 6.3 Chapter6.1 Chapter6.3 Exercises 9 Week 13 Nov. 23 Relations IIIRelations IV Chapter 6.4Chapter 6.5 Chapter6.4 Chapter6.5 Exercises 10 Week 15 Nov. 30 Graphs IGraphs II Chapter 7.1Chapter 7.2 Chapter7.1 Chapter7.2 Exercises 11 Week 16 Dec. 7 Review Final Exam Dec. 7 PROJECT DUE DATE Final Dec. 14 8:00-10:30pm Final Exam

 Midterm - 30 points, Final - 40 points, Project - 30 points (maximum) Grade A: 86-100 points; Grade B: 71-85 points; Grade C: 56-70 points; Grade D: 41-55.

• Sample Problems for the Midterm Exam

### Class meetings:

Location: Woodward Hall 155
Time: Tuesday, 6:30-9:15pm

### Instructor:       Zbigniew W. Ras

Office: Location: Woodward Hall 430C
Telephone: 704-687-8574
Office Hours: Tuesday, 4:00-6:00pm
e-mail: ras@uncc.edu

### TA:       Nitin Kak

Office: Location: Woodward Hall 430A
Telephone: 704-687-7448 (Heuristic Search Lab.)
Office Hours: Tuesday, Thursday 3:00-6:00pm
e-mail: nkak@uncc.edu