• Courses
  • CMPSC
  • CMPSC 40

    • Foundations of Computer Science . CMPSC 40

    Introduction to the theoretical underpinnings of computer science. Topics include propositional predicate logic, set theory, functions and relations, counting, mathematical induction and recursion (generating functions).

    + Add to schedule
    Prerequisites: Computer Science 16 with a grade of C or better and Mathematics 4A with a grade of C or better.

    5

    Units

    Letter

    Grading

    1, 2

    Passtime

    None

    Level Limit

    Engineering

    College
    Unlocks CMPSC 110 CMPSC 138 CMPSC 130A CMPSC 178
    These majors only cmpen cmpsc
    Instructors
    VIGODA E J
    No info found
    Lecture
    ILP 2302
    M W
    15:30 PM - 16:45 PM
    59 / 150
    Sections
    PHELP2516
    F
    10:00 AM - 10:50 AM
    20 / 38
    PHELP2516
    F
    11:00 AM - 11:50 AM
    28 / 38
    PHELP2516
    F
    13:00 PM - 13:50 PM
    11 / 37
    Enrollment Trends
    Past Enrollment Trends (10)
    See All
    Winter 2024 . Majedi M
    TD-W 1701
    T R
    14:00 PM - 15:15 PM
    Spring 2024 . Majedi M
    TD-W 1701
    M W
    14:00 PM - 15:15 PM
    Grading Trends (60)
    See All
    CMPSC 40 Majedi M Spring 2025 Total: 108
    CMPSC 40 Majedi M Winter 2025 Total: 52
    You Might Also Like
    CMPSC 8
    97 / 113 Enrolled
    Introduction to Computer Science
    Maryam Majedi 2.2
    T R
    14:00 PM - 15:15 PM
    53.5% A
    CMPSC 9
    149 / 150 Enrolled
    Intermediate Python Programming
    Richert Wang 4.5
    T R
    15:30 PM - 16:45 PM
    39.3% A
    CMPSC 16
    166 / 166 Full
    Problem Solving with Computers I
    Ziad Matni 4.1
    T R
    12:30 PM - 13:45 PM
    53.4% A
    CMPSC 24
    199 / 199 Full
    Problem Solving with Computers II
    Diba Mirza 4.7
    M W
    11:00 AM - 12:15 PM
    56.9% A
    CMPSC 32
    45 / 150 Enrolled
    Object Oriented Design and Implementation
    Nabeel Nasir 4.9
    M W
    09:30 AM - 10:45 AM
    59.7% A
    CMPSC 64
    90 / 90 Full
    Computer Organization and Logic Design
    Ziad Matni 4.1
    M W
    12:30 PM - 13:45 PM
    58.2% A