ICS 6B: Boolean Algebra & Logic - Spring 2010

• Class meetings
  • Lecture: MWF 9:00-9:50am, in ICS 174
  • Discussion: MW 2:00-2:50pm, in ICS 174
• Instructor
  • Professor: Stanislaw Jarecki
  • Office hours: MWF 10:00-10:45am, Donald Bren Hall, room 4026
  • Email: stasio (at) ics.uci.edu
• Teaching assistant
  • Sholeh Forouzan
  • Office hours: Thursday, 3pm-5pm, ICS bldg, room 406B
  • Email: sforouza (at) ics.uci.edu
• Grading
  Grading will be based on the following weights:
  • Quizzes (45%) will be given in lecture on Fridays at the start of the class. (Any exceptions will be announced in class.) The lowest quiz score will be dropped when computing your quiz average.
  • Homeworks (5%) will be due each Friday in lecture, gathered at the beginning of the class or together with quizzes. The lowest homework score will also be dropped when computing your homework average.
    (Homework grading policy: Homeworks are only graded on the scale 0-2, where 0 means no homework or clearly badly done one, 1 point is for most of the homework done seemingly correctly (this grade is assigned after a superficial examination of your solutions!), and 1 extra point is given for answering correctly a chosen exercise. Homework solutions will be released on-line on the day before the homework is due.)
    Click here for the homework assignments.
  • Miterm (20%) will take place on Monday, May 3.
  • Final (30%) will take place on Wed, Jun 9, 8am-10am.
• 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.
    You should read the sections of the book that pertain to the lectures and homeworks of the given week: The textbook will often cover the same material but with more detail, giving many more examples, and providing all sort of useful background material: You should always read the relevant sections of the book independently from attending the lectures and the discussion sessions!
  • For those who are ordering the textbook on-line and still have not received it, here are the xeroxed pages of Sections 1.1 and 1.2 which we are covering in the first week of class (they include solutions to odd-numbered exercises in these sections!).
• Add/drop 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.)
  • Authorization codes are available only from the ICS Student Affairs Office.
    I do not have any codes.
  • I will sign add cards during week 3 only if there are slots still available (which is most unlikely).
  • I will sign drop cards during weeks 4, 5, and 6.
• Course announcements
  • Course announcements will be sent via email to the official UCI email address of all students enrolled in the class.
    (Send an email to the TA or the lecturer if you are not officially registered, e.g. because you are on the waiting list to register, and want to be on the email list.)
• List of topics, by week. Numbers in parentheses are sections from [Rosen].
  Note that the following schedule is approximate.
  • Week 1: Logic (1.1), Propositional equivalences (1.2), Predicates and quantifiers (1.3)
  • Week 2: Nested quantifiers (1.4), Rules of inference (1.5), Introduction to proofs (1.6)
  • Week 3: Proof methods and strategy (1.7), Sets (2.1, 2.2), Functions (2.3)
  • Week 4: Relations and their properties (8.1), n-ary relations and their applications (8.2)
  • Week 5: Matrices (3.8), 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)