Static games and dynamic games will be studied rigorously within complete and incomplete information models for non-cooperative game theory with complete mathematical proofs. Cooperative game theory will be introduced by matching games, coalitions and Shapley value.