Fortunately, the era of large calculus sections at your university comes to a close.
A bio-calculus section of MATH 241 is distinguished from its siblings in two key ways.
All students in all sections were instructed in the same mathematical concepts and skills, even though the concepts in the bio-calculus section were illustrated differently.
The new bio-calculus section is neither required of nor restricted to biology majors, and it is conceptually identical to the other nonbio-calculus sections.
Performance on the final exam in the bio-calculus section has served as one way to check that biology majors were performing as well as other majors.
First, whereas prototypical models and examples are traditionally drawn from application domains that are most relevant to engineers, the bio-calculus section draws models and examples heavily, though not exclusively, from the life sciences.
The University of Delaware approached this problem by (1) developing a bio-calculus section of a standard calculus course, (2) embedding quantitative activities into existing biology courses, and (3) creating a new interdisciplinary major, quantitative biology, designed for students interested in solving complex biological problems using advanced mathematical approaches.
To develop the bio-calculus sections, the Department of Mathematical Sciences revised its three-semester calculus sequence to include differential equations in the first semester and, rather than using examples traditionally drawn from application domains that are most relevant to engineers, drew models and examples heavily from the life sciences.
[Note: A majority of Physics, Engineering, and Mathematics majors and a minority of Biological Science majors enter the university with advanced placement credit for MATH 241 and enroll in MATH 242.] In the bio-calculus sections of MATH 241 given over three successive semesters, the biology students performed at least as well as nonbiology science majors.
As there are plausible approaches to establish a harmony between right-introductions and left-introduction in the sequent calculus (see section 3.3), classical logic appears to be perfectly justified.
