Teoretikal na agham pangkompyuter

Ang Teoretikal na agham pangkompyuter (Ingles: Theoretical computer science o TCS)  ang dibisyon o pangilalim-na-hany ng pangkalahatang agham pangkompyuter at matematika na pumopokus sa mas abstrakto o matematikal na mga aspeto ng pagkukwenta(computing). Ang mga dibisyon at pagilalim na hanay na mga ito ay kinabibilangan ng analisis ng mga algoritmo at mga pormal na semantiko ng mga wikang pamprograma. Sa teknikal na paglalarawan, mayroong mga daan daang mga dibisyon at pangilalim na hanay bukod pa sa dalawang ito.