Teoreettinen tietojenkäsittelyoppi