This chapter first analyzes how to represent games in normal form (using matrices) and in extensive form (using game trees). We afterwards describe how to systematically detect strictly dominated strategies, i.e., strategies that a player would not use regardless of the action chosen by his opponents.