This will be an introduction to Gauge Theory as an effective tool in describing topology in four dimensions. More precisely, we will discuss how Donaldson theory gives powerful invariants of smooth structure defined in terms of the moduli space of instantons on four-manifolds.