Description digital circuits using λ-expression

The article proposes a methodology for the description of digital circuits using mathematical apparatus λ-calculus. Defines the main rules for executing descriptions of circuits. Stand out basic elements and their descriptions. Based on the descriptions of the basic circuit elements is constructed of a λ-expression that allows to describe the schema of different levels of difficulty. In this work the examples describe combinational and sequential digital circuits by using λ-expressions, which hierarchically can be attributed to the second level of complexity. Contains a proof of the correctness of the obtained descriptions by using truth tables and the operation of the reduction for λ-expressions.