May 04, 2024  
2021-2022 Undergraduate Bulletin 
    
2021-2022 Undergraduate Bulletin [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

MATH 385 - Mathematical Reasoning and Advanced Programming Techniques


2021-2022 Catalog Year

Credit(s): 3
Lecture: 3
Non-Lecture: 0
This course shows how habits of thought from mathematics lead to powerful ways of constructing correct computer programs. Specifically, it explores how mathematical proof based on careful and precise definitions is applied to proving algorithms correct, and how such reasoning and its results can be expressed through object oriented programming. Examples come from linear algebra, graph theory, or similar areas of mathematics.

Prerequisite(s): (MATH 230  or PHYS 261 ) and MATH 233  and MATH 239   
Offered: Spring Semester - Even Years
Graded: N - Normal




Add to Favorites (opens a new window)