Spring 2016 CS 135 Sect. 1 Applications of Sets, Logic, and Recursion

Professor Name

• Pavel Naumov, Illinois Wesleyan University

Semester and Year

Spring 2016

Dept

Computer Science

Course Number

135

Section Number

1

Shared Curriculum Category/Flag

Formal Reasoning (FR)

Crosslisted Course

MATH 135

Course Catalog Description

Applications of Sets, Logic, and Recursion Introduction to programming with Mathematica and discrete mathematics. Sets, functions, and relations. Basic logic. Proof techniques. Induction and recursion. Mathematica material: notebooks, packages, data types and structures, numeric and symbolic mathematics, basic graphics. No prerequisites. Offered each term.

Recommended Citation

Naumov, Pavel, "Spring 2016 CS 135 Sect. 1 Applications of Sets, Logic, and Recursion" (2016). Computer Science Syllabi. 56.
https://digitalcommons.iwu.edu/compsci_syllabi/56