Logics, Sets, Prepositions and Countability; Some Algebraic Structures; Lattices Theory; Boolean Algebra and Applications; Discrete Numeric Functions, Generating Functions and Recurrence Relation; Graph Theory; Trees; Counting T echniques; Languages, Grammar and Machines.