ICS 6B: Boolean Algebra & Logic - Spring 2010
- Class meetings
- Lecture: MWF 9:00-9:50am, in ICS
- Discussion: MW 2:00-2:50pm, in ICS 174
- Professor: Stanislaw Jarecki
- Office hours: MWF 10:00-10:45am, Donald Bren Hall, room
- Email: stasio (at) ics.uci.edu
- Office hours: Thursday, 3pm-5pm, ICS bldg, room 406B
sforouza (at) ics.uci.edu
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
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
- 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
- During the first two weeks, all
adds and drops will be handled using the electronic add drop (EAD)
(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.
not have any codes.
- I will sign add cards during
week 3 only if there are slots still available (which is most
- I will sign drop cards during weeks 4, 5, and
- 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:
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