A theory of forming an investment program allows to optimize, model and control the risk of investments. It solves the problems of forecasting and optimizing profitability and risk on a set of assets. A logic-and-probabilistic technique of risk evaluation when forming an investment program with arbitrary discrete distributions of assets profitability is proposed. Some logical and probabilistic risk models are presented.