ICS 6B - Boolean Algebra & Logic
- Instructor
- Class meetings:
- Lecture: TTh
11:00-12:20 PM, in RH 104
- Discussion: MWF 1:00-1:50 PM, in
SSH 100
- Teaching Assistant
- Vishal Patel vishalrp@uci.edu
- Office Hours: Monday 1:30 PM to 3
PM, ICS2 Office 247.
- Reader
- Nguyen,
Quan Thoi Minh
quann1@uci.edu
- Office Hours: Friday 3pm-4pm at
458E, ICS1
- Class resources (details below):
- Note on email
- If you have questions about the
course material, please send email to the instructor, TA and the reader,
so that at least one of them will reply to you fast. 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.
- Course announcements:
- Course announcements will be sent
via email to 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.
- Discussion board:
- You can discuss and collaborate
on homeworks and prepare for the midterms
through the discussion board created for this course. You should
not post or copy solutions to homework problems on this noteboard, or through any other medium. That will amount
to plagiarism and honor code violation, resulting in both the students
who give and take help failing in this course._
- Grading
- Grading will be based on the
following weights: Final Exam 30%, Midterm Exam 25%, Quizzes 40%,
Homework 5%.
- Midterm Exam: May 4, 2012, 1:00-1:50pm.
- Final Exam: Tuesday, June 12, 10:30am-12:30pm
- Quizzes will be given in
Discussion Section, generally on Friday at the start of the class. The
lowest quiz score will be dropped when computing your quiz grade.
- Midterm exam will also be given
in the Discussion Section.
- Homework assignments will
generally be due Monday, one minute before the start of the discussion
section.
- Click
here for the homework assignments.
- Text book:
- [Rosen] Kenneth H. Rosen, Discrete
Mathematics and Its Applications, 7th edition, McGraw Hill, 2012.
(ISBN -0-07-338309-0). This book is required, and it should be available
at the UCI bookstore.
- List of topics, by week. Numbers
in parentheses are sections from [Rosen]. Note that the following schedule
is tentative.
- Week 1: Propositional Logic (1.1),
Applications of Propositional Logic (1.2); Propositional Equivalences
(1.3);
- Week 2: Predicates and Quantifiers (1.4);
Nested Quantifiers (1.5) ; Introduction to
Proofs (1.7);
- Week 3: Proof Methods and Strategy
(1.8); Sets (2.1, 2.2); Functions (2.3);
- Week 4: Relations and their properties
(9.1); n-ary relations and their
applications (9.2).
- Week 5: Representing relations (9.3);
closure of relations (9.4).
- Week 6: Equivalence relations (9.5);
partial orderings (9.6).
- Week 7: Boolean functions (12.1); Representing Boolean functions (12.2).
- Week 8: Logic gates (12.3); Languages
and grammars (13.1).
- Week 9: Finite state machines (13.2,
13.3).
- Week 10: Turing Machines (13.5)
Last modified:
May 23, 2012