(Replaces MAT303 beginning AY 2012-13)

The course concerns explicit solution of simple differential equations. Methods of proving that one has found all the solutions are discussed. For this purpose, a brief review of foundational concepts in real analysis is provided. The second part concerns explicit solutions of simultaneous linear differential equations with constant coefficients, a topic closely connected with linear algebra (assumed prerequisite knowledge). The third part concerns the proof of the basic existence and uniqueness theorem for ordinary differential equations. Students will do simple proofs.