Jul 20, 2025  
2025-2026 Undergraduate Bulletin 
    
Catalog Navigation
  Bulletin Home
  SUNY Geneseo Mission, Vision and Values
  College Policies
  History of SUNY Geneseo
  Academic Programs
  Course Descriptions
  Requirements for Baccalaureate Degree Programs
  General Education Curriculum
  Baccalaureate Degree Programs
  Pre-Professional Advisory and Partnership Programs
  Academic Policies, Standards, and Information
  Academic Services
  Student Services
  Academic Organizations
  Student Accounts
  Student and Campus Life
  Campus Auxiliary Services
  Advancement
  Enrollment Management & Admissions
  Financial Aid
  Emeriti/Emeritae
  Archived Catalogs
  My Favorites
HELP
2025-2026 Undergraduate Bulletin
Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favorites (opens a new window)

MATH 385 - Mathematical Reasoning and Advanced Programming Techniques

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. (During the fall semester of odd years, this course or MATH 384 will be offered.)

Prerequisite(s): (MATH 230  or PHYS 261 ) and MATH 239   
Offered: Not on a Regular Basis



Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Favorites (opens a new window)