ICS 6B - Boolean Algebra & Logic - Spring, 2008 (Dillencourt)

• Instructor
  • Professor Michael Dillencourt
  • Office hurs: MW 4:30-5:50PM 4086 Bren Hall
  • Email: dillenco@ics.uci.edu, but see note on email below
• Teaching assistant
  • Mr. Ish Rishabh
  • Email: irishabh@ics.uci.edu,
  • Office hrs: MW 11AM-11:50AM 2069 Bren Hall
• Reader
  • Ms. Wendy Zhang
  • Email: wenhuiz@uci.edu,
• Class meetings:
  • Lecture: MWF 1:00-1:50 PM, in ICS 174 (Prof. Dillencourt)
  • Discussion: MWF 2:00-2:50 PM, in ICS 174 (Mr. Rishabh)
• Drop/add policy
  • During the first two weeks, all adds and drops will be handled using the electronic add drop (EAD) system. (In other words, I will not sign add cards or drop cards during the first two weeks).
  • If for some reason you cannot add using EAD, contact me.
  • I will sign drop cards up through week 6. However, I will not guarantee that you will have the midterm back before the end of week 6.
• Note on email
  • If you have questions about the course material, please send email to the following address: ics6b-questions@ics.uci.edu. This address will be an alias for the instructor and all the instructional staff, so it will give you the fastest turnaround. Also, please include "ICS 6B" in the subject line, and include your name and student number in the message. By following these instructions, you will ensure that your email will get through our spam filters, and that we know who you are.
  • If you send us email, we will usually respond both to the address you give us and to your official UCI address if they are not the same.
• Course announcements:
  • Course announcements will be sent via email to the official UCI email address of all students enrolled in the class. If you are not enrolled in the course or you are not receiving these announcements for some other reason, you can view the archive by clicking here.
• Grading
  • Grading will be based on the following weights: Final Exam 45%, Midterm Exam 25%, Quizzes 20%, Homework 10%.
  • Midterm Exam: Friday, May 2, 1 PM (during normally scheduled lecture).
  • Final Exam: Wednesday, June 11, 1:30-3:30 PM.
  • Quizzes will be given in Discussion Section, generally on Monday at the start of the class. The lowest quiz score will be dropped when computing your quiz grade.
  • Homework assignments will generally be due Wednesday, one minute before the start of the lecture (i.e., at 12:59PM). The lowest homework score will be dropped when computing your homework grade.
  • Click here for the homework assignments.
• Text book:
  • [Rosen] Kenneth H. Rosen, Discrete Mathematics and Its Applications, 6th edition, McGraw Hill, 2007. This book is required, and it should be available at the UCI bookstore. Note: There is an online list of errata.
• List of topics, by week. Numbers in parentheses are sections from [Rosen]. Note that the following schedule is approximate.
  • Week 1: Sets (2.1,2.2); Functions (2.3); Logic (1.1), Propositional Equivalences (1.2)
  • Week 2: Predicates and Quantifiers (1.3), Nested Quantifiers (1.4)
  • Week 3: Rules of Inference (1.5); Introduction to Proofs (1.6); Proof Methods and Strategy (1.7)
  • Week 4: Relations and their properties (8.1); n-ary relations and their applications (8.2).
  • Week 5: Representing relations (8.3); closure of relations (8.4).
  • Week 6: Equivalence relations (8.5); partial orderings (8.6).
  • Week 7: Boolean functions (11.1); representing boolean functions (11.2).
  • Week 8: Logic gates (11.3); Languages and grammars (12.1).
  • Week 9: Finite state machines (12.2, 12.3).
  • Week 10: Turing Machines (12.5)