ICS 6B: Boolean Algebra & Logic  Spring 2010
 Class meetings
 Lecture: MWF 9:009:50am, in ICS
174
 Discussion: MW 2:002:50pm, in ICS 174
 Instructor
 Professor: Stanislaw Jarecki
 Office hours: MWF 10:0010:45am, Donald Bren Hall, room
4026
 Email: stasio (at) ics.uci.edu

Teaching assistant
 Sholeh
Forouzan
 Office hours: Thursday, 3pm5pm, 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 02, 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 online 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, 8am10am.
 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 online 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 oddnumbered 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),
nary 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)
Last modified: March 29, 2010