CISP 440 - Discrete Structures for Computer Science

    Recent Professors
    Timothy Coulter, Dan Ross, Daniel G. Ross, Suha H. Al Juboori
    Recent Semesters
    Fall 2026, Spring 2026, Fall 2025, Spring 2025
    Class Size
    Not published
    Credits
    3
    Prerequisite
    CISP 360 and MATH 370 with grades of "C" or better, or placement through the assessment process.
    Fall 2026 Sections
    View Fall 2026 sections of CISP 440
    Transfers To
    CSU
    Description
    This course is an introduction to the essential discrete structures used in Computer Science, with emphasis on their applications. Topics to be covered include: binary number representation and arithmetic, sets, relations, functions, formal propositional logic and proofs, digital logic and combinational circuits, finite state machines, regular expressions and formal grammars. Students will implement programs to illustrate principles of discrete structures.
    Usually Held
    Thu 6:00pm–7:20pm, Tue 6:00pm–8:50pm