An algebraic theory for use in digital computer design
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
An algebraic theory of the logical operation of digital computers is developed that takes into account the dynamic (time) behavior of computer processes and is based on Boolean algebra.
Abstract
An algebraic theory of the logical operation of digital computers is developed. This theory takes into account the dynamic (time) behavior of computer processes. The computer signals and computer elements are described. Their properties which are pertinent to the logical operation of digital computers are abstracted and. formulated in mathematical terms. The signals are represented by algebraic symbols, and the way they are transformed by the elements of the computer is represented in terms of algebraic operations and functions. This computer algebra is based on Boolean algebra. Time is treated as a discrete variable and a method of taking into account the time relationships in the computer processes is developed. Specific components, such as gates, flip-flops, and magnetic drums, are analyzed, and an algebraic description of their operation is obtained.