Minimal logic for technology analysis

Technologies are algorithms, the result of which is the result of a sequence of external physical processes initiated by an active agent. We de ne the language and semantics of technologies. Also the minimal logic of technologies is axiomatized. One of the possible areas of application of the proposed language is evolutionary programming for adaptive optimization of existing technologies and the search for new ones.