Mechanism design theory is one of the most active and fast-growing fields of modern economics; in mechanism design, game theory meets theoretical computer science. We consider classical results of mechanism design (various impossibility theorems), basic results of auction theory (the revelation principle, the revenue equivalence theorem), and then proceed to more recent results (online auctions, combinatorial auctions, AdWords. online scheduling problems).