કોમ્પ્યુટિંગ ડિવાઇસની તકનિકી વિચારને અમલમાં મૂકવા માટે, કોમ્પ્યુટરની લોજિકલ ફાઉન્ડેશનોને તર્કના બીજગણિતનો ઉપયોગ કરીને રચના કરવામાં આવી હતી, જે કાર્યોના સમૂહ અને સૈદ્ધાંતિક આધારને નક્કી કરે છે.