Tags:Algebra, Geometry, Logic, Teaching Formal Methods and Unifying Theories of Programming

Abstract:

This paper shows by examples how the Theory of Programming can be taught to first-year CS undergraduates. The only prerequisite is their High School acquaintance with algebra, geometry, and propositional calculus. The student’s motive is to learn methods of reducing effort required to complete their practical assignments on time, with high marks, and with great enjoyment.

Logic, Algebra, and Geometry at the Foundation of Computer Science