In this paper, we study arbitrary infinite binary information systems each of which consists an set elements and two-valued non-constant functions (attributes) defined on the elements. We consider notion a problem over system, is described by finite number attributes: for given element, should determine values these attributes. As algorithms solving, decision trees that use attributes from cons...