In this seminar we have covered some basic concepts of the type system, primitive types, and the connection between types and sets. During the seminar, we have solved some exercises to reinforce the concepts explained.