I&C SCI 6B Discrete Mathematics: Boolean Algebra and Logic (2014-2015)

I&C Sci 6B Discrete Mathematics: Boolean Algebra and Logic

(Required for CSE.)
Catalog Data:

I&C SCI 6B Discrete Mathematics: Boolean Algebra and Logic (Credit Units: 4) Relations and their properties; Boolean algebras; formal languages; finite automata. Prerequisite: High school mathematics through trigonometry. (Design units: 0)

Required Textbook:
. Edition, , 1969, ISBN-13 978-0073383095.

Recommended Textbook:


Michael Dillencourt
Relationship to Student Outcomes
No student outcomes specified.
Course Learning Outcomes. Students will:

1. Can use, manipulate, and analyze Boolean expressions & functions

2. Can use, manipulate, and analyze propositional & predicate logic statements

3. Can construct and analyze simple finite state automata

Prerequisites by Topic
Lecture Topics:
  • Logic and Proofs
  • Sets
  • Functions
  • Relations
  • Boolean Algebra
  • Modeling Computation
Class Schedule:

Meets for 3 hours of lecture and 2 hours of discussion each week for 10 weeks.

Computer Usage:
Laboratory Projects:
Professional Component

Contributes toward Mathematics and Basic Science.

Design Content Description
Laboratory Portion:
Grading Criteria:
  • Homework: 20%
  • Exams: 80%
  • Total: 100%
Estimated ABET Category Content:

Mathematics and Basic Science: 4.0 credit units

Computing: 0.0 credit units

Engineering Topics: 0.0 credit units

Engineering Science: 0.0 credit units

Engineering Design: 0.0 credit units

April 15, 2014
Senate Approved:
June 16, 2013
Approved Effective:
2013 Winter Qtr