Course Description/Topics Covered:

Introduction to propositional calculus, predicate calculus, algorithms, logic functions, finite-state machines; logic design. Formal logic. Methods of proof including induction. Introduction to grammars and finite state machines. Recurrence relations and asymptotic behavior of functions. Sets and counting. Boolean expressions and logic networks. Graphs and relations.

Grading:

Homeworks (10)	30%
Tests (4 & Final)	60%
Attendance & Tutorials	10%

Please see the Notes page for further details.

Test Schedule: See outline

Course Policies

• It is important that you participate actively in this class. This means: asking questions, being conscientious about important course dates, and contacting your instructor if you have special needs or concerns. We are all working together to learn.



• Homework due dates may be extended for special circumstances. Be sure to email us before the due date if you need an extension.



• You will be allowed one chance to take a replacement test for ONE of the four tests at the end of the semester. If your grade is higher, it will replace your original test grade. If not, the new score will be disregarded.



• You will receive a guaranteed C in this course if you:
  • Submit all homeworks until you have received credit for at least 70% of the problems,
  • Take all tests and rework each problem until they are correct,
  • Work every special test problem until they are correct, AND
  • Take all computer tutorials.
  Most students who perform each of these items will receive a B or better in the course.

How to Succeed in This Course

• Check your email, the Home page for Announcements often.
• Always ask for help or extensions when you need them.
• Start the Proofs Tutorial EARLY, it is long.
• Do your work in this order:
  • Use the Course Outline page as a guide.
  • Read the reading assignments for the week, even if they don't make total sense.
  • Read through the Practice Homework you will be doing next (even if it does not make sense).
  • Watch the assigned lectures several days before the next homework is due.
  • Work the Practice Homework on paper.
  • Go to WebAssign and work the homework there.
  • Email Andy ASAP if you believe there are problems with WebAssign.
• Use the guidelines on the Course Outline to study for tests. Be sure to read all examples in the Notes Packets and work all problems on the Special Tests.
• When you get your tests back, work all the problems you missed until you get them correct. Make sure to use a different color pen or additional paper to do this work, since I may consider your reworks if you need help with your grade at the end of the course.

Campus Mailing Address and Fax Number

Tiffany Barnes
Dept. of Computer Science, Woodward 403E
UNC Charlotte 9201 University City Blvd.
Charlotte, NC 28213

Fax: 704-687-3516