Introduction to Mathematical Thinking (Common Course)
Mathematical Thinking in Computer Science (Common Course)
Introduction to Logic (Common Course)