Introduction to Mathematical Thinking (Common Course)

Mathematical Thinking in Computer Science (Common Course)

Introduction to Logic (Common Course)