8/22 Introduction: Formal semantic methods; motivation and importance. Abstract syntax

8/24 Mathematical foundations: Logic

8/26 Mathematical foundations: Sets and Relations

8/29 Mathematical foundations: Functions

8/31 Mathematical foundations: overflow

(NMSU calendar)