Basic mathematical logic, methods of proof in mathematics, and application to elementary discrete structure.