computerarithmeticandlogicunits computerlogic computermathematics computers computerscience discretemathematicsincomputerscience historyofcomputing logicsandmeaningsofprograms mathapplicationsincomputerscience mathematicalapplicationsincomputerscience mathematics topology