Convex sets, polyhedra, cones. Minkowski-Weyl theorem. Duality. Faces and facets of polyhedra. Total unimodularity. Total dual integrality. The matching polytope. Extended formulations.