સૈદ્ધાંતિક કોમ્પ્યુટર સાયન્સ - આ ગાણિતિક શિસ્ત છે.