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 Introduction
Propositional Equivalences
Chapter 1.1
Chapter 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 Sets
Set Operations
Chapter 1.4
Chapter 1.5
Chapter1.4
Chapter1.5 Exercises 3
Week 4 Sept. 14 Functions
Sequences & Summations
Chapter 1.6
Chapter 1.7
Chapter1.6
Chapter1.7 Exercises 4
Week 5 Sept. 21 Review
Exercises 5
Week 6 Feb 28 Methods of Proof
Induction
Chapter 3.1
Chapter 3.2
Chapter3.1
Chapter3.2 Exercises 6
Week 7 Oct. 5 Recursive Definitions
Recursive Algorithms
Chapter 3.3
Chapter 3.4
Chapter3.3
Chapter3.4 Exercises 7
Week 8 Oct. 12 Fall Break
Week 9 Oct. 19 Basics of Counting
Permutations
Chapter 4.1
Chapter 4.3
Chapter4.1
Chapter4.3 Exercises 8
Week 10 Oct. 26 Sample Test and
Project Assignment
Project Sample Test Proplems
Week 11 Nov. 2 Midterm Exam
Week 12 Nov. 9 Basics of Counting
Permutations
Chapter 4.1
Chapter 4.3
Chapter4.1
Chapter4.3 Exercises 8
Week 13 Nov. 16 Relations I
Relations II
Chapter 6.1
Chapter 6.3
Chapter6.1
Chapter6.3 Exercises 9
Week 13 Nov. 23 Relations III
Relations IV
Chapter 6.4
Chapter 6.5
Chapter6.4
Chapter6.5 Exercises 10
Week 15 Nov. 30 Graphs I
Graphs II
Chapter 7.1
Chapter 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




Grades

  • 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