
Math majors who examine logic find that it helps them in their mathematical pondering. It is useful in avoiding confusions and useful in developing clear, convincing proofs. Math majors at UT are not required to take a logic course, however those that do virtually all the time report that it is attention-grabbing and helpful. The first 4 activities of the coding education program are composed of actions that are created by implementing the unplugged coding technique. It is aimed that children are introduced to programming through these actions to be taught primary elements of programming.