Introduction to dynamic programming. Arrow-Debreu Equilibria, Sequences of Market Equilibria, Recursive Competitive Equilibria. First and second welfare theorems. Real Business Cycles.