Spring 2018 CS135 Sect. 1 Applications of Sets, Logic, and Recursion

Professor Name

Kim W. Tracy, Illinois Wesleyan University

Semester and Year

Spring 2018

Dept

Computer Science

Course Number

135

Section Number

1

Shared Curriculum Category/Flag

Formal Reasoning (FR)

Crosslisted Course

MATH135

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.

Recommended Citation

Tracy, Kim W., "Spring 2018 CS135 Sect. 1 Applications of Sets, Logic, and Recursion" (2018). Computer Science Syllabi. 6.
https://digitalcommons.iwu.edu/compsci_syllabi/6