I want to explain Chinese remainder theorem to master level computer science students. There are two versions of CRT one is number theoretic and second requires the definition of ideals, groups etc. Although students know about these definitions, but I think I should explain these definitions again.
My question is from where I should start and how to motivate them. Should I start with examples or first definition and then example. What are the good examples I should give them. I don't want to confuse my students with lots of symbols and notation. Please note that target audience is master level computer science students.
The name of the course is Algebraic Computation, it is mostly related computational group theory etc.