Semester and Year

Spring 2026

Dept

Computer Science

Course Number

135

Section Number

1

Shared Curriculum Category/Flag

Formal Reasoning (FR)

Crosslisted Course

MATH 135

Course Catalog Description

Introduction to functional programming and discrete mathematics. Sets, functions, and relations. Basic logic, including formal derivations in propositional and predicate logic. Recursion and mathematical induction. Programming material: Data types and structures, list-processing, functional and recursive programming. No prerequisite. Offered each spring.

Download
Off-Campus Download

Request a copy that is accessible using assistive technology (link opens in a new window)

Share

COinS