During the study of the Introduction to number theory and logic course, we will study the following topics:  Reports and truth tables, reporting tools (negation, conjunction, conditional). The greatest  common divisor (GCD) and least common multiples (LCM). The Division algorithm, The Euclidean algorithm, The Diophantine Equation. Prime numbers and Prime Factorizations. Congruence and its properties. Pythagorean Triples, sum of two squares and sum of four squares.