Dec 21, 2024  
2023-2024 Undergraduate Bulletin 
    
Catalog Navigation
  Bulletin Home
  Colleges & Departments
  Programs of Study
  Four Year Guides
  Courses
  The University
  Academic Affairs
  Student Life
  Student Financial Aid
  Expenses
  Enrollment Management
  Academic Regulations
  The Undergraduate Program
  Honors College
  University College
  The College of Arts and Sciences
  The Walker College of Business
  The Reich College of Education
  The College of Fine and Applied Arts
  The Beaver College of Health Sciences
  The Hayes School of Music
  Faculty Register
HELP
2023-2024 Undergraduate Bulletin [ARCHIVED CATALOG]

MAT 2110 - Techniques of Proof (4)

When Offered: Fall; Spring
A study of methods of proof used in mathematics. Formal proof topics include propositional calculus, predicate calculus, and several first order theories. Informal proof topics are drawn from number theory, set theory, and other areas of mathematics. Additional topics include introductions to writing mathematics, searching for mathematical content and sources, and careers in mathematics. 
Prerequisite: MAT 1120  or permission of the instructor.