Description: The technique of designing of digital systems in which basis the model of an element of computing process is fixed new mathematical is considered. On an example of a specific target the automated construction of a function chart of the computers realizing the decision of a specific target is considered.