理論資訊科學

理論資訊科學是資訊科學的基礎，它主要研究資訊的本體和資訊的處理過程，當中包括：資訊的表達、資訊的處理、資訊的交流，以及中間所涉及的數學理論模式。

理論資訊科學主要包括：