Study of fundamental concepts in computer science, focusing on mathematical and abstract foundations, algorithms, computational models, complexity theory, and formal languages