These lecture notes introduce students to research on classifying linkage systems which involves a variety of ideas such as Assur groups, Baranov trusses, and Rigidity theory.  Organizing the increasing complexity of machine systems to guide inventors has attracted researchers for literally generations and has generally been called “Type synthesis.”  The goal is to provide a systematic way to explore the types of linkage systems that are available to address a design need.