Theoretical Computer Science is a branch of computer science that deals with the abstract and mathematical aspects of computing, focusing on understanding the fundamental capabilities and limitations of computers. It provides the formal underpinnings for algorithms, computational models, and complexity, influencing practical applications by guiding the development of efficient algorithms and computational methods.