This course will present the dextre models of strategic games, related mathematical tools, important results and applications.The satisfiability problem, also called the feasibility problem, is just the problem of finding any feasible dénouement at all without regard to impartiale value.Dynamic programming is the approach to solve the stochastic o