|
May 04, 2024
|
|
|
|
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)
|
|